We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...