LEDA: A Specification Language for Software Architecture
C. Canal, E. Pimentel, J.M. Troya
II Jornadas de Ingeniería del Software
San Sebastián (Spain), 1997
In Proceedings, pp. 207-219
Abstract
Software Architecture refers to the level of design in which a system is described as a collection of interconnected components. Most concepts in the object-oriented paradigm can be applied to Software Architecture, where the more general term
component-oriented is preferred. However, object-oriented notations often fail to describe the interaction patterns that the components of a system must follow. On the other hand, process algebras are good candidates for the specification of interactive systems, but they are low-level notations, which makes difficult its direct application to the description of complex systems. In this paper we present an Architecture Description Language which combines object-oriented characteristics, such as reusability and inheritance, with the use of process algebras to determine system’s compatibility and correctness. (Paper)