A UML 2-compatible language and tool for formal modeling real-time system architectures.
Pietro ColomboMatteo PradellaMatteo RossiPublished in: SAC (2006)
Keyphrases
- modeling language
- unified modeling language
- real time
- sequence diagrams
- specification language
- formal methods
- uml profile
- programming language
- metamodel
- object oriented
- uml class diagrams
- uml diagrams
- modeling tool
- formal language
- conceptual models
- dynamic aspects
- natural language
- low cost
- operational semantics
- visual languages
- scripting language
- formal specification
- control system
- tool support
- model theoretic
- software systems
- script language
- real time systems
- precisely defined
- formal semantics
- requirements specification
- model driven engineering
- class diagrams
- software engineering
- class diagram
- formal models
- formal representation
- software development
- model driven