ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.
Matteo PradellaMatteo RossiDino MandrioliPublished in: FORTE (2005)
Keyphrases
- formal semantics
- modeling language
- logical language
- formal language
- operational semantics
- metamodel
- modelling language
- high level
- speech acts
- specification language
- logical reasoning
- er model
- software architecture
- first order logic
- software systems
- formal methods
- ontology languages
- constraint language
- software engineering
- uml class diagrams
- knowledge base
- life cycle
- expert systems
- artificial intelligence