{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:43:26Z","timestamp":1750308206606,"version":"3.41.0"},"reference-count":23,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2004,9,1]],"date-time":"2004-09-01T00:00:00Z","timestamp":1093996800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2004,9]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/1022494.1022527","type":"journal-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:09Z","timestamp":1097170749000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Model interchange and integration for web services"],"prefix":"10.1145","volume":"29","author":[{"given":"Robert J.","family":"Hall","sequence":"first","affiliation":[{"name":"AT&amp;T Labs Research, Florham Park, NJ"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Zisman","sequence":"additional","affiliation":[{"name":"City University, Northampton Square, London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2004,9]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"proceedings of the 2003 Workshop on Requirements Engineering for Open Systems, in conjunction with the 11th IEEE Intl. Requirements Engineering Conference","author":"Baresi L.","year":"2003","unstructured":"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 .]] 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.]]"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/646484.691774"},{"key":"e_1_2_1_3_1","unstructured":"BPEL4WS. Business process Execution language for Web Services 1.1. www-106.ibm.com\/developerworks \/ webservices\/library\/ws-bpel.]]  BPEL4WS. Business process Execution language for Web Services 1.1. www-106.ibm.com\/developerworks \/ webservices\/library\/ws-bpel.]]"},{"key":"e_1_2_1_4_1","first-page":"348","volume-title":"Proc. of the 1st Intl. Semantic Web Conference","volume":"342","author":"L-S.","year":"2002","unstructured":"DAM L-S. DAML-S : web service description for the semantic web . In Proc. of the 1st Intl. Semantic Web Conference , vol. 342 of LNCS, pages 348 -- 363 , 2002 .]] DAML-S. DAML-S: web service description for the semantic web. In Proc. of the 1st Intl. Semantic Web Conference, vol. 342 of LNCS, pages 348--363, 2002.]]"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/143062.143124"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240303"},{"key":"e_1_2_1_7_1","volume-title":"Workshop on Requirements Engineering and Open Systems (REOS)","author":"Fu X.","year":"2003","unstructured":"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 .]] 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.]]"},{"key":"e_1_2_1_8_1","volume-title":"Proceedings 2002 ISR Workshop on State of the Art in Automated Software Engineering. UC Irvine ISR","author":"Hall R. J.","year":"2002","unstructured":"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 .]] 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.]]"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016372507161"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240335"},{"key":"e_1_2_1_11_1","volume-title":"OpenModel-based validation with missing information","author":"Hall R. J.","year":"2003","unstructured":"R. J. Hall and A. Zisman . OpenModel-based validation with missing information , 2003 (forthcoming).]] R. J. Hall and A. Zisman. OpenModel-based validation with missing information, 2003 (forthcoming).]]"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018443.1022114"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025115.1025207"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.508311"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/234426.234431"},{"volume-title":"Design and Validation of Computer protocols","author":"Holzmann G. J.","key":"e_1_2_1_18_1","unstructured":"G. J. Holzmann . Design and Validation of Computer protocols . Englewood Cliffs, NJ : Prentice Hall .]] G. J. Holzmann. Design and Validation of Computer protocols. Englewood Cliffs, NJ: Prentice Hall.]]"},{"key":"e_1_2_1_19_1","unstructured":"OpenModel home page. www.research.att.com\/~hall\/openmodel-project.html.]]  OpenModel home page. www.research.att.com\/~hall\/openmodel-project.html.]]"},{"key":"e_1_2_1_20_1","unstructured":"PVS. The PVS specification and verification system http:\/\/pvs.csl.sri.com.]]  PVS. The PVS specification and verification system http:\/\/pvs.csl.sri.com.]]"},{"key":"e_1_2_1_21_1","unstructured":"Web Service choreography interface (WSCI) 1.0 http:\/\/www\/w3\/org\/TR\/2002\/NOTE-wsci-20020808]]  Web Service choreography interface (WSCI) 1.0 http:\/\/www\/w3\/org\/TR\/2002\/NOTE-wsci-20020808]]"},{"key":"e_1_2_1_22_1","unstructured":"Web Services conversation language (WSCL) 1.0. http:\/\/www.w3.org\/TR\/wsc110.]]  Web Services conversation language (WSCL) 1.0. http:\/\/www.w3.org\/TR\/wsc110.]]"},{"key":"e_1_2_1_23_1","unstructured":"Web services description language (WSDL) 1.1. http:\/\/www.w3.org\/TR\/Wsdl.]]  Web services description language (WSDL) 1.1. http:\/\/www.w3.org\/TR\/Wsdl.]]"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566199"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1022494.1022527","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1022494.1022527","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:30:57Z","timestamp":1750264257000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1022494.1022527"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9]]},"references-count":23,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2004,9]]}},"alternative-id":["10.1145\/1022494.1022527"],"URL":"https:\/\/doi.org\/10.1145\/1022494.1022527","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2004,9]]},"assertion":[{"value":"2004-09-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}