{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:21:19Z","timestamp":1761488479895},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11431855_30","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T15:08:10Z","timestamp":1279120090000},"page":"430-445","source":"Crossref","is-referenced-by-count":8,"title":["Efficient: A Toolset for Building Trusted B2B Transactions"],"prefix":"10.1007","author":[{"given":"Amel","family":"Mammar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophie","family":"Ramel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand","family":"Gr\u00e9goire","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Schmitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Guelfi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Chiba, open source Xforms implementation, http:\/\/chiba.sourceforge.net","key":"30_CR1"},{"unstructured":"Corr\u00e9a, A.L., Werner, C.M.L.: Precise Specification and Validation of Transactional Business Software, In Proc. of IEEE Joint International Requirements Engineering Conference (RE 2005), Kyoto, Japan (2005)","key":"30_CR2"},{"unstructured":"ebXML, http:\/\/www.ebxml.org\/","key":"30_CR3"},{"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 and short pa-per at ESEC\/FSE (2003), http:\/\/efficient.citi.tudor.lu\/","key":"30_CR4","DOI":"10.1145\/949952.940121"},{"key":"30_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/978-3-540-39964-3_27","volume-title":"On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE","author":"R. Eshuis","year":"2003","unstructured":"Eshuis, R., Brimont, P., Dubois, E., Gr\u00e9goire, B., Ramel, S.: Animating ebXML Transac-tions with a Workflow Engine. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, vol.\u00a02888, pp. 426\u2013443. Springer, Heidelberg (2003)"},{"unstructured":"extensible Markup Language, http:\/\/www.w3.org\/TR\/2004\/REC-xml-20040204\/","key":"30_CR6"},{"unstructured":"Grammatical Framework, open source tool, http:\/\/www.cs.chalmers.se\/~aarne\/GF\/","key":"30_CR7"},{"unstructured":"Guelfi, N., Mammar, A., Ries, B.: A Formal Approach for the Specification and the Veri-fication of UML Structural Properties: Application to E-Business Domain. In: International Workshop on Software Verification and Validation (SVV 2004), workshop of ICFEM 2004, Seattle, WA, USA (2004)","key":"30_CR8"},{"unstructured":"Guelfi, N., Mammar, A.: A Formal Approach for the Verification of E-Business Processes Using the PROMELA Language. In: FASE 2005 (2005) (Submitted)","key":"30_CR9"},{"issue":"5","key":"30_CR10","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The Model Checker SPIN. Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"Software Engineering"},{"unstructured":"MagicDraw, commercial tool, http:\/\/www.magicdraw.com\/","key":"30_CR11"},{"unstructured":"Object Constraint Language (OCL), http:\/\/www.omg.org\/cgi-bin\/doc?formal\/03-03-13","key":"30_CR12"},{"doi-asserted-by":"crossref","unstructured":"Richters, M.: A Precise Approach to Validating UML Models and OCL Constraints, PhD Thesis, University of Bremen (2001)","key":"30_CR13","DOI":"10.1007\/3-540-40011-7_19"},{"unstructured":"RosettaNet Partner Interface Program (PIP), http:\/\/www.rosettanet.org","key":"30_CR14"},{"unstructured":"Ross, R.: The Business Rule Book: Classifying, Defining and Modeling Rules, 2nd edn. (1997)","key":"30_CR15"},{"unstructured":"Schmitt, M., Gr\u00e9goire, B., Incoul, C., Ramel, S., Brimont, P., Dubois, E.: If business models could speak! Efficient: a framework for appraisal, design and simulation of electronic business transactions. In: ICEIMT 2004 (2004), http:\/\/efficient.citi.tudor.lu","key":"30_CR16"},{"unstructured":"UN\/CEFACT Modeling Methodology (UMM), http:\/\/www.ebxml.eu.org\/umm.htm","key":"30_CR17"},{"unstructured":"Unified Modeling Language, Object Management Group specification, http:\/\/www.omg.org\/uml","key":"30_CR18"},{"unstructured":"WfMC, Workflow Management Coalition, http:\/\/www.wfmc.org\/","key":"30_CR19"},{"unstructured":"WFMOpen, open source workflow engine, http:\/\/wfmopen.sourceforge.net\/","key":"30_CR20"},{"unstructured":"Xforms, W3C standard, http:\/\/www.w3.org\/TR\/2003\/REC-xforms-20031014\/","key":"30_CR21"},{"unstructured":"Xlinkit, commercial tool, http:\/\/www.systemwire.com\/xlinkit\/","key":"30_CR22"},{"unstructured":"XML Common Business Library (xCBL), http:\/\/xml.coverpages.org\/cbl.html","key":"30_CR23"},{"unstructured":"XMLSchema, W3C standard, http:\/\/www.w3.org\/XML\/Schema","key":"30_CR24"},{"unstructured":"XPDL, standard from the WfMC, http:\/\/www.wfmc.org\/standards\/XPDL.htm","key":"30_CR25"},{"unstructured":"van der Aalst, W.M.P., Verbeek, H.M.W., Kumar, A.: XRL\/Woflan: Verification and Extensibility of an XML\/Petri-net based language for interorganizational workflows, http:\/\/tmitwww.tm.tue.nl\/staff\/wvdaalst\/publications\/p139.pdf","key":"30_CR26"},{"unstructured":"Szirbik, N., Wagner, G.: Steps Towards Formal Verification of Agent-based E-Business Applications, http:\/\/www.informatik.uni-hamburg.de\/TGI\/events\/moca01\/wagner-final.pdf","key":"30_CR27"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11431855_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T02:03:02Z","timestamp":1559268182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11431855_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783319981765","9783319981772"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11431855_30","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2005]]}}}