Using UML 2.0 Collaborations for Compositional Service Specification.
Richard Torbjørn SandersHumberto Nicolás Castejón MartínezFrank Alexander KraemerRolv BrækPublished in: MoDELS (2005)
Keyphrases
- specification language
- formal methods
- state machine
- sequence diagrams
- protocol specification
- uml diagrams
- formal specification
- service oriented
- service discovery
- service providers
- software development
- software design
- software engineering
- uml models
- service quality
- web services
- database design
- management system
- high level
- information services
- software systems
- conceptual modeling
- class diagrams