Transforming dynamic behavior specifications from activity diagrams to BPEL.
Nasser Mousa Faleh. MustafaGregor von BochmannPublished in: SOSE (2011)
Keyphrases
- dynamic behavior
- activity diagrams
- operational semantics
- web services
- requirements specification
- conceptual database design
- formal methods
- service oriented
- business process
- business processes
- service composition
- requirements engineering
- sequence diagrams
- formal specification
- specification language
- class diagrams
- petri net
- composite services
- class diagram
- software requirements
- mental states
- entity relationship
- description language
- conceptual model
- data model
- high level
- functional requirements
- development process
- software systems
- test set
- knowledge based systems
- software engineering
- object oriented