Metamodels can be considered one of the key artifacts of any model-based project. Similarly to ot... more Metamodels can be considered one of the key artifacts of any model-based project. Similarly to other software artifacts, metamodels are expected to evolve during their lifecycle and consequently it is crucial to develop approaches and tools supporting the definition and re-use of metamodel refactorings in a disciplined way. This paper proposes Edelta, a domain specific language for specifying reusable libraries of metamodel refactorings. The language allows both atomic and complex changes and it is supported by an Eclipse-based IDE. The developed supporting environment allows the developer to apply refactorings both in a batch manner and in a step-by-step fashion, which provides developers with an immediate view of the evolving Ecore model before actually changing it.
Track PC : Model-based development, Components and Services Almeida, Eduardo Atkinson, Colin Baba... more Track PC : Model-based development, Components and Services Almeida, Eduardo Atkinson, Colin Babar, Ali Barbier, Franck Becker, Steffen Bonsangue, Marcello Brada, Premek Bures, Tomas Calinescu, Radu Carlson, Jan Crnkovic, Ivica (Chair) Engels, Gregor Fritzsche, Mathias Gerard, Sebastien Giese, Holger Grunske, Lars Hamid, Brahim Huljenic, Darko Ilieva, Sylvia Jezequel, Jean-Marc Katsaros, Panagiotis Kotonya, Gerald Kreiner, Christian Larsson, Magnus Lau, Kung-Kiu Lovrek, Ignac Metzger, Andreas Mirandola, Raffaela ...
All rights reserved. No part of this publication may be reproduced, stored in a retrieval system,... more All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording or otherwise, except as permitted by the UK Copyright, Designs and Patents Act 1988, without the prior permission of the publisher.
A semi-visual framework for the specification of syntax and semantics of imperative programming l... more A semi-visual framework for the specification of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The primary aim of this formalism is to assist in recording the decisions taken by the designer during the language design process. The associated tool Gem-Mex allows the designer to maintain the specification and to inspect the semantics to verify whether the design decisions have been properly formalized.
XML (eXtensible Markup Language) is becoming the standard format for documents on Internet and is... more XML (eXtensible Markup Language) is becoming the standard format for documents on Internet and is widely used to exchange data. Often, the relevant information contained in XML documents needs to be also stored in legacy databases (DB) in order to integrate the new data with the pre-existing ones. In this paper, we introduce a technique for the automatic XML-DB integration, which we call Xere.
Abstract. In this paper, we sketch the modeling of a Workflow Management System (WFMS) by means o... more Abstract. In this paper, we sketch the modeling of a Workflow Management System (WFMS) by means of the composition of domain–specific languages (DSL), ie languages which are usually designed for being used by domain experts who need languages consisting of terms and notions they are familiar with.
Abstract Increasingly, models are becoming first class core assets, and model-driven engineering ... more Abstract Increasingly, models are becoming first class core assets, and model-driven engineering requires novel techniques, tools, and practices to face the globalization of software development in the (always more) pervasive IT world. This paper proposes a framework for synchronous and asynchronous concurrent and collaborative modeling.
Abstract: Montages are a new way of describing all aspects of programming languages formally. Suc... more Abstract: Montages are a new way of describing all aspects of programming languages formally. Such specifications are intelligible for a broad range of people involved in programming language design and use. In order to enhance readability we combine visual and textual elements to yield specifications similar in structure, length, and complexity to those in common language manuals, but with a formal semantics. The formal semantics is based on Gurevich's Abstract State Machines formerly called Evolving Algebras.
The last decade witnessed a dramatic growth of software intricacy and different techniques and me... more The last decade witnessed a dramatic growth of software intricacy and different techniques and methodologies have been proposed to ease complex system development. Model Driven Engineering (MDE)[1] shifts the focus of software development from coding to modelling and lets software architects harness the opportunity of dealing with higher-level abstractions.
Abstract In data warehousing all kind of sophisticated information systems are used. Tools for th... more Abstract In data warehousing all kind of sophisticated information systems are used. Tools for the interconnection of di erent systems su er from some limited quality factors, such as exibility and ease of maintenance, since the components tend to have a natural evolution which is not taken into account. In most cases this results in a loss of consistency of the overall system.
Abstract The speci cation of all aspects of a programming language requires adequate formal model... more Abstract The speci cation of all aspects of a programming language requires adequate formal models and tool support. Montages speci cations combine graphical and textual elements to yield language descriptions similar in structure, length, and complexity to those in common language manuals, but with a formal semantics. A broad range of people involved in programming language design and use may nd convenient to use Montages in combination with the tool Gem {Mex.
The Eclipse Graphical Modeling (GMF) Framework provides the major approach for implementing visua... more The Eclipse Graphical Modeling (GMF) Framework provides the major approach for implementing visual languages on top of the Eclipse platform. GMF relies on a family of modeling languages to describe abstract syntax, concrete syntax as well as other aspects of the visual language and its implementation in an editor. GMF uses a model-driven approach to map the different GMF models to Java code. The framework, as it stands, lacks support for evolution.
Abstract Last decade witnessed a disappointing lack in technology transfer from formal semantics ... more Abstract Last decade witnessed a disappointing lack in technology transfer from formal semantics to language design. Research in formal semantics has developed increasingly complex concepts and notation, at the expense of calculational clarity and applicability in the development of languages. Montages is a visual domain-specific formalism for specifying all the aspects of a programming language.
Models have become essential for dealing with the numerous aspects involved in developing and mai... more Models have become essential for dealing with the numerous aspects involved in developing and maintaining complex IT systems. Models assist in capturing the relevant aspects of a system from a given perspective and at a precise level of abstraction.
Metamodels can be considered one of the key artifacts of any model-based project. Similarly to ot... more Metamodels can be considered one of the key artifacts of any model-based project. Similarly to other software artifacts, metamodels are expected to evolve during their lifecycle and consequently it is crucial to develop approaches and tools supporting the definition and re-use of metamodel refactorings in a disciplined way. This paper proposes Edelta, a domain specific language for specifying reusable libraries of metamodel refactorings. The language allows both atomic and complex changes and it is supported by an Eclipse-based IDE. The developed supporting environment allows the developer to apply refactorings both in a batch manner and in a step-by-step fashion, which provides developers with an immediate view of the evolving Ecore model before actually changing it.
Track PC : Model-based development, Components and Services Almeida, Eduardo Atkinson, Colin Baba... more Track PC : Model-based development, Components and Services Almeida, Eduardo Atkinson, Colin Babar, Ali Barbier, Franck Becker, Steffen Bonsangue, Marcello Brada, Premek Bures, Tomas Calinescu, Radu Carlson, Jan Crnkovic, Ivica (Chair) Engels, Gregor Fritzsche, Mathias Gerard, Sebastien Giese, Holger Grunske, Lars Hamid, Brahim Huljenic, Darko Ilieva, Sylvia Jezequel, Jean-Marc Katsaros, Panagiotis Kotonya, Gerald Kreiner, Christian Larsson, Magnus Lau, Kung-Kiu Lovrek, Ignac Metzger, Andreas Mirandola, Raffaela ...
All rights reserved. No part of this publication may be reproduced, stored in a retrieval system,... more All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording or otherwise, except as permitted by the UK Copyright, Designs and Patents Act 1988, without the prior permission of the publisher.
A semi-visual framework for the specification of syntax and semantics of imperative programming l... more A semi-visual framework for the specification of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The primary aim of this formalism is to assist in recording the decisions taken by the designer during the language design process. The associated tool Gem-Mex allows the designer to maintain the specification and to inspect the semantics to verify whether the design decisions have been properly formalized.
XML (eXtensible Markup Language) is becoming the standard format for documents on Internet and is... more XML (eXtensible Markup Language) is becoming the standard format for documents on Internet and is widely used to exchange data. Often, the relevant information contained in XML documents needs to be also stored in legacy databases (DB) in order to integrate the new data with the pre-existing ones. In this paper, we introduce a technique for the automatic XML-DB integration, which we call Xere.
Abstract. In this paper, we sketch the modeling of a Workflow Management System (WFMS) by means o... more Abstract. In this paper, we sketch the modeling of a Workflow Management System (WFMS) by means of the composition of domain–specific languages (DSL), ie languages which are usually designed for being used by domain experts who need languages consisting of terms and notions they are familiar with.
Abstract Increasingly, models are becoming first class core assets, and model-driven engineering ... more Abstract Increasingly, models are becoming first class core assets, and model-driven engineering requires novel techniques, tools, and practices to face the globalization of software development in the (always more) pervasive IT world. This paper proposes a framework for synchronous and asynchronous concurrent and collaborative modeling.
Abstract: Montages are a new way of describing all aspects of programming languages formally. Suc... more Abstract: Montages are a new way of describing all aspects of programming languages formally. Such specifications are intelligible for a broad range of people involved in programming language design and use. In order to enhance readability we combine visual and textual elements to yield specifications similar in structure, length, and complexity to those in common language manuals, but with a formal semantics. The formal semantics is based on Gurevich's Abstract State Machines formerly called Evolving Algebras.
The last decade witnessed a dramatic growth of software intricacy and different techniques and me... more The last decade witnessed a dramatic growth of software intricacy and different techniques and methodologies have been proposed to ease complex system development. Model Driven Engineering (MDE)[1] shifts the focus of software development from coding to modelling and lets software architects harness the opportunity of dealing with higher-level abstractions.
Abstract In data warehousing all kind of sophisticated information systems are used. Tools for th... more Abstract In data warehousing all kind of sophisticated information systems are used. Tools for the interconnection of di erent systems su er from some limited quality factors, such as exibility and ease of maintenance, since the components tend to have a natural evolution which is not taken into account. In most cases this results in a loss of consistency of the overall system.
Abstract The speci cation of all aspects of a programming language requires adequate formal model... more Abstract The speci cation of all aspects of a programming language requires adequate formal models and tool support. Montages speci cations combine graphical and textual elements to yield language descriptions similar in structure, length, and complexity to those in common language manuals, but with a formal semantics. A broad range of people involved in programming language design and use may nd convenient to use Montages in combination with the tool Gem {Mex.
The Eclipse Graphical Modeling (GMF) Framework provides the major approach for implementing visua... more The Eclipse Graphical Modeling (GMF) Framework provides the major approach for implementing visual languages on top of the Eclipse platform. GMF relies on a family of modeling languages to describe abstract syntax, concrete syntax as well as other aspects of the visual language and its implementation in an editor. GMF uses a model-driven approach to map the different GMF models to Java code. The framework, as it stands, lacks support for evolution.
Abstract Last decade witnessed a disappointing lack in technology transfer from formal semantics ... more Abstract Last decade witnessed a disappointing lack in technology transfer from formal semantics to language design. Research in formal semantics has developed increasingly complex concepts and notation, at the expense of calculational clarity and applicability in the development of languages. Montages is a visual domain-specific formalism for specifying all the aspects of a programming language.
Models have become essential for dealing with the numerous aspects involved in developing and mai... more Models have become essential for dealing with the numerous aspects involved in developing and maintaining complex IT systems. Models assist in capturing the relevant aspects of a system from a given perspective and at a precise level of abstraction.
Uploads