{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:05:00Z","timestamp":1743051900969,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642367953"},{"type":"electronic","value":"9783642367960"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36796-0_8","type":"book-chapter","created":{"date-parts":[[2013,3,22]],"date-time":"2013-03-22T04:09:22Z","timestamp":1363925362000},"page":"77-90","source":"Crossref","is-referenced-by-count":3,"title":["Cross-Organizational Business Processes Modeling Using Design-by-Contract Approach"],"prefix":"10.1007","author":[{"given":"Malik","family":"Khalfallah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Figay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Parisa","family":"Ghodous","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catarina Ferreira","family":"Da Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Innovative end-to-end Management of Dynamic Manufacturing Networks (IMAGINE Project) (September 2012), http:\/\/www.imagine-futurefactory.eu\/"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-1-84882-739-4_1","volume-title":"Advanced Design and Manufacturing Based on STEP","author":"T. Kramer","year":"2009","unstructured":"Kramer, T., Xu, X.: STEP in a Nutshell. In: Xu, X., Nee, A.Y.C. (eds.) Advanced Design and Manufacturing Based on STEP, pp. 1\u201322. Springer, London (2009)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Lewis, G.A., Morris, E.J., Simanta, S., Wrage, L.: Why Standards Are Not Enough to Guarantee End-to-End Interoperability. In: ICCBSS, pp. 164\u2013173 (2008)","DOI":"10.1109\/ICCBSS.2008.25"},{"key":"8_CR4","unstructured":"Collaborative and Robust Engineering using Simulation Capability Enabling Next Design Optimization (CRESCENDO Project) (September 2012), http:\/\/www.crescendo-fp7.eu\/"},{"issue":"3","key":"8_CR5","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s00778-007-0044-3","volume":"16","author":"M.P. Papazoglou","year":"2007","unstructured":"Papazoglou, M.P., van den Heuvel, W.-J.: Service oriented architectures: approaches, technologies and research issues. VLDB J.\u00a016(3), 389\u2013415 (2007)","journal-title":"VLDB J."},{"issue":"5","key":"8_CR6","first-page":"267","volume":"15","author":"W.M.P. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P., Jablonski, S.: Dealing with workflow change: identification of issues and solutions. International Journal of Computer Systems Science and Engineering\u00a015(5), 267\u2013276 (2000)","journal-title":"International Journal of Computer Systems Science and Engineering"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-642-10739-9_9","volume-title":"Service-Oriented Computing: Agents, Semantics, and Engineering","author":"P.R. Telang","year":"2009","unstructured":"Telang, P.R., Singh, M.P.: Business Modeling via Commitments. In: Kowalczyk, R., Vo, Q.B., Maamar, Z., Huhns, M. (eds.) SOCASE 2009. LNCS, vol.\u00a05907, pp. 111\u2013125. Springer, Heidelberg (2009)"},{"key":"8_CR8","unstructured":"Guttman, M., Parodi, J.: Real-Life MDA: Solving Business Problems with Model Driven Architecture. Morgan Kaufmann Publishers Inc. (2007)"},{"key":"8_CR9","unstructured":"Frankel, D.: Model Driven Architecture: Applying MDA to Enterprise Computing. John Wiley and Sons, Inc. (2002)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-15375-4_12","volume-title":"CONCUR 2010 - Concurrency Theory","author":"L. Bocchi","year":"2010","unstructured":"Bocchi, L., Honda, K., Tuosto, E., Yoshida, N.: A Theory of Design-by-Contract for Distributed Multiparty Interactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol.\u00a06269, pp. 162\u2013176. Springer, Heidelberg (2010)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"van Eijndhoven, T., Iacob, M.-E., Ponisio, M.L.: Achieving Business Process Flexibility with Business Rules. In: EDOC, pp. 95\u2013104 (2008)","DOI":"10.1109\/EDOC.2008.23"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-45594-9_2","volume-title":"Business Process Management","author":"G. Knolmayer","year":"2000","unstructured":"Knolmayer, G., Endl, R., Pfahrer, M.: Modeling Processes and Workflows by Business Rules. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 16\u201329. Springer, Heidelberg (2000)"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-0346-0104-7_11","volume-title":"Emerging Web Services Technology","author":"M. Kharbili","year":"2010","unstructured":"Kharbili, M., Keil, T.: Bringing Agility to Business Process Management: Rules Deployment in an SOA. In: Binder, W., Dustdar, S. (eds.) Emerging Web Services Technology, vol.\u00a0III, pp. 157\u2013170. Birkh\u00e4user, Basel (2010)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: Proceedings of the Second Workshop on Formal Methods in Software Practice, pp. 7\u201315. ACM (1998)","DOI":"10.1145\/298595.298598"},{"key":"8_CR15","unstructured":"T\u00fcretken, O., Elgammal, A., van den Heuvel, W.-J., Papazoglou, M.P.: Enforcing compliance on business processes through the use of patterns. In: ECIS (2011)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Khalfallah, M., Figay, N., Barhamgi, M., Ghodous, P.: Product-based Business Processes Interoperability. In: ACM Symposium on Applied Computing (2013)","DOI":"10.1145\/2480362.2480636"},{"issue":"1","key":"8_CR17","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1093\/comjnl\/bxn064","volume":"53","author":"W.M.P. Aalst van der","year":"2010","unstructured":"van der Aalst, W.M.P., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K.: Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Comput. J.\u00a053(1), 90\u2013106 (2010)","journal-title":"Comput. J."},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/11914853_10","volume-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE","author":"J.M. Zaha","year":"2006","unstructured":"Zaha, J.M., Barros, A., Dumas, M., ter Hofstede, A.: Let\u2019s Dance: A Language for Service Behavior Modeling. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol.\u00a04275, pp. 145\u2013162. Springer, Heidelberg (2006)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographiess. TWEB\u00a04(1) (2010)","DOI":"10.1145\/1658373.1658376"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-19056-8_4","volume-title":"Distributed Computing and Internet Technology","author":"K. Honda","year":"2011","unstructured":"Honda, K., Mukhamedov, A., Brown, G., Chen, T.-C., Yoshida, N.: Scribbling Interactions with a Formal Foundation. In: Natarajan, R., Ojo, A. (eds.) ICDCIT 2011. LNCS, vol.\u00a06536, pp. 55\u201375. Springer, Heidelberg (2011)"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Charfi, A., Mezini, M.: Hybrid web service composition: business processes meet business rules. In: ICSOC, pp. 30\u201338 (2004)","DOI":"10.1145\/1035167.1035173"},{"issue":"1","key":"8_CR22","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1080\/07421222.2003.11045753","volume":"20","author":"H.A. Reijers","year":"2003","unstructured":"Reijers, H.A., Limam, S., van der Aalst, W.M.P.: Product- Based Workflow Design. J. of Management Information Systems\u00a020(1), 229\u2013262 (2003)","journal-title":"J. of Management Information Systems"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11841197_1","volume-title":"Web Services and Formal Methods","author":"W.M.P. Aalst van der","year":"2006","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 1\u201323. Springer, Heidelberg (2006)"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44895-0_1","volume-title":"Business Process Management","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business Process Management: A Survey. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 1\u201312. Springer, Heidelberg (2003)"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Khalfallah, M., Barhamgi, M., Figay, N., Ghodous, P.: A Novel Approach to Ensure Interoperability Based on a Cloud Infrastructure. In: ISPE CE, pp. 1143\u20131154 (2012)","DOI":"10.1007\/978-1-4471-4426-7_96"},{"issue":"8","key":"8_CR26","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1016\/j.compind.2012.08.008","volume":"63","author":"N. Figay","year":"2012","unstructured":"Figay, N., Ghodous, P., Khalfallah, M., Barhamgi, M.: Interoperability framework for dynamic manufacturing networks. Computers in Industry\u00a063(8), 749\u2013755 (2012)","journal-title":"Computers in Industry"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Munusamy, K., Selamat, H.B., Ibrahim, S., Baba, M.S.: A comparative study of process mediator components that support behavioral incompatibility. CoRR abs\/1110.2258, volume abs\/1110.2258 (2011)","DOI":"10.2139\/ssrn.3439923"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Interoperability"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36796-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,24]],"date-time":"2020-07-24T05:35:01Z","timestamp":1595568901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36796-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642367953","9783642367960"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36796-0_8","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2013]]}}}