Sciweavers

520 search results - page 2 / 104
» An Algebraic Semantics for MOF
Sort
View
ECOOP
2007
Springer
13 years 11 months ago
Metamodel Adaptation and Model Co-adaptation
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
Guido Wachsmuth
SOSYM
2008
90views more  SOSYM 2008»
13 years 4 months ago
A metamodeling language supporting subset and union properties
Abstract. The Meta Object Facility (MOF) 2.0 and the Unified Modeling Language Infrastructure introduce new language features such as subsets, (derived) unions and redefinitions, b...
Marcus Alanen, Ivan Porres
ENTCS
2010
154views more  ENTCS 2010»
13 years 2 months ago
Process Algebra with Hooks for Models of Pattern Formation
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...
Andrea Degasperi, Muffy Calder
DLOG
2009
13 years 2 months ago
A Semantic Algebra for Modularized Description Logics Knowledge Bases
Krzysztof Goczyla, Wojciech Waloszek, Aleksander W...
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
13 years 8 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