Towards PaP Services: Design and Validation Issues

The dynamic composition of services as visioned in a Plug-and Play approach requires new design and validation methods. We propose a service design based on the concept of roles. The feature of composite state newly introduced in SDL 2000 is used to model roles and their composition. We introduce a validation approach tightly integrated with the composition of roles. The approach takes advantage of the system structure. In that way, it will be possible to reuse the results of the analysis done before the modification of the system when a new component is introduced. Furthermore, as components may be bound dynamically at run-time, the analysis is defined such that it can be applied on state machine types not only instances.

[1]  Rolv Bræk,et al.  Engineering Real Time Systems , 1993 .

[2]  David Notkin,et al.  Using role components in implement collaboration-based designs , 1996, OOPSLA '96.

[3]  Hein Meling,et al.  Towards a Plug and Play Architecture for Telecommunications , 1999, SMARTNET.

[4]  Martin Peschke,et al.  Design and Validation of Computer Protocols , 2003 .

[5]  Kasper Østerbye,et al.  Roles: Conceptual Abstraction Theory and Practical Language Issues , 1996, Theory and Practice of Object Systems.

[6]  Frederick C. Hennie,et al.  Finite-state Models for Logical Machines , 1968 .

[7]  Rolv Bræk.  Using Roles with Types and Objects for Service Development , 1999, SMARTNET.

[8]  Charles W. Bachman,et al.  The Role Concept in Data Models , 1977, VLDB.

[9]  Birgit Geppert,et al.  Collaboration-Based Design of SDL Systems , 2001, SDL Forum.

[10]  Mira Mezini,et al.  Adaptive plug-and-play components for evolutionary software development , 1998, OOPSLA '98.

[11]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[12]  M. G. Rodd,et al.  Engineering real-time systems , 1995 .

[13]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[14]  Itu-T.  Specification and Description Language (SDL) , 1999 .

[15]  A. Udaya Shankar,et al.  Protocol Verification via Projections , 1984, IEEE Transactions on Software Engineering.

[16]  Joseph Sifakis,et al.  Property preserving abstractions for the verification of concurrent systems , 1995, Formal Methods Syst. Des..

[17]  Alexandre Petrenko,et al.  Techniques for Abstracting SDL Specifications , 2002, SAM.