{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:49:49Z","timestamp":1742914189225,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642204005"},{"type":"electronic","value":"9783642204012"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20401-2_4","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T10:53:38Z","timestamp":1315392818000},"page":"35-60","source":"Crossref","is-referenced-by-count":4,"title":["UML Extensions for Service-Oriented Systems"],"prefix":"10.1007","author":[{"given":"Howard","family":"Foster","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L\u00e1szl\u00f3","family":"G\u00f6nczy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nora","family":"Koch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Mayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Montangero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"4_CR1","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s10270-006-0001-4","volume":"5","author":"L. Baresi","year":"2005","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., Varr\u00f3, D.: Style-Based Modeling and Refinement of Service-Oriented Architectures. Journal of Software and Systems Modeling (SOSYM)\u00a05(2), 187\u2013200 (2005)","journal-title":"Journal of Software and Systems Modeling (SOSYM)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-540-75209-7_25","volume-title":"Model Driven Engineering Languages and Systems","author":"V. Ermagan","year":"2007","unstructured":"Ermagan, V., Kr\u00fcger, I.: A UML2 Profile for Service Modeling. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 360\u2013374. Springer, Heidelberg (2007)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Foster, H.: Architecture and Behaviour Analysis for Engineering Service Modes. In: Proceedings of the 2nd Workshop on Principles of Engineering Service Oriented Systems (PESOS 2009), Vancouver, Canada (2009)","DOI":"10.1109\/PESOS.2009.5068812"},{"key":"4_CR4","first-page":"225","volume-title":"ESEC-FSE 2007: Proceedings of the the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the foundations of Software Engineering","author":"H. Foster","year":"2007","unstructured":"Foster, H., Emmerich, W., Kramer, J., Magee, J., Rosenblum, D., Uchitel, S.: Model Checking Service Compositions under Resource Constraints. In: ESEC-FSE 2007: Proceedings of the the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the foundations of Software Engineering, pp. 225\u2013234. ACM, New York (2007)"},{"key":"4_CR5","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Leveraging Modes and UML2 for Service Brokering Specifications. In: Proceedings of the 4th Model-Driven Web Engineering Workshop (MDWE 2008), Toulouse, France (2008)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Gilmore, S., G\u00f6nczy, L., Koch, N., Mayer, P., Varr\u00f3, D.: Non-Functional Properties in the Model-Driven Development of Service-Oriented Systems. Journal of Software and Systems Modeling (2010) (accepted for publication)","DOI":"10.1007\/s10270-010-0155-y"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"G\u00f6nczy, L., D\u00e9ri, Z., Varr\u00f3, D.: Model Driven Performability Analysis of Service Configurations with Reliable Messaging. In: Proc. of Model Driven Web Engineering Workshop, MDWE 2008 (2008)","DOI":"10.1007\/978-3-642-01648-6_17"},{"key":"4_CR8","first-page":"153","volume-title":"Model Transformations for Performability Analysis of Service Configurations","author":"L. G\u00f6nczy","year":"2009","unstructured":"G\u00f6nczy, L., D\u00e9ri, Z., Varr\u00f3, D.: Model Transformations for Performability Analysis of Service Configurations, pp. 153\u2013166. Springer-Verlag, Heidelberg (2009)"},{"key":"4_CR9","unstructured":"G\u00f6nczy, L., Varr\u00f3, D.: Developing Effective Service Oriented Architectures: Concepts and Applications in Service Level Agreements, Quality of Service and Reliability. In: Engineering Service Oriented Applications with Reliability and Security Requirements. IGI Global (2010) (to be published)"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-540-93851-4_35","volume-title":"Service-Oriented Computing - ICSOC 2007 Workshops","author":"S. Gorton","year":"2009","unstructured":"Gorton, S., Montangero, C., Reiff-Marganiec, S., Semini, L.: StPowla: SOA, Policies and Workflows. In: Di Nitto, E., Ripeanu, M. (eds.) ICSOC 2007. LNCS, vol.\u00a04907, pp. 351\u2013362. Springer, Heidelberg (2009)"},{"key":"4_CR11","first-page":"47","volume-title":"Eighth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2004)","author":"R. Gronmo","year":"2004","unstructured":"Gronmo, R., Skogan, D., Solheim, I., Oldevik, J.: Style-Based Modeling and Refinement of Service-Oriented Architectures. In: Eighth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2004), pp. 47\u201357. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"4_CR12","unstructured":"O.M.Group. UML Profile for Schedulability, Performance and Time Specification (2005) , http:\/\/www.omg.org\/technology\/documents\/formal\/schedulability.htm"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/11966104_9","volume-title":"Software Architecture","author":"D. Hirsch","year":"2006","unstructured":"Hirsch, D., Kramer, J., Magee, J., Uchitel, S.: Modes for software architectures. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol.\u00a04344, pp. 113\u2013126. Springer, Heidelberg (2006)"},{"key":"4_CR14","unstructured":"Johnston, S.: UML 2.0 Profile for Software Services (2005), http:\/\/www-128.ibm.com\/developerworks\/rational\/library\/05\/419soa request For Proposal - AD\/02-01\/07"},{"key":"4_CR15","unstructured":"Koch, N., Berndl, D.: Requirements Modelling and Analysis of Selected Scenarios: Automotive CASE Study. Technical Report D8.2a, SENSORIA Deliverable (2007)"},{"issue":"1","key":"4_CR16","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.infsof.2008.09.011","volume":"51","author":"J. Kofro\u0148","year":"2009","unstructured":"Kofro\u0148, J., Pl\u00e1\u0161il, F., \u0160er\u00fd, O.: Modes in Component Behavior Specification via EBP and their application in Product Lines. Information and Software Technology\u00a051(1), 31\u201341 (2009)","journal-title":"Information and Software Technology"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Machado, R.J., Fernandes, J.M., Monteiro, P., Rodrigues, H.: Transformation of UML Models for Service-Oriented Software Architectures. In: Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, Washington, DC, USA, pp. 173\u2013182 (2005)","DOI":"10.1109\/ECBS.2005.73"},{"key":"4_CR18","unstructured":"Mayer, P., Koch, N., Schroeder, A.: The UML4SOA Profile. Technical report, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen (July 2009)"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1109\/SCC.2008.91","volume-title":"Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008)","author":"P. Mayer","year":"2008","unstructured":"Mayer, P., Schroeder, A., Koch, N.: A Model-Driven Approach to Service Orchestration. In: Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), vol.\u00a02, pp. 533\u2013536. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"4_CR20","first-page":"203","volume-title":"The 12th IEEE International EDOC Conference (EDOC 2008)","author":"P. Mayer","year":"2008","unstructured":"Mayer, P., Schroeder, A., Koch, N.: MDD4SOA: Model-Driven Service Orchestration. In: The 12th IEEE International EDOC Conference (EDOC 2008), Munich, Germany, pp. 203\u2013212. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Medjahed, B., Bouguettaya, A., Elmagarmid, A.: Composing Web Services on the Semantic Web. VLDB Journal, 333\u2013351 (2003)","DOI":"10.1007\/s00778-003-0101-5"},{"key":"4_CR22","first-page":"3","volume-title":"ECOWS 2007: Proceedings of the Fifth European Conference on Web Services","author":"A. Mukhija","year":"2007","unstructured":"Mukhija, A., Dingwall-Smith, A., Rosenblum, D.S.: QoS-Aware Service Composition in Dino. In: ECOWS 2007: Proceedings of the Fifth European Conference on Web Services, Halle, Germany, pp. 3\u201312. IEEE Computer Society, Los Alamitos (2007)"},{"key":"4_CR23","unstructured":"OMG. UML for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms, v1.1 (2008), http:\/\/www.omg.org\/spec\/QFTP\/1.1\/"},{"key":"4_CR24","unstructured":"OMG. Unified Modeling Language: Superstructure, version 2.2. Technical Report formal\/2009-02-02, Object Management Group (2009)"},{"key":"4_CR25","unstructured":"OMG. Service oriented architecture Modeling Language (SoaML) - Specification for the UML Profile and Metamodel for Services (UPMS), revised submission. Specification, Object Management Group (2010), http:\/\/www.omg.org\/spec\/SoaML\/1.0\/Beta2\/ (last visited: 22.07.2010)"},{"key":"4_CR26","unstructured":"Pistore, M., Marconi, A., Bertoli, P., Traverso, P.: Automated Composition of Web Services by Planning at the Knowledge Level. In: Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI (2005)"},{"key":"4_CR27","unstructured":"SENSORIA. Software Engineering for Service-Oriented Overlay Computers, http:\/\/www.sensoria-ist.eu\/ (last visited 15.03.2010)"},{"key":"4_CR28","unstructured":"W3C Working Group. Web Services Policy 1.5 - Primer, http:\/\/www.w3.org\/TR\/ws-policy-primer (last visit 22.10.2009)"},{"key":"4_CR29","unstructured":"Xie, R., Koch, N.: Automotive CASE Study: Demonstrator (Tutorial). Technical report, Cirquent GmbH (2009), http:\/\/www.sensoria-ist.eu\/ (last visited 15.03.2010)"}],"container-title":["Lecture Notes in Computer Science","Rigorous Software Engineering for Service-Oriented Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20401-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T22:51:50Z","timestamp":1560552710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20401-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642204005","9783642204012"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20401-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}