A theory of classes from the theoretical foundations of LePUS 3

Jonathan Nicholson

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Abstract

LePUS3 is a formal design description language for specifying decidable (i.e. automatically verifiable) properties of object-oriented design. LePUS3 has been successfully applied to both design verification and reverse engineering applications. However, LePUS3 is becoming over zealously pragmatic. Its current definition is inflexible, limiting is expressivity, extensibility and reasoning capabilities. We present a new theory of classes derived from the theoretical foundations of LePUS3, and defined in the Typed Predicate Logic. The expressive power of our theory is demonstrated by specifying and reasoning over design patterns.
Original languageEnglish
Title of host publicationProceedings of the 13th International Conference on Formal Engineering Methods
Place of PublicationBerlin Heidelberg
PublisherSpringer
Pages522-536
Number of pages15
Volume6991
ISBN (Electronic)9783642245596
ISBN (Print)9783642245589
DOIs
Publication statusPublished - 26 Oct 2011
EventProceedings of the 13th International Conference on Formal Engineering Methods - Durham, UK, 25-28 October 2011
Duration: 26 Oct 2011 → …

Publication series

NameLecture Notes in Computer Science

Conference

ConferenceProceedings of the 13th International Conference on Formal Engineering Methods
Period26/10/11 → …

Keywords

  • Formal Specification and Modelling
  • LePUS3
  • Typed Predicate Logic
  • Design Patterns

Fingerprint Dive into the research topics of 'A theory of classes from the theoretical foundations of LePUS 3'. Together they form a unique fingerprint.

  • Cite this

    Nicholson, J. (2011). A theory of classes from the theoretical foundations of LePUS 3. In Proceedings of the 13th International Conference on Formal Engineering Methods (Vol. 6991, pp. 522-536). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-642-24559-6_35