Title: Static verification of indirect data sharing in loosely-coupled component systems
Authors: Desmet, Lieven ×
Piessens, Frank
Joosen, Wouter
Verbaeten, Pierre #
Issue Date: 25-Mar-2006
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:4089 pages:34-49
Conference: 5th International Symposium Software Composition (SC2006) location:Vienna, Austria date:25-26 March 2006
Abstract: To maintain loose coupling and facilitate dynamic composition, components in a pipe-and-filter architecture have a very limited syntactic interface and often communicate indirectly by means of a shared data repository. This severely limits the possibilities for compile time compatibility checking. Even static type checking is made largely irrelevant due to the very general types given in the interfaces. The combination of pipe-and-filter and a shared data repository is widely used, and in this paper we study this problem in the context of the Struts framework. We propose simple, but formally specified, behavioural contracts for components in such frameworks and show that automated formal verification of certain semantical compatibility properties is feasible. In particular, our verification guarantees that indirect data sharing through the shared data repository is performed consistently.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
Statistics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
sc06.pdf Submitted 370KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science