{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:47:50Z","timestamp":1767340070000,"version":"3.37.3"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,3,9]],"date-time":"2010-03-09T00:00:00Z","timestamp":1268092800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1007\/s10270-010-0155-y","type":"journal-article","created":{"date-parts":[[2010,3,8]],"date-time":"2010-03-08T06:26:18Z","timestamp":1268029578000},"page":"287-311","source":"Crossref","is-referenced-by-count":28,"title":["Non-functional properties in the model-driven development of service-oriented systems"],"prefix":"10.1007","volume":"10","author":[{"given":"Stephen","family":"Gilmore","sequence":"first","affiliation":[]},{"given":"L\u00e1szl\u00f3","family":"G\u00f6nczy","sequence":"additional","affiliation":[]},{"given":"Nora","family":"Koch","sequence":"additional","affiliation":[]},{"given":"Philip","family":"Mayer","sequence":"additional","affiliation":[]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,3,9]]},"reference":[{"key":"155_CR1","first-page":"111","volume":"01","author":"E. Alwagait","year":"2004","unstructured":"Alwagait E., Ghandeharizadeh S.: DeW: a dependable web services framework. RIDE 01, 111\u2013118 (2004)","journal-title":"RIDE"},{"key":"155_CR2","unstructured":"Amsden, J., Gardner, T., Griffin, C., Iyengar, S.: Draft UML 1.4 Profile for Automated Business Processes with a Mapping to BPEL 1.0. Specification, IBM. http:\/\/www.ibm.com\/developerworks\/rational\/library\/content\/04April\/3103\/3103_UMLProfileForBusinessProcesses1.1.pdf (2003), Last visited: 10.12.2008"},{"issue":"1","key":"155_CR3","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis A., Laprie J.-C., Randell B., Landwehr C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"155_CR4","doi-asserted-by":"crossref","unstructured":"Balogh, A., Varr\u00f3, D., Pataricza, A.: Model-based optimization of enterprise application and service deployment. In: ISAS, pp. 84\u201398, (2005)","DOI":"10.1007\/11560333_7"},{"issue":"5","key":"155_CR5","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1109\/TSE.2004.9","volume":"30","author":"S. Balsamo","year":"2004","unstructured":"Balsamo S., Marco A.D., Inverardi P., Simeoni M.: Model-based performance prediction in software development: a survey. IEEE Trans. Softw. Eng. 30(5), 295\u2013310 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"155_CR6","doi-asserted-by":"crossref","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. J. Softw. Syst. Model. (SOSYM) 5(2), 187\u2013200 (2005)","journal-title":"J. Softw. Syst. Model. (SOSYM)"},{"key":"155_CR7","unstructured":"Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable Petri Net models. In: Inverardi, P., Balsamo, S., Selic, B. (eds.) Proceedings of the Third International Workshop on Software and Performance, pp.35\u201345. ACM, Rome, Italy, (2002)"},{"key":"155_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines. A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger E., St\u00e4rk R.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Berlin (2003)"},{"key":"155_CR9","unstructured":"Caceres, P., Marcos, E., Vera, B.: A MDA-based approach for web information system development. In: Workshop in Software Model Engineering (WiSME@UML2003) (2003)"},{"key":"155_CR10","unstructured":"Canevet, C., Gilmore, S., Hillston, J., Kloul, L., Stevens, P.: Analysing UML 2.0 activity diagrams in the software performance engineering process. In: Dujmovic, J.J., et\u00a0al. (eds.) Proceedings of the Fourth International Workshop on Software and Performance, WOSP 2004, Redwood Shores, California, USA, January 14\u201316, 2004, pp. 74\u201378 (2004)"},{"key":"155_CR11","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Marco, A.D., Inverardi, P.: Software performance model-driven architecture. In: SAC \u201906: Proceedings of the 2006 ACM symposium on Applied computing, pp. 1218\u20131223. ACM Press, New York (2006)","DOI":"10.1145\/1141277.1141565"},{"key":"155_CR12","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1145\/1216993.1217008","volume-title":"WOSP","author":"A. D\u2019Ambrogio","year":"2007","unstructured":"D\u2019Ambrogio A., Bocciarelli P.: A model-driven approach to describe and predict the performance of composite services. In: Cortellessa, V., Uchitel, S., Yankelevich, D. (eds) WOSP, pp. 78\u201389. ACM, New York (2007)"},{"key":"155_CR13","unstructured":"Dujmovic, J.J., Almeida, V.A.F., Lea, D. (eds.): Proceedings of the Fourth International Workshop on Software and Performance, WOSP 2004, Redwood Shores, California, USA, January 14\u201316, 2004. ACM, New York (2004)"},{"volume-title":"Handbook on Graph Grammars and Computing by Graph Transformation, volume 2: Applications, Languages and Tools","year":"1999","key":"155_CR14","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds): Handbook on Graph Grammars and Computing by Graph Transformation, volume 2: Applications, Languages and Tools. World Scientific, Singapore (1999)"},{"key":"155_CR15","doi-asserted-by":"crossref","unstructured":"Ermagan, V., Kr\u00fcger, I.: A UML2 profile for service modeling. In: International Conference on Model Driven Engineering Languages and Systems. LNCS, vol. 4735, IEEE, pp. 360\u2013374. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-75209-7_25"},{"key":"155_CR16","unstructured":"Foster, H., G\u00f6czy, L., Koch, N., Mayer, P., Montangero, C., Varr\u00f3, D.: D1.4b: UML for Service-Oriented Systems. Specification, SENSORIA Project 016004 (2010)"},{"key":"155_CR17","unstructured":"G\u00f6nczy, L., \u00c1v\u00e9d, J., Varr\u00f3, D.: Model-based deployment of web services to standards-compliant middleware. In: Isaias, P., Nunes, M.B., Martinez, I. (eds.) Proceedings of WWW\/Internet 2006(ICWI2006). Iadis Press (2006)"},{"key":"155_CR18","doi-asserted-by":"crossref","unstructured":"G\u00f6nczy, L., D\u00e9ri, Z., Varr\u00f3, D.: Model-Based Performability Analysis of Service Configurations with Reliable Messaging. In: Koch, N., Vallecillo, A., Houben, G.-J. (eds.) Proceedings of the Model Driven Web Engineering (MDWE), CEUR, vol. 389 (2008)","DOI":"10.1007\/978-3-642-01648-6_17"},{"key":"155_CR19","doi-asserted-by":"crossref","unstructured":"Gr\u00f8 nmo, R., Skogan, D., Solheim, I., Oldevik, J.: Model-Driven Web Services Development. In: Proceedings of the IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE\u201904), pp. 42\u201345. IEEE, Los Alamitos, CA, USA (2004)","DOI":"10.1109\/EEE.2004.1287288"},{"key":"155_CR20","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\u201904), IEEE, pp. 47\u201357. IEEE (2004)"},{"key":"155_CR21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"155_CR22","unstructured":"Johnson, S.: UML 2.0 Profile for Software Services. Specification, IBM (2005) http:\/\/www.ibm.com\/developerworks\/rational\/library\/05\/419_soa , Last visited: 10.12.2008"},{"key":"155_CR23","doi-asserted-by":"crossref","unstructured":"Jonkers, H., Iacob, M.-E., Lankhorst, M.M., Strating, P.: Integration and Analysis of Functional and Non-Functional Aspects in Model-Driven E-Service Development. In: EDOC, pp. 229\u2013238 (2005)","DOI":"10.1109\/EDOC.2005.18"},{"key":"155_CR24","doi-asserted-by":"crossref","DOI":"10.1002\/9780470249260","volume-title":"Domain-Specific Modeling","author":"S. Kelly","year":"2008","unstructured":"Kelly S., Tolvanen J.-P.: Domain-Specific Modeling. Wiley- Interscience, IEEE Computer Society, USA (2008)"},{"key":"155_CR25","unstructured":"Li, P., Chen, Y., Romanovsky, A.: Measuring the Dependability of Web Services for Use in e-Science Experiments. In: Penkler, D., Reitenspie\u00df, M., Tam, F. (eds.) Service Availability, Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15\u201316, 2006, Revised Selected Papers. Lecture Notes in Computer Science, vol. 4328, pp. 193\u2013205. Springer, Berlin (2006)"},{"key":"155_CR26","doi-asserted-by":"crossref","unstructured":"Looker, N., Xu, J.: Dependability assessment of grid middleware. In: Proceedings of the 37th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25\u201328 June 2007, Edinburgh, UK, pp. 125\u2013130. IEEE Computer Society, USA (2007)","DOI":"10.1109\/DSN.2007.31"},{"key":"155_CR27","doi-asserted-by":"crossref","unstructured":"L\u00f3pez-Grao, J.P., Merseguer, J., Campos, J.: From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. In Dujmovic, J.J., et\u00a0al. (eds.) Proceedings of the Fourth International Workshop on Software and Performance, WOSP 2004, Redwood Shores, California, USA, January 14-16, 2004, pp. 25\u201336 (2004)","DOI":"10.1145\/974044.974048"},{"key":"155_CR28","unstructured":"Mantell, K.: From UML to BPEL. Specification, IBM. http:\/\/www.ibm.com\/developerworks\/webservices\/library\/ws-uml2bpel\/ (2005). Last visited: 10.12.2008"},{"key":"155_CR29","doi-asserted-by":"crossref","unstructured":"Mayer P., Schroeder A., Koch N.: A model-driven approach to service orchestration. In: SCC\u201908, IEEE, pp. 1\u20136. IEEE, USA (2008)","DOI":"10.1109\/SCC.2008.91"},{"key":"155_CR30","doi-asserted-by":"crossref","unstructured":"Mayer, P., Schroeder, A., Koch, N.: MDD4SOA: model-driven service orchestration. In: The 12th IEEE International EDOC Conference (EDOC 2008), pp. 203\u2013212. IEEE Computer Society, Munich, Germany (2008)","DOI":"10.1109\/EDOC.2008.55"},{"key":"155_CR31","doi-asserted-by":"crossref","unstructured":"Merseguer, J., Bernardi, S., Campos, J., Donatelli, S.: A compositional semantics for UML state machines aimed at performance evaluation. In: Silva, M., Giua, A., Colom, J. (eds.) Proceedings of the 6th International Workshop on Discrete Event Systems, pp. 295\u2013302. IEEE Computer Society Press, Zaragoza, Spain (2002)","DOI":"10.1109\/WODES.2002.1167702"},{"key":"155_CR32","unstructured":"Object Management Group: UML Profile for Schedulability, Performance and Time Specification. http:\/\/www.omg.org\/technology\/documents\/formal\/schedulability.htm (2005)"},{"key":"155_CR33","unstructured":"Object Management Group: UML for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms, v1.1. http:\/\/www.omg.org\/spec\/QFTP\/1.1\/ (2008)"},{"key":"155_CR34","unstructured":"Object Management Group (OMG). Unified Modeling Language: Superstructure, version 2.1.2. Specification, OMG. http:\/\/www.omg.org\/docs\/formal\/07-11-02.pdf (2007)"},{"key":"155_CR35","unstructured":"Object Management Group (OMG): UML Profile for MARTE, Beta 2. Specification, OMG. http:\/\/www.omgmarte.org\/Documents\/Specifications\/08-06-09.pdf (2008)"},{"key":"155_CR36","unstructured":"Object Management Group (OMG). Service Oriented Architecture Modeling Language (SoaML)\u2014Specification for the UML Profile and Metamodel for Services (UPMS), revised submission. Specification, OMG. http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/09-04-01 (2009). Last visited: 30.08.2009"},{"key":"155_CR37","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s10270-006-0026-8","volume":"6","author":"D. Petriu","year":"2007","unstructured":"Petriu D., Woodside C.: An intermediate metamodel with scenarios and resources for generating performance models from UML designs. Softw. Syst. Model. 6, 163\u2013184 (2007)","journal-title":"Softw. Syst. Model."},{"key":"155_CR38","doi-asserted-by":"crossref","unstructured":"R\u00f6ttger, S., Zschaler, S.: Model-driven development for non-functional properties: refinement through model transformation. In: Proceedings of the Unified Modeling Language (UML 2004). LNCS, vol. 3273, pp. 275\u2013289. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-30187-5_20"},{"key":"155_CR39","unstructured":"Software Engineering for Service-Oriented Overlay Computers. http:\/\/www.sensoria-ist.eu"},{"key":"155_CR40","doi-asserted-by":"crossref","unstructured":"Tribastone M., Gilmore, S.: Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. In: Proceedings of the Seventh International Workshop on Software and Performance (WOSP). ACM, Princeton, New Jersey, USA (2008)","DOI":"10.1145\/1383559.1383569"},{"key":"155_CR41","doi-asserted-by":"crossref","unstructured":"Vara, J.M., de Castro, V., Marcos, E.: WSDL automatic generation from UML models in a MDA framework. In: NWESP 2005, pp. 319. IEEE, USA (2005)","DOI":"10.1109\/NWESP.2005.87"},{"issue":"3","key":"155_CR42","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1016\/j.scico.2007.05.004","volume":"68","author":"D. Varr\u00f3","year":"2007","unstructured":"Varr\u00f3 D., Balogh A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3), 214\u2013234 (2007)","journal-title":"Sci. Comput. Program."},{"key":"155_CR43","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Pataricza, A.: Generic and meta-transformations for model transformation engineering. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S. (eds.) Proceedings of the UML 2004: 7th International Conference on the Unified Modeling Language. LNCS, vol. 3273, pp. 290\u2013304. Springer, Lisbon (2004)","DOI":"10.1007\/978-3-540-30187-5_21"},{"key":"155_CR44","doi-asserted-by":"crossref","unstructured":"Wada, H., Suzuki, J., Oba, K.: Modeling non-functional aspects in service oriented architecture. In: IEEE International Conference on Service Computing, Chicago, IL, pp. 222\u2013229. IEEE, USA (2006)","DOI":"10.1109\/SCC.2006.74"},{"key":"155_CR45","unstructured":"Web Services Security: SOAP Message Security 1.1 (WS-Security 2004). http:\/\/docs.oasis-open.org\/wss\/v1.1\/"},{"key":"155_CR46","doi-asserted-by":"crossref","unstructured":"Wirsing, M., H\u00f6lzl, M., Acciai, L., Clark, A., Banti, F. Fantechi, A., Gilmore, S., Gnesi, S., G\u00f6nczy, L., Koch, N., Lapadula, A., Mayer, P., Mazzanti, F., Pugliese, R., Schroeder, A., Tiezzi, F., Tribastone, M., Varr\u00f3, D.: A pattern-based approach to augmenting service engineering with formal analysis, transformation and dynamicity. In: Proceedings of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008), Porto Sani, Greece, LNCS. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-88479-8_13"},{"key":"155_CR47","doi-asserted-by":"crossref","unstructured":"Woodside, C.M., Petriu, D.C., Petriu, D.B., Shen, H., Israr, T., Meseguer, J.: Performance by unified model analysis (PUMA). In: WOSP, pp. 1\u201312. ACM, New York (2005)","DOI":"10.1145\/1071021.1071022"},{"key":"155_CR48","unstructured":"WS-Reliability 1.1 specification. http:\/\/docs.oasis-open.org\/wsrm\/ws-reliability\/v1.1\/wsrm-ws_reliability-1.1-spec-os.pdf"},{"key":"155_CR49","unstructured":"WS-ReliableMessaging 1.1 specification. http:\/\/docs.oasis-open.org\/ws-rx\/wsrm\/200702\/wsrm-1.1-spec-os-01.pdf"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0155-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-010-0155-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0155-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T01:42:34Z","timestamp":1739929354000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-010-0155-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,9]]},"references-count":49,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,7]]}},"alternative-id":["155"],"URL":"https:\/\/doi.org\/10.1007\/s10270-010-0155-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2010,3,9]]}}}