Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(6)
Abstract Syntax
Domain Specific Modeling Language
Membership Equational Logic
meta model
Software Architecture
Static and Dynamic Analysis
Subscribe
Academic
Publications
Algebraic Semantics of OCLConstrained Metamodel Specifications
Algebraic Semantics of OCLConstrained Metamodel Specifications,10.1007/9783642025716_7,Artur Boronat,José Meseguer
Edit
Algebraic Semantics of OCLConstrained Metamodel Specifications
(
Citations: 6
)
BibTex

RIS

RefWorks
Download
Artur Boronat
,
José Meseguer
In the definition of domainspecific modeling languages a MOF metamodel is used to define the main types of its abstract syntax, and OCL invariants are used to add static semantic constraints. The semantics of a metamodel definition can be given as a model type whose values are wellformed models. A model is said to conform to its metamodel when it is a value of the corresponding model type. However, when OCL invariants are involved, the concept of model conformance has not yet been formally defined in the MOF standard. In this work, the concept of OCLconstrained metamodel conformance is formally defined and used for defining stylepreserving
software architecture
configurations. This concept is supported in MOMENT2, an algebraic framework for MOF metamodeling, where OCL constraints can be used for both static and dynamic analysis.
Conference:
Technology of ObjectOriented Languages and Systems  TOOLS
, pp. 96115, 2009
DOI:
10.1007/9783642025716_7
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www.springerlink.com
)
(
www.springerlink.com
)
(
adsabs.harvard.edu
)
(
www.informatik.unitrier.de
)
(
dx.doi.org
)
More »
Citation Context
(4)
...In contrast, the approach taken in the MOMENT2 project [6,
3
] is to formalize...
Artur Boronat
,
et al.
Formal RealTime Model Transformations in MOMENT2
...In particular, MOMENT2 provides support for verifying metamodel conformance with OCL constraint satisfaction [
BoM09
], QVTlike model transformations and their verification based on Maude’s reachability analysis and Maude’s LTL model checker, as explained in [BHM09]...
...These axioms may correspond to OCL constraints as shown in [
BoM09
] and can be used to verify that a specific model satisfies certain semantic properties...
... model conformance M : M. This means that A enables reasoning with modeltypesatanalgebraiclevelandnotjustatasyntacticallevel.Duetothegraphnatureofmodels,thealgebraic semantics A for MOF can also be used as an algebraic environment for graph transformations, where Maude’s analysiscapabilities,suchasreachabilityanalysisandLTLmodelchecking,canbereused.Thecompletealgebraic formalization of EMOF metamodels together with OCL can be found in [
...
...MOMENT2 [Mom09], that supports both OCL [
BoM09
] and QVTlike model transformations [BHM09]...
Artur Boronat
.
An algebraic semantics for MOF
...This problem is closely related to the fact that the conformance relation between models and metamodels is not formally defined for MOFbased modelling languages [5,19], especially when OCL constraints are involved [
2
]...
Adrian Rutle
,
et al.
A Formalisation of ConstraintAware Model Transformations
...Attempts to formalize the semantics of OCL have been reported in [18], [19], [20], [21], [22], [23], [24], [25], [
26
] etc...
Hong Zhu
.
On the Theoretical Foundation of MetaModelling in Graphically Extende...
References
(19)
Domainspecific languages: an annotated bibliography
(
Citations: 357
)
Arie Van Deursen
,
Paul Klint
,
Joost Visser
Journal:
Sigplan Notices  SIGPLAN
, vol. 35, no. 6, pp. 2636, 2000
An Algebraic Semantics for MOF
(
Citations: 22
)
Artur Boronat
,
José Meseguer
Journal:
Formal Aspects of Computing  FAC
, vol. 22, no. 34, pp. 377391, 2008
Membership algebra as a logical framework for equational specification
(
Citations: 204
)
José Meseguer
Conference:
Workshop on Algebraic Development Techniques  WADT
, pp. 1861, 1997
An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework
(
Citations: 7
)
Artur Boronat
,
Joaquín Oriente
,
Abel Gómez
,
Isidro Ramos
,
José A. Carsí
Conference:
European Conference on Model Driven Architecture  Foundations and Applications  ECMDAFA
, pp. 316330, 2006
Software Architecture: Perspectives on a Maturing Discipline
(
Citations: 1511
)
Philippe Kruchten
,
Mary Shaw
,
David Garlan
Published in 1995.
Sort by:
Citations
(6)
Formal RealTime Model Transformations in MOMENT2
(
Citations: 7
)
Artur Boronat
,
Peter Csaba Ölveczky
Conference:
Fundamental Approaches to Software Engineering  FASE
, pp. 2943, 2010
An algebraic semantics for MOF
(
Citations: 2
)
Artur Boronat
Journal:
Formal Aspects of Computing  FAC
, vol. 22, no. 3, pp. 269296, 2010
A Formalisation of ConstraintAware Model Transformations
Adrian Rutle
,
Alessandro Rossini
,
Yngve Lamo
,
Uwe Wolter
Conference:
Fundamental Approaches to Software Engineering  FASE
, pp. 1328, 2010
On the Theoretical Foundation of MetaModelling in Graphically Extended BNF and First Order Logic
Hong Zhu
Conference:
Theoretical Aspects of Software Engineering  TASE
, 2010
What Is a Multimodeling Language?
(
Citations: 6
)
Artur Boronat
,
Alexander Knapp
,
José Meseguer
,
Martin Wirsing
Conference:
Workshop on Algebraic Development Techniques  WADT
, pp. 7187, 2008