상호작용 연산자

1 개요[ | ]

연산자	설명
alt (alternative)	if-then-else 문과 유사한 논리 표현
opt (option) ★	if 문과 유사한 논리 표현
par (parallel)	상호작용 조각이 동시에 실행됨
loop ★	반복 실행
break ★	중단
critical
neg (negative)
assert
strict	엄격한 순서
seq	약한 순서
ignore	무시
consider	상호작용 조각이 응답해야 하는 메시지 표현. 일반적으로 ignore와 쌍을 이룬다.
assert