Modeldriven analysis and synthesis of textual concrete syntax, Software and System Modeling 7 (2008)

by P A Muller, F Fondement, F Fleurey, M Hassenforder, R Schneckenburger, S Gérard, J M Jézéquel
Results 1 - 7 of 7

Software---Practice And Experience

by Softw Pract Exper, Roman Pichler, Mira Mezini - Software – Practice and Experience , 2003
"... Aspects To apply authorization checks to Order and Product in Fig. 9, we don't change RoleBasedAuthorization but implement the pointcut of OrderProductAuthorization instead. The pointcut now also denotes those points in the execution of the program when instances of the Product class receive m ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
Aspects To apply authorization checks to Order and Product in Fig. 9, we don't change RoleBasedAuthorization but implement the pointcut of OrderProductAuthorization instead. The pointcut now also denotes those points in the execution of the program when instances of the Product class receive messages in addition to the points when instances of Order receive messages. OrderProductAuthorization thus fulfills a similar role as a binding in [12, 13].
(Show Context)

Object Grammars: Compositional & Bidirectional Mapping Between Text and Graphs

by Tijs Van Der Storm, William R. Cook, Alex Loh, Centrum Wiskunde
"... Abstract. Object Grammars define mappings between text and object graphs. Parsing recognizes syntactic features and creates the corresponding object structure. In the reverse direction, formatting recognizes object graph features and generates an appropriate textual presentation. The key to Object G ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
Abstract. Object Grammars define mappings between text and object graphs. Parsing recognizes syntactic features and creates the corresponding object structure. In the reverse direction, formatting recognizes object graph features and generates an appropriate textual presentation. The key to Object Grammars is the expressive power of the mapping, which decouples the syntactic structure from the graph structure. To handle graphs, Object Grammars support declarative annotations for resolving textual names that refer to arbitrary objects in the graph structure. Predicates on the semantic structure provide additional control over the mapping. Furthermore, Object Grammars are compositional so that languages may be defined in a modular fashion. We have implemented our approach to Object Grammars as one of the foundations of the Ensō system and illustrate the utility of our approach by showing how it enables definition and composition of domain-specific languages (DSLs). 1
(Show Context)

Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis

by Angelo Gargantini, Elvinia Riccobene, Patrizia Sc
"... Abstract—The use of formal methods (FMs), based on rigorous mathematical foundations, is essential for system specification and proof, especially for safety critical systems. On the other hand, Model-driven Engineering (MDE) is emerging as new approach to software development based on the systematic ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
Abstract—The use of formal methods (FMs), based on rigorous mathematical foundations, is essential for system specification and proof, especially for safety critical systems. On the other hand, Model-driven Engineering (MDE) is emerging as new approach to software development based on the systematic use of models as primary artifacts throughout the engineering life-cycle by combining domain-specific modeling languages (DSMLs) with model transformers, analyzers, and generators. In this paper, we present our position and experience on combining flexibility and automation of the MDE approach with rigorousness and preciseness of FMs to achieve significant boosts in both productivity and quality in model-driven design and analysis of software and systems. We propose an in-the-loop integration where, on one hand, MDE principles are used to engineer a language and a tool-set around a formal method for its practical adoption in systems development life cycle, and, on the other hand, the same FM is used in the same MDE context to endow modeling languages with a precise and (possibly) executable semantics and to perform formal analysis of systems models written in those languages. A concrete scenario of in-the-loop integration is presented in terms of the Abstract State Machine formal method and the Eclipse Modeling Framework. This integration allows system design using the EMF framework and formal system analysis by ASMs in a seamless and systematic way, as shown by a concrete case study.
(Show Context)

2.1.2. Project-team Presentation Overview 2

by Rennes Bretagne Atlantique, Theme Com
"... ..."
Abstract - Add to MetaCart
Abstract not found

LEMP: a Language Engineering Model-driven Process

by Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
"... In this paper, we propose LEMP as a model-driven process to develop a language endowed with a set of derived artifacts (syntax, interchange format, APIs,...) and with a well defined formal semantics. The process exploits the Model Driven Engineering principles of metamodeling, model transformation ..."
Abstract - Add to MetaCart
In this paper, we propose LEMP as a model-driven process to develop a language endowed with a set of derived artifacts (syntax, interchange format, APIs,...) and with a well defined formal semantics. The process exploits the Model Driven Engineering principles of metamodeling, model transformation and automatic generation of language processing tools. We describe the requirements to fulfill and the development steps of this language engineering life cycle, including the validation activities regarding the syntactic and semantic aspects. As a proof-of-concepts, we apply LEMP to the Finite State Machines and we report our experience in developing a language for the Abstract State Machine formal method.
(Show Context)

2.1.2. Project-team Presentation Overview 2

by Rennes Bretagne-atlantique
"... c t i v it y e p o r t 2009 Table of contents 1. Team.................................................................................... 1 ..."
Abstract - Add to MetaCart
c t i v it y e p o r t 2009 Table of contents 1. Team.................................................................................... 1

The Design and Implementation of Object Grammars

by Tijs Van Der Storma, William R. Cookb, Alex Lohb
"... An Object Grammar is a variation on traditional BNF grammars, where the notation is extended to support declarative bidirectional mappings between text and object graphs. The two directions for interpreting Object Grammars are parsing and formatting. Parsing transforms text into an object graph by r ..."
Abstract - Add to MetaCart
An Object Grammar is a variation on traditional BNF grammars, where the notation is extended to support declarative bidirectional mappings between text and object graphs. The two directions for interpreting Object Grammars are parsing and formatting. Parsing transforms text into an object graph by recognizing syntactic features and creating the corresponding object structure. In the reverse direction, formatting recognizes object graph features and generates an appropriate textual presentation. The key to Object Grammars is the expressive power of the mapping, which decouples the syntactic structure from the graph structure. To handle graphs, Object Grammars support declarative annotations for resolving textual names that refer to arbitrary objects in the graph structure. Predicates on the semantic structure provide additional control over the mapping. Furthermore, Object Grammars are compositional so that languages may be defined in a modular fashion. We have implemented our approach to Object Grammars as one of the foundations of the Enso ̄ system and illustrate the utility of our approach by showing how it enables definition and composition of domain-specific languages (DSLs).
(Show Context)