Weaving executability into object-oriented meta-languages
Pierre-Alain Muller,Franck Fleurey,Jean-Marc Jézéquel +2 more
- 02 Oct 2005
- pp 264-278
TL;DR: This paper explores the idea of using aspect-oriented modeling to add precise action specifications with static type checking and genericity at the meta level, and believes that such a combination would bring significant benefits to the community, such as the specification, simulation and testing of operational semantics of metamodels.
read more
Abstract: Nowadays, object-oriented meta-languages such as MOF (Meta-Object Facility) are increasingly used to specify domain-specific languages in the model-driven engineering community. However, these meta-languages focus on structural specifications and have no built-in support for specifications of operational semantics. In this paper we explore the idea of using aspect-oriented modeling to add precise action specifications with static type checking and genericity at the meta level, and examine related issues and possible solutions. We believe that such a combination would bring significant benefits to the community, such as the specification, simulation and testing of operational semantics of metamodels. We present requirements for such statically-typed meta-languages and rationales for the aforementioned benefits.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Model-driven Development of Complex Software: A Research Roadmap
Bernhard Rumpe
- 23 May 2007
TL;DR: Model-Driven Engineering (MDE) is typically used to describe software development approaches in which abstract models of software systems are created and systematically transformed to concrete implementations as discussed by the authors, but full realizations of the MDE vision may not be possible in the near to medium-term primarily because of the wicked problems involved.
Feature-based survey of model transformation approaches
Krzysztof Czarnecki,Simon Helsen +1 more
TL;DR: A framework for the classification of several existing and proposed model transformation approaches is proposed, given as a feature model that makes explicit the different design choices for model transformations.
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems
Alberto Sangiovanni-Vincentelli,Alberto Sangiovanni-Vincentelli,Werner Damm,Werner Damm,Roberto Passerone +4 more
TL;DR: A design methodology and a few examples in controller design whereby contract- based design can be merged with platform-based design to formulate the design process as a meet-in-the-middle approach, where design requirements are implemented in a subsequent refinement process using as much as possible elements from a library of available components.
366
Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design Recognizing common requirements for co-design of hardware and software in diverse systems may lead to productivity gains, lower costs and first-pass design success.
Alberto Sangiovanni-Vincentelli
- 01 Jan 2007
TL;DR: In this paper, the authors present the challenges faced by industry in system level design and propose a design methodology, platform-based design (PBD), that has the potential of addres- sing these challenges in a unified way.
343
Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design
Alberto Sangiovanni-Vincentelli
- 30 Apr 2007
TL;DR: A design methodology, platform-based design (PBD), is proposed that has the potential of addressing system level design challenges in a unified way and a tool environment is presented, Metropolis, that supports PBD and can be used to integrate available tools and methods.
300
References
The Unified Modeling Language
Grady Booch,James Rumbaugh,Ivar Jacobson +2 more
- 01 Jan 2003
TL;DR: Bar attributes op1() op2() Abstract Operation (in italic) is defined to describe the operation of the Bar variable.
•Book
Algorithms + Data Structures = Programs
Niklaus Wirth
- 01 Jan 1976
TL;DR: The present antenna mast is constructed to telescope in response to pneumatic pressure.
•Book
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Jack Greenfield,Keith W. Short +1 more
- 01 Jan 2004
TL;DR: The confluence of component based development, model driven development and software product lines forms an approach to application development based on the concept of software factories, which promises greater gains in productivity and predictability than those produced by incremental improvements to the current paradigm of object orientation.
•Proceedings Article
Proceedings of the 25th International Conference on Software Engineering
Lori A. Clarke,Laurie Dillon,Walter F. Tichy +2 more
- 03 May 2003
TL;DR: The following topics are dealt with: software components; software testing; formal methods; software design; program analysis; software architecture; software engineering education; software fault correction.
508