Login (DCU Staff Only)
Login (DCU Staff Only)

DORAS | DCU Research Repository

Explore open access research and scholarly works from DCU

Advanced Search

Modal logics for reasoning about object-based component composition

Pahl, Claus orcid logoORCID: 0000-0002-9049-212X (2000) Modal logics for reasoning about object-based component composition. In: The 4rd Irish Workshop on Formal Methods., July 2000, Maynooth, Ireland.

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.
Item Type:Conference or Workshop Item (Paper)
Event Type:Workshop
Subjects:Computer Science > Software engineering
DCU Faculties and Centres:DCU Faculties and Schools > Faculty of Engineering and Computing > School of Computing
Publisher:British Computer Society
Official URL:http://www.bcs.org/content/conWebDoc/4198
Use License:This item is licensed under a Creative Commons Attribution-NonCommercial-Share Alike 3.0 License. View License
ID Code:15920
Deposited On:20 Apr 2011 13:01 by Shane Harper . Last Modified 19 Jan 2021 15:10

Full text available as:

[thumbnail of Modal_Logics_for_Reasoning_about_Object-based_Component_Composition.pdf]
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


Downloads per month over past year

Archive Staff Only: edit this record