{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T15:07:15Z","timestamp":1654096035411},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2008,11,13]],"date-time":"2008-11-13T00:00:00Z","timestamp":1226534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1007\/s11334-008-0072-1","type":"journal-article","created":{"date-parts":[[2008,11,12]],"date-time":"2008-11-12T02:05:39Z","timestamp":1226455539000},"page":"385-394","source":"Crossref","is-referenced-by-count":8,"title":["Component meets service: what does the mongrel look like?"],"prefix":"10.1007","volume":"4","author":[{"given":"Bernd J.","family":"Kr\u00e4mer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,11,13]]},"reference":[{"key":"72_CR1","unstructured":"ActiveBPEL Engine (2007) The ActiveBPEL Open Source Engine, Active Endpoints. http:\/\/www.active-endpoints.com\/"},{"issue":"3","key":"72_CR2","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R Allen","year":"1997","unstructured":"Allen R, Garlan D (1997) A formal basis for architectural connection. ACM Trans Softw Eng Methodol 6(3): 213\u2013249","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"72_CR3","unstructured":"Alves A et al (2006) Web services business process execution language version 2.0, OASIS. http:\/\/www.oasis-open.org\/committees\/download.php\/18714\/wsbpel-specification-draft-May17.htm"},{"key":"72_CR4","unstructured":"Banerji A et al (2002) Web services conversation language (WSCL) 1.0, W3C. http:\/\/www.w3.org\/TR\/wscl10\/"},{"key":"72_CR5","unstructured":"Beisiegel M et al (2007) Service component architecture: assembly model specification, SCA Version 1.00, OSOA. http:\/\/www.osoa.org\/download\/attachments\/35\/SCA_AssemblyModel_V100.pdf?version=1"},{"issue":"7","key":"72_CR6","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.774917","volume":"32","author":"A Beugnard","year":"1999","unstructured":"Beugnard A, J\u00e9z\u00e9quel JM, Plouzeau N, Watkins D (1999) Making components contract aware. Computer 32(7): 38\u201345","journal-title":"Computer"},{"key":"72_CR7","volume-title":"CASL user manual. LNCS, vol 2900","author":"M Bidoit","year":"2004","unstructured":"Bidoit M, Mosses PD (2004) CASL user manual. LNCS, vol 2900. Springer, Heidelberg"},{"key":"72_CR8","doi-asserted-by":"crossref","unstructured":"Brogi A, Canal C, Pimentel E, Vallecillo A (2004) Formalizing web service choreographies. In: Electronic notes in theoretical computer science, vol 105, pp 73\u201394","DOI":"10.1016\/j.entcs.2004.05.007"},{"issue":"1","key":"72_CR9","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MIC.2006.1","volume":"10","author":"T Bultan","year":"2006","unstructured":"Bultan T, Fu X, Su J (2006) Analyzing conversations of web services. IEEE Internet Comput 10(1): 18\u201325","journal-title":"IEEE Internet Comput"},{"key":"72_CR10","unstructured":"Busi N, Gorrieri R, Guidi C, Lucchi R, Zavattaro G (2005) Towards a formal framework for Choreography. In: 14th IEEE workshops on enabling technologies: infrastructure for collaborative enterprise. IEEE Computer Society Press"},{"key":"72_CR11","unstructured":"Chapman M et al (2007) Service Component Architecture: Client and Implementation Model Specification for WS-BPEL, SCA Version 1.00, OSOA. http:\/\/www.osoa.org\/download\/attachments\/35\/SCA_ClientAndImplementationModelforBPEL_V100.pdf?version=1"},{"key":"72_CR12","volume-title":"Service-oriented architecture: concepts, technology, and design","author":"T Erl","year":"2005","unstructured":"Erl T (2005) Service-oriented architecture: concepts, technology, and design. Prentice-Hall, Englewood Cliffs"},{"key":"72_CR13","first-page":"193","volume-title":"third intern. workshop on web services and formal methods. LNCS, vol 4184","author":"JL Fiadeiro","year":"2006","unstructured":"Fiadeiro JL, Lopes A, Bocchi L (2006) A formal approach to service component architecture. In: Bravetti M, N\u00fa\u00f1ez M, Zavattaro G (eds) third intern. workshop on web services and formal methods. LNCS, vol 4184. Springer, Heidelberg, pp 193\u2013213"},{"issue":"2","key":"72_CR14","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/j.entcs.2005.10.036","volume":"153","author":"D Hirsch","year":"2006","unstructured":"Hirsch D, Lluch-Lafuente A, Tuosto E (2006) A logic for application level QoS. Electronic Notes Theor Comput Sci 153(2): 135\u2013159","journal-title":"Electronic Notes Theor Comput Sci"},{"key":"72_CR15","volume-title":"Communicating sequential processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare CAR (1985) Communicating sequential processes. Prentice-Hall, Englewood Cliffs"},{"key":"72_CR16","first-page":"111","volume-title":"Information systems interoperability","author":"BJ Kr\u00e4mer","year":"1998","unstructured":"Kr\u00e4mer BJ (1998) Synchronization constraints in object interfaces. In: Kr\u00e4mer BJ, Papazoglou MP, Schmidt H-W (eds) Information systems interoperability. Research Studies Press, Champaign, pp 111\u2013142"},{"key":"72_CR17","unstructured":"Kr\u00e4mer BJ (2000) Forming a federated virtual university through course broker middleware. In: LearnTEC 2000, pp 137\u2013148"},{"key":"72_CR18","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/978-3-540-39800-4_3","volume-title":"Formal methods for software architectures. LNCS, vol 2804","author":"J Kramer","year":"2003","unstructured":"Kramer J, Magee J, Uchitel S (2003) Software architecture modeling and analysis: a rigorous approach. In: Bernardo M, Inverardi P (eds) Formal methods for software architectures. LNCS, vol 2804. Springer, Heidelberg, pp 44\u201351"},{"key":"72_CR19","first-page":"137","volume-title":"fifth European software engineering conference. LNCS, vol 989","author":"J Magee","year":"1995","unstructured":"Magee J, Dulay N, Eisenbach S, Kramer J (1995) Specifying distributed software architectures. In: Sch\u00e4fer W, Botella P (eds) fifth European software engineering conference. LNCS, vol 989. Springer, Heidelberg, pp 137\u2013153"},{"key":"72_CR20","unstructured":"McIlroy D (1968) Mass-produced software components. In: Software engineering. NATO Science Committee report, pp 138\u2013155"},{"issue":"10","key":"72_CR21","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/944217.944236","volume":"46","author":"LG Meredith","year":"2003","unstructured":"Meredith LG, Bjorg S (2003) Contracts and types. Commun ACM 46(10): 41\u201347","journal-title":"Commun ACM"},{"key":"72_CR22","volume-title":"Object-oriented software construction","author":"B Meyer","year":"1997","unstructured":"Meyer B (1997) Object-oriented software construction, 2nd edn. Prentice-Hall, Englewood Cliffs","edition":"2"},{"key":"72_CR23","unstructured":"OMG (2003) UML 2.0 OCL specification. http:\/\/www.omg.org\/docs\/ptc\/03-10-14.pdf"},{"issue":"46","key":"72_CR24","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/944217.944233","volume":"10","author":"MP Papazoglou","year":"2003","unstructured":"Papazoglou MP, Georgakopoulos D (2003) Service-oriented computing. Spec Issue Commun ACM 10(46): 24\u201328","journal-title":"Spec Issue Commun ACM"},{"key":"72_CR25","doi-asserted-by":"crossref","unstructured":"Pfadenhauer K, Kittl B, Dustdar S (2005) Challenges and solutions for model driven web service composition. In: fourteenth IEEE intern. workshops on enabling technologies: infrastructure for collaborative enterprise. IEEE Computer Society Press, pp 126\u2013134","DOI":"10.1109\/WETICE.2005.24"},{"key":"72_CR26","first-page":"181","volume-title":"First intern. symposium on leveraging applications of formal methods (ISoLA 2004). LNCS, vol 4313","author":"SK Rajamani","year":"2006","unstructured":"Rajamani SK, Rehof J (2006) Models for contract conformance. In: Maragria T, Steffen B (eds) First intern. symposium on leveraging applications of formal methods (ISoLA 2004). LNCS, vol 4313. Springer, Heidelberg, pp 181\u2013196"},{"key":"72_CR27","doi-asserted-by":"crossref","unstructured":"Reisig W, Lohmann N, Massuthe P, Stahl C, Weinberg D (2006) Analysis techniques for service models. In: Second international symposium on leveraging applications of formal methods, verification and validation (isola 2006), IEEE Computer Society, pp 11\u201317","DOI":"10.1109\/ISoLA.2006.58"},{"key":"72_CR28","unstructured":"Reisig W, Schmidt K, Stahl C (2005) Kommunizierende Workflow-Services modellieren und analysieren, Informatik\u2014Forschung und Entwicklung. Springer, Heidelberg, October (in German), pp 90\u2013101"},{"key":"72_CR29","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/978-3-540-24626-8_22","volume-title":"Radical innovations of software and systems engineering in the future","author":"H-W Schmidt","year":"2004","unstructured":"Schmidt H-W, Kr\u00e4mer BJ, Poernomo IH, Reussner R (2004) Predictable component architectures using dependent finite state machines. In: Wirsing M, Balsamo S, Knapp A (eds) Radical innovations of software and systems engineering in the future. Springer, Heidelberg, pp 310\u2013324"},{"issue":"4","key":"72_CR30","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1142\/S021819400100061X","volume":"11","author":"JA Stafford","year":"2001","unstructured":"Stafford JA, Wolf AL (2001) Architecture-level dependence analysis for software systems. Int J Softw Eng Knowl Eng 11(4): 431\u2013452","journal-title":"Int J Softw Eng Knowl Eng"},{"issue":"1","key":"72_CR31","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1039174.1039197","volume":"30","author":"A Stuckenholz","year":"2005","unstructured":"Stuckenholz A (2005) Component evolution and versioning: state of the art. ACM SIGSOFT Softw Eng Notes 30(1): 1\u201313","journal-title":"ACM SIGSOFT Softw Eng Notes"},{"key":"72_CR32","doi-asserted-by":"crossref","unstructured":"Stuckenholz A, Osterloh A (2006) Safe component updates. In: GPCE: generative programming and component engineering. ACM Press, New York, pp 39\u201348","DOI":"10.1145\/1173706.1173713"},{"key":"72_CR33","first-page":"21","volume-title":"Advanced information systems engineering: 14th intern. conference (CAiSE 2002). LNCS, vol 2348","author":"J Yang","year":"2002","unstructured":"Yang J, Papazoglou MP (2002) Web component: a substrate for web service reuse and composition. In: Pidduck AB, Mylopoulos J, Woo CC, Ozsu MT (eds) Advanced information systems engineering: 14th intern. conference (CAiSE 2002). LNCS, vol 2348. Springer, Heidelberg, pp 21\u201336"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-008-0072-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-008-0072-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-008-0072-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T09:47:44Z","timestamp":1559382464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-008-0072-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,13]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["72"],"URL":"https:\/\/doi.org\/10.1007\/s11334-008-0072-1","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11,13]]}}}