1318 search results - page 67 / 264 » The formal semantics of the timeER model |
143
click to vote
ECMDAFA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
121
click to vote
ISORC
2000
IEEE
15 years 5 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
102
click to vote
ESWS
2006
Springer
15 years 5 months ago
2006
Springer
The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeli...
111
click to vote
COORDINATION
2006
Springer
15 years 5 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
106
click to vote
ASM
2008
ASM
15 years 4 months ago
2008
ASM
Event-B is a formal modelling method which is claimed to be suitable for diverse modelling domains, such as reactive systems and sequential program development. This claim hinges o...