Process Algebra and the Subject-Oriented Business Process Management Approach.
Robert SingerMatthias TellerPublished in: S-BPM ONE (2012)
Keyphrases
- business process management
- process algebra
- business processes
- model checking
- formal specification
- business process
- concurrent systems
- formal methods
- asynchronous circuits
- web services composition
- communication protocols
- information systems
- service oriented
- emergency management
- temporal logic
- enterprise architecture
- petri net
- distributed systems
- case study
- artificial intelligence
- business rules
- programming environment
- process model
- decision support system