From UML/OCL to SBVR Specifications: a Challenging Transformation.
Jordi CabotRaquel PauRuth RaventósPublished in: JISBD (2010)
Keyphrases
- class diagram
- metamodel
- uml class diagrams
- uml diagrams
- modeling language
- constraint language
- sequence diagrams
- class diagrams
- specification language
- object oriented
- unified modeling language
- software systems
- transformation rules
- tool support
- high level
- formal specification
- software design
- functional requirements
- real world
- uml activity diagrams
- database design
- conceptual models
- black box
- development process
- life cycle
- petri net
- test cases
- requirements specification
- description logics
- learning environment
- information systems
- artificial intelligence