Assigning Declarative Semantics to Some UML Activity Diagrams and BPMN Diagrams.
Bert de BrockPublished in: BMSD (2024)
Keyphrases
- uml activity diagrams
- business process models
- declarative semantics
- deductive databases
- logic programs
- logic programming
- logic programming language
- business processes
- business process
- operational semantics
- graphical representation
- process model
- defeasible reasoning
- control flow
- partial order
- query evaluation
- integrity constraints
- business rules
- constraint logic programming
- inference rules
- business process modeling
- programming language
- business process management
- formal semantics
- model driven
- black box