255
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Modal Logics for Reasoning about Object-based Component Composition

      proceedings-article

      4th Irish Workshop on Formal Methods (IWFM)

      Formal Methods

      5th-6th July 2000

      Bookmark

            Abstract

            Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system have to be modified or replaced. The software architecture in such systems can be described by components and their composition. In order to describe larger architectures, the composition concept becomes crucial. We will present a formal framework for component composition for object-based software development. The deployment of modal logics for defining components and component composition will allow us to reason about and prove properties of components and compositions.

            Content

            Author and article information

            Conference
            July 2000
            July 2000
            : 1-20
            Affiliations
            [0001]School of Computer Applications

            Dublin City University

            Dublin 9, Ireland
            Article
            10.14236/ewic/IWFM2000.4
            c58d374a-3a3b-4905-a312-ab675d50d667
            © Claus Pahl. Published by BCS Learning and Development Ltd. 4th Irish Workshop on Formal Methods

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            4th Irish Workshop on Formal Methods
            IWFM
            4
            Maynooth, Ireland
            5th-6th July 2000
            Electronic Workshops in Computing (eWiC)
            Formal Methods
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article