Conformance and Refinement of Behavior in p-calculus

C. Canal, E. Pimentel, J.M. Troya

2nd International Workshop on Component-Based Software Development in Computational Logic (COCL'99)

Paris (France), September 1999

In Proceedings

Abstract

Process algebras are widely accepted for the specification of software systems. In particular, p-calculus addresses the description of dynamic systems, and permits their analysis for bisimilarity and other interesting properties. Though bisimilarity determines the equivalence of behavior, more flexible relations are required in the context of Software Engineering. In this paper we present a relation of compatibility in the context of p-calculus which formalizes the notion of conformance of behavior between software components. Our approach is enhanced with the definition of a relation of inheritance among processes. This relation preserves compatibility and indicates whether a process is a specialization or refinement of another one. The suitability of our approach is shown by its application to the field of Software Architecture. (Paper)