Formal Specification of DEMO Process Model and Its Submodel - Towards Algebra of DEMO Models.

Tetsuya Suga Junichi Iijima

Published in: EEWC (2017)

Keyphrases

process model
formal specification
business process
business processes
process mining
business process models
formal models
database
software process
specification languages
object oriented design
control flow
workflow management systems
metamodel
model checking
query language
web services
real world