Handling Heterogeneity in Formal Developments of Hardware and Software Systems

  • Yamine Ait-Ameur
  • Dominique Méry
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7610)

Abstract

Nowadays, the formal development of hardware and/or software systems implies the design of several models on which properties are expressed and then formally verified. Moreover, these models may be expressed in different modeling languages [1] and semantics. As a consequence, this development process leads to heterogeneous developments. Heterogeneity may appear in two different forms.

References

  1. 1.
    Bjorner, D., Henson, M.C. (eds.): Logics of Specification Languages. EATCS Textbook in Computer Science. Springer (2007)Google Scholar
  2. 2.
    Bjorner, D.: Software Engineering 1 Abstraction and Modelling. Texts in Theoretical Computer Science. An EATCS Series (2006) ISBN: 978-3-540-21149-5 Google Scholar
  3. 3.
    Bjorner, D.: Software Engineering 2 Specification of Systems and Languages. Texts in Theoretical Computer Science. An EATCS Series (2006) ISBN: 978-3-540-21150-1Google Scholar
  4. 4.
    Bjorner, D.: Software Engineering 3 Domains, Requirements, and Software Design. Texts in Theoretical Computer Science. An EATCS Series (2006) ISBN: 978-3-540-21151-8Google Scholar
  5. 5.
    Gruber, T.R.: A translation approach to portable ontology specifications. Knowl. Acquis. 5(2), 199–220 (1993)CrossRefGoogle Scholar
  6. 6.
    Zalila, F., Crégut, X., Pantel, M.: Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 330–344. Springer, Heidelberg (2012)Google Scholar
  7. 7.
    Boukhari, I., Bellatreche, L., Jean, S.: An Ontological Pivot Model to Interoperate Heterogeneous User Requirements. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 345–359. Springer, Heidelberg (2012)Google Scholar
  8. 8.
    Garlan, D., Schmerl, B.: Model-based adaptation for self-healing systems. In: Proceedings of the First Workshop on Self-healing Systems, WOSS 2002, pp. 27–32. ACM, New York (2002)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Yamine Ait-Ameur
    • 2
  • Dominique Méry
    • 1
  1. 1.Université de Lorraine, LORIA CNRS UMR 7503Vandœuvre-lès-NancyFrance
  2. 2.Ecole Nationale Supérieure d’Electrotechnique, d’Electronique, d’Informatique, d’Hydraulique et des Télécommunications (ENSEEIHT), IRITToulouse CedexFrance

Personalised recommendations