UML-Based Specification and Generation of Executable Web Services.
Wafi DahmanJens GrabowskiPublished in: SAM (2010)
Keyphrases
- web services
- formal specification
- specification language
- formal methods
- process algebra
- state machine
- sequence diagrams
- description language
- web services composition
- conceptual modeling
- metamodel
- web applications
- business processes
- software engineering
- web service composition
- semantic web services
- petri net
- high level
- generation process
- attribute grammars
- model checking
- case study
- service architecture
- uml diagrams
- tool support
- control flow
- modeling language
- software components
- service providers
- service discovery
- service oriented
- software architecture
- business process
- class diagram
- unified modeling language
- uml models
- uml activity diagrams