International Conference on Software Language Engineering

SLE 2014: Software Language Engineering pp 1-20

ProMoBox: A Framework for Generating Domain-Specific Property Languages

  • Bart Meyers
  • Romuald Deshayes
  • Levi Lucio
  • Eugene Syriani
  • Hans Vangheluwe
  • Manuel Wimmer
Conference paper

DOI: 10.1007/978-3-319-11245-9_1

Volume 8706 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Meyers B., Deshayes R., Lucio L., Syriani E., Vangheluwe H., Wimmer M. (2014) ProMoBox: A Framework for Generating Domain-Specific Property Languages. In: Combemale B., Pearce D.J., Barais O., Vinju J.J. (eds) Software Language Engineering. SLE 2014. Lecture Notes in Computer Science, vol 8706. Springer, Cham

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Bart Meyers
    • 1
  • Romuald Deshayes
    • 2
  • Levi Lucio
    • 3
  • Eugene Syriani
    • 4
  • Hans Vangheluwe
    • 1
    • 3
  • Manuel Wimmer
    • 5
  1. 1.Modeling, Simulation and Design Lab (MSDL)University of AntwerpBelgium
  2. 2.Institut d’InformatiqueUniversit de MonsMonsBelgium
  3. 3.Modeling, Simulation and Design Lab (MSDL)McGill UniversityCanada
  4. 4.Software Engineering Research Group (SERG)University of AlabamaUSA
  5. 5.Business Informatics Group (BIG)Vienna University of TechnologyAustria