The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes.
Matthes ElstermannAndré WolskiAlbert FleischmannChristian StaryStephan BorgertPublished in: Logic, Computation and Rigorous Methods (2021)
Keyphrases
- business processes
- specification language
- business process
- description language
- formal specification
- programming language
- web services
- owl ontologies
- ontology languages
- business rules
- process model
- workflow management systems
- business process models
- business environment
- business process management
- workflow systems
- workflow management
- business partners
- workflow processes
- semantic web
- description logics
- conceptual modeling
- process mining
- inter organizational
- formal semantics
- virtual organization
- semantic web technologies
- service oriented architecture
- domain independent
- workflow model
- workflow models
- knowledge base