Sciweavers

339 search results - page 4 / 68
» Semantics and Execution of Domain Specific Models
Sort
View
ENTCS
2008
83views more  ENTCS 2008»
13 years 5 months ago
Executable Specifications for Real-Time Distributed Systems
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
Arnab Ray, Rance Cleaveland
ATAL
2008
Springer
13 years 7 months ago
A domain specific modeling language for multiagent systems
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
Christian Hahn
DATE
2007
IEEE
136views Hardware» more  DATE 2007»
14 years 5 days ago
Compositional specification of behavioral semantics
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
Kai Chen 0003, Janos Sztipanovits, Sandeep Neema
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
13 years 9 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
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, ...
Markus Scheidgen, Joachim Fischer
ER
2008
Springer
91views Database» more  ER 2008»
13 years 7 months ago
Model Driven Specification of Ontology Translations
Abstract. The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexic...
Fernando Silva Parreiras, Steffen Staab, Simon Sch...