Towards a Formal Semantics and Analysis of BPMN Gateways.

Outman El Hichami Mohamed Naoum Mohammed Al Achhab Ismail Berrada Badr Eddine El Mohajir

Published in: NETYS (2015)

Keyphrases

formal semantics
operational semantics
artificial intelligence
business process
logical language
information systems
business processes
modelling language