Service Specification by Composition of Collaborations--An Example

We outline a specification style for reactive services that focuses on UML 2.0 collaborations and activities as reusable specification building blocks, In contrast to traditional component-based approaches, a collaboration directly describes the interactions between the components as well as the internal behavior necessary for a component to take part in it. To compose services from such reusable collaborations, we use events identified as input and output pins on the activities that are connected together. While our approach is formally settled in temporal logic, in this paper we focus on an example specification from the viewpoint of a service engineer

[1]  Adam Wolisz,et al.  Formal Techniques for Networked and Distributed Systems - FORTE 2003 , 2003, Lecture Notes in Computer Science.

[2]  Heiko Krumm,et al.  A framework for modeling transfer protocols , 2000, Comput. Networks.

[3]  Paul E. Hoffman,et al.  S/MIME Version 2 Certificate Handling , 1998, RFC.

[4]  Rohit Khare,et al.  Upgrading to TLS Within HTTP/1.1 , 2000, RFC.

[5]  Jacqueline Floch,et al.  ICT Convergence: Modeling Issues , 2004, SAM.

[6]  Rolv Bræk,et al.  A collaboration-based approach to service specification and detection of implied scenarios , 2006, SCESM '06.

[7]  Paul E. Hoffman,et al.  S/MIME Version 2 Message Specification , 1998, RFC.

[8]  Peter Herrmann,et al.  Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services , 2006, OTM Conferences.

[9]  T. Dierks,et al.  The TLS protocol , 1999 .

[10]  Heiko Krumm,et al.  A framework for the hazard analysis of chemical plants , 2000, CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537).

[11]  Øystein Haugen,et al.  Engineering real time systems - an object-oriented methodology using SDL (2. pr.) , 1993, BCS practitioner series.

[12]  Rudolf Schmid,et al.  Organization for the advancement of structured information standards , 2002 .

[13]  Marten van Sinderen,et al.  Specification Styles in Distributed Systems Design and Verification , 1991, Theor. Comput. Sci..

[14]  Roy T. Fielding,et al.  Uniform Resource Identifiers (URI): Generic Syntax , 1998, RFC.

[15]  Leslie Lamport,et al.  Model Checking TLA+ Specifications , 1999, CHARME.

[16]  Nathaniel S. Borenstein,et al.  Multipurpose Internet Mail Extensions (MIME) Part Two: Media Types , 1996, RFC.

[17]  Lawrence C. Stewart,et al.  HTTP Authentication: Basic and Digest Access Authentication , 1999 .

[18]  Frank Alexander Kraemer,et al.  Using UML 2.0 collaborations for compositional service specification , 2005, MoDELS'05.

[19]  Peter Herrmann,et al.  Transformation and Verification of Executable UML Models , 2004, CVUML.

[20]  Jean-Marc Jézéquel,et al.  Making Components Contract Aware , 1999, Computer.

[21]  Rolv Bræk,et al.  Towards a framework of authentication and authorization patterns for ensuring availability in service composition , 2006, First International Conference on Availability, Reliability and Security (ARES'06).

[22]  J.E.Y. Rosseboe,et al.  Towards a framework of authentication and authorization patterns for ensuring availability in service composition , 2006 .

[23]  Nathaniel S. Borenstein,et al.  Multipurpose Internet Mail Extensions (MIME) Part One: Format of Internet Message Bodies , 1996, RFC.

[24]  Paul E. Hoffman.  SMTP Service Extension for Secure SMTP over TLS , 1999, RFC.

[25]  Jonathan B. Postel.  Rfc821: simple mail transfer protocol , 1982 .

[26]  Michael Elkins,et al.  MIME Security with Pretty Good Privacy (PGP) , 1996, RFC.

[27]  Eric Rescorla,et al.  HTTP Over TLS , 2000, RFC.

[28]  Manfred Broy,et al.  Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .

[29]  Peter Herrmann,et al.  Formal Security Policy Verification of Distributed Component-Structured Software , 2003, FORTE.