Towards Algorithmic Generation of Business Processes: From Business Step Dependencies to Process Algebra Expressions.
Marcio K. OikawaJoão Eduardo FerreiraSimon MalkowskiCalton PuPublished in: BPM (2009)
Keyphrases
- business processes
- business process
- process algebra
- concurrent systems
- business partners
- model checking
- business applications
- formal specification
- business process management
- business environment
- business rules
- web services
- business process models
- competitive advantage
- asynchronous circuits
- business objectives
- service oriented architecture
- communication protocols
- process model
- inter organizational
- ws bpel
- workflow management systems
- web services composition
- business users
- business process modeling
- business decisions
- business transactions
- natural language
- temporal logic
- trading partners
- workflow systems