Formal and Tool Support for Model Driven Engineering with Maude.
نویسندگان
چکیده
منابع مشابه
Formal and Tool Support for Model Driven Engineering with Maude
Models and metamodels play a cornerstone role in Model-Driven Software Development. Although several notations have been proposed to specify them, the kind of formal and tool support they provide is quite limited. In this paper we explore the use of Maude as a formal notation for describing models and metamodels. Maude is an executable rewriting logic language specially well suited for the spec...
متن کاملTool-support for Model-Driven Software Engineering
Model Driven Architecture is an initiative of the OMG that puts a platform and programming language independent modelling using UML in the center of the development. Transformation from high level views to technologydependent views take place more or less automatically through mappings. However, this requires heavy tool support and so far few tools to support this idea adequately exist. In a se...
متن کاملFormal Model Engineering for Embedded Systems Using Real-Time Maude
This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems. One can then use the code generation facilities of the tools for the modeling languages to automatically synthesize Real-Time Maude verification models from design models, enabling a formal model engineering process that combin...
متن کاملThe Maude Formal Tool Environment
This paper describes the main features of several tools concerned with the analysis of either Maude specifications, or of extensions of such specifications: the ITP, MTT, CRC, ChC, and SCC tools, and Real-Time Maude for real-time systems. These tools, together with Maude itself and its searching and model-checking capabilities, constitute Maude’s formal environment.
متن کاملMaude as a Formal Meta-tool
Given the diierent perspectives from which a complex software system has to be analyzed, the multiplicity of formalisms is in some sense unavoidable. This poses two important technical challenges: how to rigorously meet the need to interrelate formalisms, and how to reduce the duplication of eeort in tool and speciication building across formalisms. These challenges could be answered by adequat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2007
ISSN: 1660-1769
DOI: 10.5381/jot.2007.6.9.a10