From Process Models to Concurrent Systems in Alvis Language.
Marcin SzpyrkaGrzegorz J. NalepaKrzysztof KluzaPublished in: Informatica (2017)
Keyphrases
- process model
- concurrent systems
- petri net
- process algebra
- process mining
- business processes
- temporal logic
- code generator
- distributed systems
- business process
- constraint language
- event logs
- model checking
- formal specification
- reference models
- programming language
- business process models
- natural language
- software process
- control flow
- modeling language
- knowledge management
- machine learning