490 search results - page 11 / 98 » A structured operational semantics for UML-statecharts |
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Typical ontology matching applications, such as ontology integration, focus on the computation of correspondences holding between the nodes of two graph-like structures, ...
ICMT
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Model transformations play a key role in the vision of Modelngineering. Nevertheless, mechanisms like abstraction, variation and composition for specifying and applying r...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
XIMEP
2005
ACM
14 years 2 months ago
2005
ACM
There are three set operators defined in XQuery, namely union, intersect and except. They take node sequences as operands, in which each node is identified by its node-ID and tr...