{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:28:58Z","timestamp":1725564538675},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204985"},{"type":"electronic","value":"9783540399643"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39964-3_27","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T23:43:22Z","timestamp":1283730202000},"page":"426-443","source":"Crossref","is-referenced-by-count":4,"title":["Animating ebXML Transactions with a Workflow Engine"],"prefix":"10.1007","author":[{"given":"Rik","family":"Eshuis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Brimont","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Dubois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand","family":"Gr\u00e9goire","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophie","family":"Ramel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"27_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W. Aalst","year":"2003","unstructured":"Aalst, W., ter Hofstede, A., Kiepuszewksi, B., Barros, A.: Workflow patterns. Distributed and Parallel Databases\u00a014(3), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"27_CR2","volume-title":"Proc. 35th Annual Hawaii Intern. Conference on System Sciences (HICSS-35)","author":"R. Bastos","year":"2002","unstructured":"Bastos, R., Ruiz, D.: Extending UML activity diagram for workflow modeling in production systems. In: Sprague Jr., R.H. (ed.) Proc. 35th Annual Hawaii Intern. Conference on System Sciences (HICSS-35), IEEE Computer Society, Los Alamitos (2002)"},{"key":"27_CR3","volume-title":"Modeling XML applications with UML","author":"D. Carlson","year":"2001","unstructured":"Carlson, D.: Modeling XML applications with UML. Addison Wesley, Reading (2001)"},{"unstructured":"Chiba, URL: http:\/\/chiba.sourceforge.net","key":"27_CR4"},{"key":"27_CR5","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1145\/581339.581361","volume-title":"Proc. 24th International Conference on Software Engineering (ICSE 2002)","author":"E. Nitto Di","year":"2002","unstructured":"Di Nitto, E., Lavazza, L., Schiavoni, M., Tracanella, E., Trombetta, M.: Deriving executable process descriptions from UML. In: Proc. 24th International Conference on Software Engineering (ICSE 2002), pp. 155\u2013165. ACM Press, New York (2002)"},{"doi-asserted-by":"crossref","unstructured":"Eshuis, R., Brimont, P., Dubois, E., Gr\u00e9goire, B., Ramel, S.: Efficient: a tool set for supporting the modelling and validation of ebXML transactions (poster paper). In: Proc. ESEC\/FSE 2003 (2003)","key":"27_CR6","DOI":"10.1145\/949952.940121"},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1145\/581360.581362","volume-title":"Proc. 24th Intern. Conference on Software Engineering (ICSE 2002)","author":"R. Eshuis","year":"2002","unstructured":"Eshuis, R., Wieringa, R.: Verification support for workflow design with UML activity graphs. In: Proc. 24th Intern. Conference on Software Engineering (ICSE 2002), pp. 166\u2013176. ACM Press, New York (2002)"},{"doi-asserted-by":"crossref","unstructured":"Grau, A., Kowsari, M.: A validation system for object oriented specifications of information systems. In: Proc. of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS 1997) Vol. 1: Regular Papers, pp. 249\u2013256. Nevsky Dialect (1997)","key":"27_CR8","DOI":"10.14236\/ewic\/ADBIS1997.21"},{"issue":"4","key":"27_CR9","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull- Trauring, A., Trakhtenbrot, M.: STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering\u00a016(4), 403\u2013414 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"27_CR10","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/s007660050005","volume":"3","author":"P. Heymans","year":"1998","unstructured":"Heymans, P., Dubois, E.: Scenario-based techniques for supporting the elaboration and the validation of formal requirements. Requirements Engineering Journal\u00a03(4), 202\u2013208 (1998)","journal-title":"Requirements Engineering Journal"},{"key":"27_CR11","volume-title":"Proc. 34th Annual Hawaii International Conference on System Sciences (HICSS-34)","author":"C. Huemer","year":"2001","unstructured":"Huemer, C.: Defining electronic data interchange transactions with UML. In: Sprague Jr., R.H. (ed.) Proc. 34th Annual Hawaii International Conference on System Sciences (HICSS-34), IEEE Computer Society, Los Alamitos (2001)"},{"unstructured":"I-Logix, Inc. Rhapsody, URL: http:\/\/www.ilogix.com","key":"27_CR12"},{"key":"27_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-48166-4_7","volume-title":"Software Engineering - ESEC\/FSE \u201999","author":"D. J\u00e4ger","year":"1999","unstructured":"J\u00e4ger, D., Schleicher, A., Westfechtel, B.: Using UML for software process modeling. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol.\u00a01687, pp. 91\u2013108. Springer, Heidelberg (1999)"},{"key":"27_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-36560-5_13","volume-title":"Web, Web-Services, and Database Systems","author":"W. Meier","year":"2003","unstructured":"Meier, W.: eXist: An open source native XML database. In: Chaudhri, A.B., Jeckle, M., Rahm, E., Unland, R. (eds.) NODe-WS 2002. LNCS, vol.\u00a02593, pp. 169\u2013183. Springer, Heidelberg (2003)"},{"unstructured":"MIT process handbook, URL: http:\/\/ccs.mit.edu\/ph","key":"27_CR15"},{"issue":"2","key":"27_CR16","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/514183.514186","volume":"2","author":"C. Nentwich","year":"2002","unstructured":"Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A.: xlinkit: a Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology\u00a02(2), 151\u2013185 (2002), http:\/\/www.xlinkit.com","journal-title":"ACM Transactions on Internet Technology"},{"unstructured":"No Magic, Inc. MagicDraw, URL: http:\/\/www.magicdraw.com","key":"27_CR17"},{"unstructured":"Object Management Group. OMG UML specification v. 1.4 (2001), formal\/01-09- 67, URL: http:\/\/www.omg.org","key":"27_CR18"},{"unstructured":"Object Management Group. OMG-XML metadata interchange (XMI) specification, v1.2 (2002), formal\/02-01-01, URL: http:\/\/www.omg.org\/","key":"27_CR19"},{"unstructured":"Object Management Group. UML 2.0 Superstructure Specification (2003), ptc\/03- 08-02, URL: http:\/\/www.omg.org","key":"27_CR20"},{"unstructured":"Rational. Rational Rose Real Time, URL: http:\/\/www.rational.com","key":"27_CR21"},{"key":"27_CR22","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1018977602872","volume":"3","author":"J. Siddiqi","year":"1997","unstructured":"Siddiqi, J., Morrey, I., Roast, C., Ozcan, M.: Towards quality requirements via animated formal specifications. Annals of Software Engineering\u00a03, 131\u2013155 (1997)","journal-title":"Annals of Software Engineering"},{"unstructured":"SWIFT. swiftML design rules \u2013 technical specification (2001), URL: http:\/\/xml.coverpages.org\/swift-design-rules.pdf","key":"27_CR23"},{"unstructured":"UN\/CEFACT and OASIS. ebXML, URL: http:\/\/www.ebxml.org","key":"27_CR24"},{"unstructured":"W3C. W3C XML Schema, URL: http:\/\/www.w3.org\/XML\/Schema","key":"27_CR25"},{"unstructured":"W3C. XForms 1.0, URL: http:\/\/www.w3.org\/TR\/xforms\/","key":"27_CR26"},{"unstructured":"Workflow Management Coalition. Workflow process definition interface \u2013 XML process definition language, WFMC-TC-1025 (2002), URL: http:\/\/www.wfmc.org","key":"27_CR27"}],"container-title":["Lecture Notes in Computer Science","On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39964-3_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T09:11:48Z","timestamp":1591866708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39964-3_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204985","9783540399643"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39964-3_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}