Leveraging the power of formal methods in the realm of enterprise modeling - On the example of extending the (meta) model verification possibilities of ADOxx with Alloy.
Sybren de KinderenQin MaMonika Kaczmarek-HeßPublished in: Comput. Ind. (2023)
Keyphrases
- formal methods
- modeling language
- metamodel
- model checker
- formal analysis
- model driven
- development process
- uml profile
- data model
- safety critical
- life cycle
- reference model
- model checking
- knowledge based systems
- black box
- process algebra
- software engineering
- artificial intelligence
- transformation rules
- reactive systems
- software systems
- business process modeling
- database
- design patterns
- query language
- business processes
- case study
- development lifecycle