{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T16:58:11Z","timestamp":1649177891341},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,7,18]],"date-time":"2007-07-18T00:00:00Z","timestamp":1184716800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"},{"start":{"date-parts":[[2007,7,18]],"date-time":"2007-07-18T00:00:00Z","timestamp":1184716800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Inf Syst Front"],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1007\/s10796-007-9040-9","type":"journal-article","created":{"date-parts":[[2007,7,17]],"date-time":"2007-07-17T15:30:43Z","timestamp":1184686243000},"page":"359-373","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The adequacy of languages for representing interaction mechanisms"],"prefix":"10.1007","volume":"9","author":[{"given":"Remco M.","family":"Dijkman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Teduh","family":"Dirgahayu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dick A. C.","family":"Quartel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,7,18]]},"reference":[{"issue":"3","key":"9040_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allan","year":"1997","unstructured":"Allan, R., & Garlan, D. (1997). A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, 6(3), 213\u2013249.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"4","key":"9040_CR2","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1142\/S0218843006001505","volume":"15","author":"J. P. Andrade Almeida","year":"2006","unstructured":"Andrade Almeida, J. P., Dijkman, R. M., van Sinderen, M. J., Quartel, D. A. C., & Ferreira Pires, L. (2006). Model driven design, refinement and transformation of abstract interactions. International Journal of Cooperative Information Systems, 15(4), 599\u2013632.","journal-title":"International Journal of Cooperative Information Systems"},{"key":"9040_CR3","doi-asserted-by":"crossref","unstructured":"Barros, A., Dumas, M., & ter Hofstede, A. H. M. (2005). Service interaction patterns. In Proc. of the 3rd International Conference on Business Process Management (pp. 236\u2013251).","DOI":"10.1007\/11538394_20"},{"key":"9040_CR4","doi-asserted-by":"publisher","first-page":"1379","DOI":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B","volume":"12","author":"R. Bastide","year":"2000","unstructured":"Bastide, R., Sy, O., & Palanque, P. (2000). A formal notation and tool for the engineering of CORBA systems. Concurrency: Practice & Experience, 12, 1379\u20131403.","journal-title":"Concurrency: Practice & Experience"},{"key":"9040_CR5","doi-asserted-by":"crossref","unstructured":"Dijkman, R. M., Dirgahayu, T., & Quartel, D. A. C. (2006a). Towards advanced interaction design concepts. In: Proc. of EDOC 2006 (pp. 331\u2013342).","DOI":"10.1109\/EDOC.2006.71"},{"key":"9040_CR6","volume-title":"Consistency in multi-viewpoint architectural design of enterprise information systems (BETA Working Paper WP-188)","author":"R. M. Dijkman","year":"2006","unstructured":"Dijkman, R. M., Quartel, D. A. C., & van Sinderen, M. J. (2006b). Consistency in multi-viewpoint architectural design of enterprise information systems (BETA Working Paper WP-188). Eindhoven, The Netherlands: Eindhoven University of Technology."},{"key":"9040_CR7","volume-title":"Enterprise integration patterns: Designing, building, and deploying messaging solutions","author":"G. Hohpe","year":"2004","unstructured":"Hohpe, G., & Woolf, B. (2004). Enterprise integration patterns: Designing, building, and deploying messaging solutions. Boston, MA, USA: Addison Wesley."},{"key":"9040_CR8","volume-title":"Open distributed processing reference model (specification 901.4)","author":"ITU-T","year":"1995","unstructured":"ITU-T (1995). Open distributed processing reference model (specification 901.4). Geneva, Switzerland: ITU-T."},{"key":"9040_CR9","volume-title":"Information technology\u2014open distributed processing reference model\u2014enterprise language (specification 911)","author":"ITU-T","year":"1999","unstructured":"ITU-T (1999). Information technology\u2014open distributed processing reference model\u2014enterprise language (specification 911). Geneva, Switzerland: ITU-T."},{"key":"9040_CR10","volume-title":"Specification and description language (specification Z.100)","author":"ITU-T","year":"2002","unstructured":"ITU-T (2002). Specification and description language (specification Z.100). Geneva, Switzerland: ITU-T."},{"issue":"3","key":"9040_CR11","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L. Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R., & Pease, M. (1982). The Byzantine generals problem. ACM Transactions on Programming Languages and Systems, 4(3), 382\u2013401.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"9","key":"9040_CR12","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1109\/32.464548","volume":"21","author":"D. C. Luckham","year":"1995","unstructured":"Luckham, D. C., & Vera, J. (1995). An event-based architecture definition language. IEEE Transactions on Software Engineering, 21(9), 717\u2013734.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9040_CR13","volume-title":"CORBA component model 3.0 (specification formal\/2002-06-65)","author":"OMG","year":"2002","unstructured":"OMG (2002a). CORBA component model 3.0 (specification formal\/2002-06-65). Needham, MA, USA: Object Management Group."},{"key":"9040_CR14","volume-title":"Common object request broker architecture: Core specification, version 3.0 (specification formal\/02-12-06)","author":"OMG","year":"2002","unstructured":"OMG (2002b). Common object request broker architecture: Core specification, version 3.0 (specification formal\/02-12-06). Needham, MA, USA: Object Management Group."},{"key":"9040_CR15","volume-title":"UML 2.0 infrastructure specification (specification ptc\/03-09-15)","author":"OMG","year":"2003","unstructured":"OMG (2003). UML 2.0 infrastructure specification (specification ptc\/03-09-15). Needham, MA, USA: Object Management Group."},{"key":"9040_CR16","volume-title":"UML 2.0 superstructure specification (specification ptc\/04-10-02)","author":"OMG","year":"2004","unstructured":"OMG (2004). UML 2.0 superstructure specification (specification ptc\/04-10-02). Needham, MA, USA: Object Management Group."},{"key":"9040_CR17","doi-asserted-by":"crossref","unstructured":"Quartel, D. A. C., Dijkman, R. M., & van Sinderen, M. J. (2005). Extending profiles with stereotypes for composite concepts. In Proc. of MODELS 2007 (pp. 232\u2013247).","DOI":"10.1007\/11557432_17"},{"key":"9040_CR18","unstructured":"Quartel, D. A. C., Ferreira Pires, L., & van Sinderen, M. J. (2002). On architectural support for behavior refinement in distributed systems design. Journal of Integrated Design and Process Science, 6."},{"key":"9040_CR19","volume-title":"Enterprise application integration: A Wiley tech brief","author":"W. A. Ruh","year":"2001","unstructured":"Ruh, W. A., Maginnis, F. X., & Brown, W. J. (2001). Enterprise application integration: A Wiley tech brief. New York, NY, USA: Wiley."},{"key":"9040_CR20","unstructured":"van der Aalst, W. M. P., & ter Hofstede, A. H. M. (2002). Workflow patterns: On the expressive power of (Petri-net-based) workflow languages. In Proc. of CPN 2002 (pp. 1\u201320)."},{"issue":"1","key":"9040_CR21","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W. M. P. van der Aalst","year":"2003","unstructured":"van der Aalst, W. M. P., ter Hofstede, A. H. M., Kiepuszewski, B., & Barros, A. P. (2003). Workflow patterns. Distributed and Parallel Databases, 14(1), 5\u201351.","journal-title":"Distributed and Parallel Databases"},{"key":"9040_CR22","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1093\/comjnl\/35.5.478","volume":"35","author":"M. J. van Sinderen","year":"1992","unstructured":"van Sinderen, M. J., Ferreira Pires, L., & Vissers, C. A. (1992). Protocol design and implementation using formal methods. The Computer Journal, 35, 478\u2013491.","journal-title":"The Computer Journal"},{"key":"9040_CR23","volume-title":"Web services architecture (specification NOTE-ws-arch-20040211)","author":"W3C","year":"2004","unstructured":"W3C (2004). Web services architecture (specification NOTE-ws-arch-20040211). Sophia-Antipolis Cedex, France: W3C."},{"key":"9040_CR24","doi-asserted-by":"crossref","unstructured":"Wohed, P., van der Aalst, W. M. P., Dumas, M., & ter Hofstede, A. H. M. (2003). Analysis of web services composition languages: The case of BPEL4WS. In Proc. of the 22nd International Conference on Conceptual Modelling.","DOI":"10.1007\/978-3-540-39648-2_18"}],"container-title":["Information Systems Frontiers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-007-9040-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10796-007-9040-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-007-9040-9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-007-9040-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,31]],"date-time":"2021-08-31T18:40:03Z","timestamp":1630435203000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10796-007-9040-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,18]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,9]]}},"alternative-id":["9040"],"URL":"https:\/\/doi.org\/10.1007\/s10796-007-9040-9","relation":{},"ISSN":["1387-3326","1572-9419"],"issn-type":[{"value":"1387-3326","type":"print"},{"value":"1572-9419","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7,18]]},"assertion":[{"value":"18 July 2007","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}