{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T12:40:54Z","timestamp":1762864854793,"version":"3.32.0"},"reference-count":25,"publisher":"World Scientific Pub Co Pte Ltd","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Coop. Info. Syst."],"published-print":{"date-parts":[[2004,12]]},"abstract":"<jats:p>As the technology associated with the \"Web Services\" trend gains significant adoption, the need for a corresponding design approach becomes increasingly important. This paper introduces a foundational model for designing (composite) services. The innovation of this model lies in the identification of four interrelated viewpoints (interface behaviour, provider behaviour, choreography, and orchestration) and their formalization from a control-flow perspective in terms of Petri nets. By formally capturing the interrelationships between these viewpoints, the proposal enables the static verification of the consistency of composite services designed in a cooperative and incremental manner. A proof-of-concept simulation and verification tool has been developed to test the possibilities of the proposed model.<\/jats:p>","DOI":"10.1142\/s0218843004001012","type":"journal-article","created":{"date-parts":[[2004,11,27]],"date-time":"2004-11-27T01:43:01Z","timestamp":1101519781000},"page":"337-368","source":"Crossref","is-referenced-by-count":108,"title":["SERVICE-ORIENTED DESIGN: A MULTI-VIEWPOINT APPROACH"],"prefix":"10.1142","volume":"13","author":[{"given":"REMCO","family":"DIJKMAN","sequence":"first","affiliation":[{"name":"Centre for Telematics and Information Technology, University of Twente, P.O. Box 217, 7500 AE Enschede, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MARLON","family":"DUMAS","sequence":"additional","affiliation":[{"name":"Centre for Information Technology Innovation, Queensland University of Technology, GPO Box 2434, Brisbane QLD 4001, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,1,25]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05169-6"},{"volume-title":"Web Services: Concepts, Architectures and Applications","year":"2003","author":"Alonso G.","key":"rf2"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(01)00014-X"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2003.1167338"},{"volume":"18","journal-title":"IEEE Intelligent Systems","author":"van der Aalst W.","key":"rf6"},{"volume-title":"Technical Report IEEE-Std 1471-2000","year":"2000","key":"rf8"},{"volume-title":"Communication and Concurrency","year":"1989","author":"Milner R.","key":"rf9"},{"volume-title":"The Formal Description Technique LOTOS","year":"1989","author":"van Eijk P.","key":"rf10"},{"volume-title":"Communicating with Mobile Agents: The Pi-Calculus","year":"1999","author":"Milner R.","key":"rf11"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1236471"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45017-3_31"},{"volume-title":"Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions","year":"2004","author":"Hohpe G.","key":"rf19"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60794-3"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-7552(97)83471-X"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1145\/233551.233556"},{"key":"rf24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60029-9_44"},{"volume":"6","journal-title":"J. Integrated Design and Process Science","author":"Quartel D.","key":"rf25"},{"key":"rf26","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50019-9"},{"key":"rf28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-25209-3_20","volume-title":"Proc. Conf. Parallel Architectures and Languages Europe (PARLE)","volume":"505","author":"Alvarez C.","year":"1991"},{"key":"rf30","doi-asserted-by":"crossref","unstructured":"T.\u00a0Bultan, Proc. Int. Conf. World Wide Web (WWW) (ACM Press, 2003)\u00a0pp. 403\u2013410.","DOI":"10.1145\/775152.775210"},{"volume-title":"Technical Report HPL-2003-208","year":"2003","author":"Fr\u00f8lund S.","key":"rf31"},{"key":"rf32","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44809-8_4"},{"key":"rf33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36124-3_20","volume-title":"Proc. Int. Conf. Coop. Information Systems","volume":"2519","author":"Wombacher A.","year":"2002"},{"key":"rf34","first-page":"277","volume":"15","author":"Grefen P.","journal-title":"Int. J. Computer Systems Science and Engineering"},{"key":"rf36","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016031730365"}],"container-title":["International Journal of Cooperative Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218843004001012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,20]],"date-time":"2024-12-20T18:29:46Z","timestamp":1734719386000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218843004001012"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,12]]},"references-count":25,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2012,1,25]]},"published-print":{"date-parts":[[2004,12]]}},"alternative-id":["10.1142\/S0218843004001012"],"URL":"https:\/\/doi.org\/10.1142\/s0218843004001012","relation":{},"ISSN":["0218-8430","1793-6365"],"issn-type":[{"type":"print","value":"0218-8430"},{"type":"electronic","value":"1793-6365"}],"subject":[],"published":{"date-parts":[[2004,12]]}}}