Interconnecting formalisms: Supporting modularity, reuse and incrementality

Jose Luiz Fiadeiro, Tom Maibaum

Research output: Chapter in Book/Report/Conference proceedingConference contribution

31 Citations (Scopus)

Abstract

The necessity to deal simultaneously with different formalisms seems to be intrinsic to the discipline of Software Engineering, particularly in relation to modularity, reusability and incrementality. In order to accomodate this diversity of formalisms, some authors have proposed the adoption of a common semantic domain for the different specification languages, and their translation into a common style of predicate logic. In this paper, we suggest that an alternative approach may be taken where the different modelling approaches are formalized individually in a common mathematical framework - Category Theory, and relationships are established between them using functors. Several examples are adduced to support this view and the generality of the approach is illustrated by formalizing reusability as a property of a functor relating two such formalisms.
Original languageEnglish
Title of host publicationProceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Place of PublicationNew York
PublisherACM Press
Pages72-80
Number of pages9
ISBN (Print)0897917162
DOIs
Publication statusPublished - 1995
EventProceedings of the 1995 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering - Washington, DC, United States
Duration: 10 Oct 199513 Oct 1995

Conference

ConferenceProceedings of the 1995 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering
CountryUnited States
CityWashington, DC
Period10/10/9513/10/95

Keywords

  • Reuse
  • Incremental development
  • Compositionality
  • Multiperspective specification
  • Formal methods
  • General systems theory

Fingerprint Dive into the research topics of 'Interconnecting formalisms: Supporting modularity, reuse and incrementality'. Together they form a unique fingerprint.

  • Cite this

    Fiadeiro, J. L., & Maibaum, T. (1995). Interconnecting formalisms: Supporting modularity, reuse and incrementality. In Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering (pp. 72-80). ACM Press. https://doi.org/10.1145/222132.222141