2106 search results - page 388 / 422 » Operational Semantics for MSC'96 |
UML
1998
Springer
15 years 1 months ago
1998
Springer
The Unified Modelling Language (UML) ostensibly assumes a four level (meta) modelling framework, both for its definition and for the conceptual context in which its users operate. ...
EPIA
1995
Springer
15 years 1 months ago
1995
Springer
In this paper, we study the retrieval problem in ALN, which is a tractable concept language with number restrictions. Following the approach proposed in [12], this work differs fr...
ZUM
2000
Springer
15 years 1 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
80
Voted
COORDINATION
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
AAAI
2008
15 years 17 hour ago
2008
Legacy system data models can interoperate only if their syntactic and semantic differences are resolved. To address this problem, we developed the Intelligent Mapping Toolkit (IM...