2014 | OriginalPaper | Buchkapitel
ProMoBox: A Framework for Generating Domain-Specific Property Languages
verfasst von : Bart Meyers, Romuald Deshayes, Levi Lucio, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer
Erschienen in: Software Language Engineering
Verlag: Springer International Publishing
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Specifying and verifying properties of the modelled system has been mostly neglected by domain-specific modelling (DSM) approaches. At best, this is only partially supported by translating models to formal representations on which properties are specified and evaluated based on logic-based formalisms, such as linear temporal logic. This contradicts the DSM philosophy as domain experts are usually not familiar with the logics space. To overcome this shortcoming, we propose to shift property specification and verification tasks up to the domain-specific level. The
ProMoBox
framework consists of (
i
) generic languages for modelling properties and representing verification results, (
ii
) a fully automated method to specialize and integrate these generic languages to a given DSM language, and (
iii
) a verification backbone based model checking directly plug-able to DSM environments. In its current state,
ProMoBox
offers the designer modelling support for defining temporal properties, and for visualizing verification results, all based on a given DSM language. We report results of applying
ProMoBox
to a case study of an elevator controller.