Sciweavers

1836 search results - page 116 / 368
» Hierarchies for semantic classes
Sort
View
ENTCS
2006
199views more  ENTCS 2006»
14 years 10 months ago
Compositional Operational Semantics of a UML-Kernel-Model Language
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...
Harald Fecher, Marcel Kyas, Willem P. de Roever, F...
ICTAI
2003
IEEE
15 years 3 months ago
DOSE: A Distributed Open Semantic Elaboration Platform
The paper proposes a Distributed Open Semantic Elaboration platform based on a modular multilingual enabled architecture, which includes ontology, annotations, lexical entities an...
Dario Bonino, Fulvio Corno, Laura Farinetti
POPL
1997
ACM
15 years 1 months ago
Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
Hanne Riis Nielson, Flemming Nielson
ICWS
2007
IEEE
14 years 11 months ago
Specifying Semantic Web Service Compositions using UML and OCL
The semantic web promises to bring automation to the areas of web service discovery, composition and invocation. In order to realize these benefits, rich semantic descriptions of...
John T. E. Timm, Gerald C. Gannod
TASE
2009
IEEE
15 years 4 months ago
Semantics of Metamodels in UML
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...
Lijun Shan, Hong Zhu