Formal Semantics for Modeling Collaborative Business Processes Based on Interaction Protocols.
Emiliano ReynaresJorge RoaMaría Laura CaliuscoPablo David VillarrealPublished in: Business Process Management Workshops (2017)
Keyphrases
- business processes
- formal semantics
- modeling language
- business process
- business process modeling
- web services
- business partners
- workflow management systems
- process model
- business process management
- operational semantics
- formal language
- artificial intelligence
- interaction protocols
- first order logic
- e learning
- theorem prover
- service oriented
- knowledge sharing
- database