A modular method for global system behaviour specification

The challenge addressed in this paper is how can we specify the global behaviour of distributed reactive systems in a way which eases the comprehension of the system without compromising its specification's correctness, completeness, modularity and readability. Instead of defining the global behaviour models in a monolithic way, we approach the problem by decomposing the specification into interface functionality and core functionality. The resulting interface-modular method for system specification is presented and discussed in this paper using a TaxiCentral as case study. The novelty of this method lies in the clear separation of interfaces from core functionality in global specification, and the use of activity diagrams in combination with collaborations to express and compose the specifications.

[1]  Rolv Bræk,et al.  On Deriving Detailed Component Design from High-Level Service Specification , 2012, SAM.

[2]  Humberto Nicolás Castejón Martínez.  Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps , 2005, SDL Forum.

[3]  Tevfik Bultan,et al.  Realizability of Choreographies Using Process Algebra Encodings , 2012, IEEE Transactions on Services Computing.

[4]  Tevfik Bultan,et al.  Realizability of Choreographies Using Process Algebra Encodings , 2012, IEEE Trans. Serv. Comput..

[5]  Thomas A. Henzinger,et al.  An Interface Formalism for Web Services , 2007 .

[6]  Humberto Nicolás Castejón Martínez.  Collaborations in Service Engineering:: Modeling, Analysis and Execution , 2009 .

[7]  Vidar Slåtten,et al.  Tool support for the rapid composition, analysis and implementation of reactive services , 2009, J. Syst. Softw..

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

[9]  Jacqueline Floch,et al.  Using Projections for the Detection of Anomalous Behaviors , 2003, SDL Forum.

[10]  Chao Cai,et al.  Towards the theoretical foundation of choreography , 2007, WWW '07.

[11]  Remco M. Dijkman,et al.  Service-Oriented Design: A Multi-Viewpoint Approach , 2004, Int. J. Cooperative Inf. Syst..

[12]  Daniel Amyot,et al.  Service Discovery and Component Reuse with Semantic Interfaces , 2005, SDL Forum.

[13]  Thomas A. Henzinger,et al.  Web service interfaces , 2005, WWW '05.

[14]  Gregor von Bochmann,et al.  Realizability of Collaboration-based Service Specifications , 2007, 14th Asia-Pacific Software Engineering Conference (APSEC'07).

[15]  Marlon Dumas,et al.  Bridging Global and Local Models of Service-Oriented Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

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

[17]  Rolv Bræk,et al.  Analyzing realizability of choreographies using initiating and responding flows , 2011, MoDeVVa.

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

[19]  Raymond J. A. Buhr,et al.  Use Case Maps as Architectural Entities for Complex Systems , 1998, IEEE Trans. Software Eng..

[20]  Vladimir Mencl.  Specifying Component Behavior with Port State Machines , 2004, Electron. Notes Theor. Comput. Sci..