A Fully Abstract Semantics for UML Components.
Frank S. de BoerMarcello M. BonsangueMartin SteffenErika ÁbrahámPublished in: FMCO (2004)
Keyphrases
- uml activity diagrams
- uml class diagrams
- specification language
- formal semantics
- class diagrams
- metamodel
- semantic information
- artificial intelligence
- modeling language
- database design
- neural network
- building blocks
- software components
- logic programming
- software development
- software engineering
- conceptual models
- object oriented
- state machine
- constraint language
- database systems
- high level