Frameworks Based on Templates for Rigorous Model-driven Development | Zendy

Nuno Amálio | Zendy; Fiona Polack | Zendy; Susan Stepney | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Frameworks Based on Templates for Rigorous Model-driven Development

Author(s) -

Nuno Amálio,

Fiona Polack,

Susan Stepney

Publication year - 2007

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2007.09.002

Subject(s) - computer science , formal methods , template , unified modeling language , grammar systems theory , programming language , software engineering , formal specification , consistency (knowledge bases) , formal language , artificial intelligence , software , generative grammar , emergent grammar

The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system development, such as the UML, are not amenable to formal analysis and consistency checking. On the other hand, formal modelling and analysis requires a level of competence and expertise that is not common in commercial development communities, and formal approaches are not well integrated with the rest of the development process. This paper advocates an approach to building engineering environments (or frameworks) for rigorous model-driven development (MDD) that is based on combining semi-formal notations with formal modelling languages. To support the approach, there is a formal language of templates, which captures patterns of formal development and enables an approach to proof with templates. This allows the construction of catalogues of patterns (represented as templates) and meta-theorems for frameworks. The paper presents and illustrates a framework for sequential systems that combines UML and the formal language Z

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research