Profile UML2.0 for Specification of the SCA Architectures.
Wided Ben AbidMohamed GraietMourad KmimechMohamed Tahar BhiriWalid GaaloulEric CariouPublished in: SKG (2011)
Keyphrases
- specification language
- formal methods
- sequence diagrams
- state machine
- uml diagrams
- metamodel
- activity diagrams
- requirements specification
- user profiles
- software systems
- software design
- conceptual modeling
- formal specification
- software development
- software engineering
- object oriented
- description language
- conceptual models
- high level
- modeling language
- reactive systems
- unified modeling language
- class diagrams
- database design
- uml class diagrams
- object oriented modeling
- uml models
- tool support