Model interchange and integration for web services

ABSTRACT

Large distributed systems are normally developed by combining various nodes that are produced by different stakeholders, using different technologies, languages, and formalisms. An example of this situation is found when developing web services applications. However, the heterogeneity and diversity of existing languages to express behavioral specifications (models) of systems do not support integration, sharing and reuse of models between different validation tools. In this paper we present an XML-based behavioral model interchange format called OpenModel Modeling Language (OMML). OMML is a function rich procedural language in which the functionality and control of the models are expressed procedurally in terms of domain-specific function/object theories. OMML is composed of 5 different document types describing executable specification models of the services running at the nodes, information about connections between the various nodes, information about the (abstract) state of the services, and domain specific information to allow standardisation of the terminology used by model developers. We describe how OMML can be used to support interchange of models in web services applications. We present prototype tools that we have developed to support translation between models expressed in P-EBF, OMML, and SCR and evaluate our approach by validating a web service book finder application composed of models expressed in different languages in the GSTView validation tool.

REFERENCES

• 1: L. Baresi, E. DiNitto, and C. Ghezzi. Inconsistency and ephemerality in a world of e-services. In proceedings of the 2003 Workshop on Requirements Engineering for Open Systems, in conjunction with the 11th IEEE Intl. Requirements Engineering Conference, 2003.
• 2: Ramesh Bharadwaj , Steve Sims, Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking, Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, p.378-394, March 25-April 02, 2000
• 3: BPEL4WS. Business process Execution language for Web Services 1.1. www-106.ibm.com/developerworks / webservices/library/ws-bpel.
• 4: Mark H. Burstein , Jerry R. Hobbs , Ora Lassila , David Martin , Drew V. McDermott , Sheila A. McIlraith , Srini Narayanan , Massimo Paolucci , Terry R. Payne , Katia P. Sycara, DAML-S: Web Service Description for the Semantic Web, Proceedings of the First International Semantic Web Conference on The Semantic Web, p.348-363, June 09-12, 2002
• 5: Jean-Claude Fernandez , Hubert Garavel , Laurent Mounier , Anne Rasse , Carlos Rodriguez , Joseph Sifakis, A toolbox for the verification of LOTOS programs, Proceedings of the 14th international conference on Software engineering, p.246-259, May 11-15, 1992, Melbourne, Australia [doi>10.1145/143062.143124]
• 6: H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based verification of web service compositions. In Proc. of the 18th International Conference on Automated Software Engineering (ASE 2003), pages 152--161. IEEE Computer Society, 2003.
• 7: X. Fu, T. Bultan, and J. Su. A top down approach to modeling global behaviors of web services. Workshop on Requirements Engineering and Open Systems (REOS), California, USA, IEEE Computer Society, 2003.
• 8: R. J. Hall. Open modeling in multi-stakeholder distributed systems: Model-based requirements engineering for the 21st century. In Proceedings 2002 ISR Workshop on State of the Art in Automated Software Engineering. UC Irvine ISR, 2002.
• 9: Robert J. Hall, Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design, Automated Software Engineering, v.9 n.3, p.233-261, August 2002 [doi>10.1023/A:1016372507161]
• 10: R. J. Hall and A. Zisman. Overview of openmodel-based validation with partial information. In Proc. of the 18th International Conference on Automated Software Engineering (ASE 2003), pages 347--350. IEEE Computer Society, 2003.
• 11: R. J. Hall and A. Zisman. OpenModel-based validation with missing information, 2003 (forthcoming).
• 12: Robert J. Hall , Andrea Zisman, OMML: A Behavioural Model Interchange Format, Proceedings of the Requirements Engineering Conference, 12th IEEE International (RE'04), p.272-282, September 06-10, 2004 [doi>10.1109/RE.2004.33]
• 13: Robert J. Hall , Andrea Zisman, Validating Personal Requirements by Assisted Symbolic Behavior Browsing, Proceedings of the 19th IEEE international conference on Automated software engineering, p.56-66, September 20-24, 2004 [doi>10.1109/ASE.2004.74]
• 14: David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
• 15: Mats P. E. Heimdahl , Nancy G. Leveson, Completeness and Consistency in Hierarchical State-Based Requirements, IEEE Transactions on Software Engineering, v.22 n.6, p.363-377, June 1996 [doi>10.1109/32.508311]
• 16: C. L. Heitmeyer and R. D. Jeffords. The SCR tabular notation: A formal foundation. NRL Memorandum Report NLR/MR/5546-03-8678.
• 17: Constance L. Heitmeyer , Ralph D. Jeffords , Bruce G. Labaw, Automated consistency checking of requirements specifications, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.3, p.231-261, July 1996 [doi>10.1145/234426.234431]
• 18: Gerard J. Holzmann, Design and validation of computer protocols, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
• 19: OpenModel home page. www.research.att.com/~hall/openmodel-project.html.
• 20: PVS. The PVS specification and verification system http://pvs.csl.sri.com.
• 21: Web Service choreography interface (WSCI) 1.0 http://www/w3/org/TR/2002/NOTE-wsci-20020808
• 22: Web Services conversation language (WSCL) 1.0. http://www.w3.org/TR/wsc110.
• 23: Web services description language (WSDL) 1.1. http://www.w3.org/TR/Wsdl.
• 24: Tuba Yavuz-Kahveci , Tevfik Bultan, Specification, verification, and synthesis of concurrency control components, Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, July 22-24, 2002, Roma, Italy

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification

General Terms:
Documentation, Languages, Standardization, Verification

Keywords:
OpenModel, behavior models, integration, interchange, validation