Multicomponent compatibility and its verification
Craig, D.C. and Zuberek, W.M.
Proc. 7-th Int. Conf. on Application of Concurrency to System Design
(ACSD-07), Bratislava, Slovakia, 10-13 July 2007, pp.233-235.
In component-based systems, a provider component is compatible with a family
of requester components components if all possible sequences of services
needed by the requester components can be provided by the provider component.
For verification of compatibility, the behavior of interacting components, at
their interfaces, is modeled by labeled Petri nets with labels representing
the requested and provided services. The paper formally defines the composition
of interacting components and outlines the compatibility verification process.
Software architecture, software components, component compatibility,
Petri nets, deadlock detection.
Available in pdf.
S.T. Albin, The art of software architecture: design methods and
techniques; Wiley 2003.
S. Chaki, E.M. Clarke, A. Groce, S. Jha, H. Veith, "Modular verification of
software components in C"; IEEE Trans. on Software Engineering, vol.30,
no.6, pp.388-402, 2004.
F. Chu, X. Xie, "Deadlock analysis of Petri nets using siphons and
mathematical programming"; IEEE Trans. on Robotics and Automation,
vol.13, no.6, pp.793-804, 1997.
D.C. Craig, "Compatibility of software components - modeling and
verification"; Ph.D. Thesis, Department of Computer Science, Memorial
University, St.John's, Canada A1B 3X5, 2006.
D.C. Craig, W.M. Zuberek, "Compatibility of software
components - modeling and verification"; Proc. Int. Conf. on Dependability
of Computer Systems, Szklarska Poreba, Poland, pp.11-18, 2006.
T.A. Henzinger, "Automata for specifying component interfaces";
Proc. 8-th Int. Conference on Implementation and Application of Automata
(Lecture Notes in Computer Science 2759), pp.1-2, Springer-Verlag 2003.
J.E. Hopcroft, R. Motwani, J.D. Ullman, Introduction to automata theory,
languages, and computations (2 ed.); Addison Wesley 2001.
R. Janicki, P.E. Lauer, Specification and analysis of concurrent systems -
the COSY approach; Springer-Verlag 1992.
T. Murata, "Petri nets: properties, analysis, and applications",
Proceedings of the IEEE, vol.77, no.4, pp.541-580, 1989.
M. Shaw, D. Garlan, Software architecture: perspectives on an emerging
discipline; Prentice Hall 1996.
M. Silva, E. Teruel, J. Couvreur, "Linear algebra in and linear programming
techniques for the analysis of place/transition net systems"; in Lecture
on Petri nets - basic models (Lecture Notes in Computer Science 1491),
pp.309-373, Springer-Verlag 1998.
C. Szyperski (with D. Gruntz, S. Murer), Component software: beyond
object-oriented programming (2 ed.); Addison-Wesley 2002.