Search Results

Documents authored by Gogolla, Martin

Document
DOI: 10.4230/DagRep.3.4.188
Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182)

Authors: Tony Clark, Robert B. France, Martin Gogolla, and Bran V. Selic

Published in: Dagstuhl Reports, Volume 3, Issue 4 (2013)

Abstract
Model-based engineering (MBE) is a software development approach in which abstraction via modeling is used as the primary mechanism for managing the complexity of software-based systems. An effective approach to software development must be supported by effective technologies (i.e., languages, methods, processes, tools). The wide range of development tasks that effective MBE approaches must support leads to two possible tooling scenarios. In the first scenario a federated collection of tools is used to support system development. Each tool in the collection provides specialized services. Tool interoperability and consistency of information across the tools are major concerns in this scenario. These concerns are typically addressed using transformations and exposed tool interfaces. Defining and evolving the transformations and interfaces requires detailed low-level knowledge of the tools and thus leads to complex tooling environments that are difficult to configure, learn, use, and evolve. In the second scenario, a single tool is used to support the complete modeling lifecycle. This avoids the inter-tool transformation and consistency problems, but the resulting multi-featured tool is a monolithic entity that is costly to develop and evolve. Furthermore, the large number of non-trivial features can make learning and using such tools difficult. Successful uptake of MDE in industry requires supporting tools to be, at least, useful and usable. From a tool developer's perspective, there is also a need to significantly reduce the cost and effort required to develop and evolve complex MBE tools. This seminar brings together experts in the areas of MBE, meta-modeling, tool development, and human-computer interactions to map out a research agenda that lays a foundation for the development of effective MBE tools. Such a foundation will need to support not only interoperability of tools or tool features, but also the implementation of high quality MBE tools. The long-term objective is to foster a research community that will work on a foundation that can be expressed in the form of standard tool (meta-)models that capture and leverage high quality reusable MBE tool development experience.
Cite as

Tony Clark, Robert B. France, Martin Gogolla, and Bran V. Selic. Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182). In Dagstuhl Reports, Volume 3, Issue 4, pp. 188-227, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@Article{clark_et_al:DagRep.3.4.188,
  author =	{Clark, Tony and France, Robert B. and Gogolla, Martin and Selic, Bran V.},
  title =	{{Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182)}},
  pages =	{188--227},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{4},
  editor =	{Clark, Tony and France, Robert B. and Gogolla, Martin and Selic, Bran V.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.188},
  URN =		{urn:nbn:de:0030-drops-41755},
  doi =		{10.4230/DagRep.3.4.188},
  annote =	{Keywords: meta-modeling, model-based engineering, models, tools, domain specific modeling languages}
}
Document
DOI: 10.4230/DagSemProc.09461.6
Towards Model Validation and Verification with SAT Techniques

Authors: Martin Gogolla

Published in: Dagstuhl Seminar Proceedings, Volume 9461, Algorithms and Applications for Next Generation SAT Solvers (2010)

Abstract
After sketching how system development and the UML (Unified Modeling Language) and the OCL (Object Constraint Language) are related, validation and verification with the tool USE (UML-based Specification Environment) is demonstrated. As a more efficient alternative for verification tasks, two approaches using SAT-based techniques are put forward: First, a direct encoding of UML and OCL with Boolean variables and propositional formulas, and second, an encoding employing an intermediate, higher-level language (KODKOD, stongly connected to ALLOY). A number of further, presently not realized verification and validation tasks and the transformation of higher-level modeling concepts into simple UML/OCL models, which are checkable with SAT-based techniques, are shortly discussed. Finally, the potential of SAT-based techniques for model development is again emphasized.
Cite as

Martin Gogolla. Towards Model Validation and Verification with SAT Techniques. In Algorithms and Applications for Next Generation SAT Solvers. Dagstuhl Seminar Proceedings, Volume 9461, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{gogolla:DagSemProc.09461.6,
  author =	{Gogolla, Martin},
  title =	{{Towards Model Validation and Verification with SAT Techniques}},
  booktitle =	{Algorithms and Applications for Next Generation SAT Solvers},
  pages =	{1--11},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{9461},
  editor =	{Bernd Becker and Valeria Bertacoo and Rolf Drechsler and Masahiro Fujita},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09461.6},
  URN =		{urn:nbn:de:0030-drops-25078},
  doi =		{10.4230/DagSemProc.09461.6},
  annote =	{Keywords: UML, OCL, Invariant, Pre- and postcondition, Model validation, Model verification}
}
Document
DOI: 10.4230/DagSemProc.08331.6
On Horizontal and Vertical Relationships between Models

Authors: Martin Gogolla

Published in: Dagstuhl Seminar Proceedings, Volume 8331, Perspectives Workshop: Model Engineering of Complex Systems (MECS) (2008)

Abstract
Detecting, modeling and managing relationships between models are central tasks within model-driven engineering. By taking a simple view on software development, we distinguish in a vertical dimension between domain-specific models, core models, and executable models. A typical example for a vertical relationship is the refinement relationship beween a core model and an executable model. In the horizontal dimension, there may be several so-called property models which have the task to validate or verify particular properties of the core model. Software development coincides in our view with model development, and therefore finding the right models and their relationships is a crucial task.
Cite as

Martin Gogolla. On Horizontal and Vertical Relationships between Models. In Perspectives Workshop: Model Engineering of Complex Systems (MECS). Dagstuhl Seminar Proceedings, Volume 8331, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)

Copy BibTex To Clipboard

@InProceedings{gogolla:DagSemProc.08331.6,
  author =	{Gogolla, Martin},
  title =	{{On Horizontal and Vertical Relationships between Models}},
  booktitle =	{Perspectives Workshop: Model Engineering of Complex Systems (MECS)},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8331},
  editor =	{Uwe A{\ss}mann and Jean B\'{e}zivin and Richard Paige and Bernhard Rumpe and Douglas C. Schmidt},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08331.6},
  URN =		{urn:nbn:de:0030-drops-16351},
  doi =		{10.4230/DagSemProc.08331.6},
  annote =	{Keywords: Model, Model Relationship, Model Transformation, Model Development}
}
Document
DOI: 10.4230/DagSemProc.06351.6
Model Development in the UML-based Specification Environment (USE)

Authors: Martin Gogolla

Published in: Dagstuhl Seminar Proceedings, Volume 6351, Methods for Modelling Software Systems (MMOSS) (2007)

Abstract
The tool USE (UML-based Specification Environment) supports analysts, designers and developers in executing UML models and checking OCL constraints and thus enables them to employ model-driven techniques for software production. USE has been developed since 1998 at the University of Bremen. This paper will discuss to what extent and how USE relates to the questions and topics (Model quality, Modelling method, Model Effectiveness, Model Maintainability) raised for this seminar.
Cite as

Martin Gogolla. Model Development in the UML-based Specification Environment (USE). In Methods for Modelling Software Systems (MMOSS). Dagstuhl Seminar Proceedings, Volume 6351, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{gogolla:DagSemProc.06351.6,
  author =	{Gogolla, Martin},
  title =	{{Model Development in the  UML-based Specification Environment (USE)}},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6351},
  editor =	{Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06351.6},
  URN =		{urn:nbn:de:0030-drops-8613},
  doi =		{10.4230/DagSemProc.06351.6},
  annote =	{Keywords: UML, OCL, Model-Driven Development, Validation, Animation, Model Execution,}
}
Document
DOI: 10.4230/DagSemProc.05161.8
Tales of ER and RE Syntax and Semantics

Authors: Martin Gogolla

Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)

Abstract
This paper explains how four model transformations between database models work: (1) An ER (Entity-Relationship) database schema is transformed into a collection of ER database states, (2) a RE (Relational) database schema into a collection of RE database states, (3) an ER database schema into a RE database schema, and (4) a collection of ER database states into a collection of RE database states. These four separate transformations may be viewed as a single transformation between the ER datamodel and the RE datamodel. The schemas are regarded as determining the syntax of the datamodels, and the set of associated states is regarded as being the semantics of the datamodels, because the states associate meaning with the schemas. When one usually considers database models, one formally only treats syntactical aspects, i.e., schemas, and handles the semantics merely informally. Our approach allows to formally handle syntax and semantics of database models and their transformation within a single and uniform framework. The approach thus allows to precisely describe properties of the datamodels and properties of the transformation. The method behind our approach is to divide a language into a syntax and semantics part and to describe a transformation between two languages as a direction-neutral affair. Formal properties of the languages to be transformed and formal properties of the transformation are described uniformly. Transformation properties can be properties regarding syntax and semantics. The method can be applied not only to database languages but to transformations between common computer science languages.
Cite as

Martin Gogolla. Tales of ER and RE Syntax and Semantics. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{gogolla:DagSemProc.05161.8,
  author =	{Gogolla, Martin},
  title =	{{Tales of ER and RE Syntax and Semantics}},
  booktitle =	{Transformation Techniques in Software Engineering},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5161},
  editor =	{James R. Cordy and Ralf L\"{a}mmel and Andreas Winter},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.8},
  URN =		{urn:nbn:de:0030-drops-4254},
  doi =		{10.4230/DagSemProc.05161.8},
  annote =	{Keywords: Datamodel transformation, ER datamodel, Relational datamodel, Syntax and semantics of datamodels, Syntax and semantics of transformations, Metamodel}
}
Document
DOI: 10.4230/DagSemProc.04101.5
An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion

Authors: Martin Gogolla

Published in: Dagstuhl Seminar Proceedings, Volume 4101, Language Engineering for Model-Driven Software Development (2005)

Abstract
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata, entities, and relationships. We also describe the semantics of the ER data model by introducing classes for ER states, instances, and links. The connection between syntax and semantics is established by associations explaining that syntactical objects are interpreted by corresponding semantical objects. Analogously we do this for the Relational data model. Finally, we give a metamodel for the transformation of ER schemata into Relational database schemata. By characterizing the syntax and semantics of the languages to be transformed and also the transformation itself within the same (meta-)modeling language we are able to include equivalence criteria on the syntactical and on the semantical level for the transformation. In particular, we show that the semantical equivalence criterion requires that the ER states and the corresponding Relational states bear the same information.
Cite as

Martin Gogolla. An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{gogolla:DagSemProc.04101.5,
  author =	{Gogolla, Martin},
  title =	{{An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion}},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  pages =	{1--10},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4101},
  editor =	{Jean Bezivin and Reiko Heckel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04101.5},
  URN =		{urn:nbn:de:0030-drops-143},
  doi =		{10.4230/DagSemProc.04101.5},
  annote =	{Keywords: no keywords}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact