{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:27Z","timestamp":1750307547545,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,8,25]],"date-time":"2009-08-25T00:00:00Z","timestamp":1251158400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,8,25]]},"DOI":"10.1145\/1596473.1596485","type":"proceedings-article","created":{"date-parts":[[2009,8,25]],"date-time":"2009-08-25T18:02:08Z","timestamp":1251223328000},"page":"47-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["SOA monitoring based on a formal workflow model with constraints"],"prefix":"10.1145","author":[{"given":"Andreas","family":"Textor","sequence":"first","affiliation":[{"name":"Wiesbaden University of Applied Sciences, Wiesbaden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Schmid","sequence":"additional","affiliation":[{"name":"Wiesbaden University of Applied Sciences, Wiesbaden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Schaefer","sequence":"additional","affiliation":[{"name":"Wiesbaden University of Applied Sciences, Wiesbaden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhold","family":"Kroeger","sequence":"additional","affiliation":[{"name":"Wiesbaden University of Applied Sciences, Wiesbaden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,8,25]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"\"SNMP4J - The SNMP API for Java\" 2008. \"http:\/\/www.snmp4j.org\/\".  \"SNMP4J - The SNMP API for Java\" 2008. \"http:\/\/www.snmp4j.org\/\"."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176657"},{"key":"e_1_3_2_1_3_1","first-page":"76","volume-title":"Uml activity diagrams as a workflow specification language","author":"Dumas M.","unstructured":"Dumas , M. , and Hofstede , A. H. M. T. Uml activity diagrams as a workflow specification language . Springer Verlag , pp. 76 -- 90 . Dumas, M., and Hofstede, A. H. M. T. Uml activity diagrams as a workflow specification language. Springer Verlag, pp. 76--90."},{"key":"e_1_3_2_1_4_1","volume-title":"A formal semantics for uml activity diagrams - formalising workflow models. CTIT technical reports series, 01-04","author":"Eshuis D. H.","year":"2001","unstructured":"Eshuis , D. H. , and Wieringa , P. R . A formal semantics for uml activity diagrams - formalising workflow models. CTIT technical reports series, 01-04 ( 2001 ). Eshuis, D. H., and Wieringa, P. R. A formal semantics for uml activity diagrams - formalising workflow models. CTIT technical reports series, 01-04 (2001)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/648098.748390"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/647246.719600"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.3"},{"key":"e_1_3_2_1_8_1","volume-title":"Performance Analysis of J2EE Applications Using AOP Techniques","author":"Krishnamurthy R.","year":"2004","unstructured":"Krishnamurthy , R. Performance Analysis of J2EE Applications Using AOP Techniques , 2004 . http:\/\/www.onjava.com\/pub\/a\/onjava\/2004\/05\/12\/aop.html. Krishnamurthy, R. Performance Analysis of J2EE Applications Using AOP Techniques, 2004. http:\/\/www.onjava.com\/pub\/a\/onjava\/2004\/05\/12\/aop.html."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/779928.779969"},{"key":"e_1_3_2_1_10_1","unstructured":"Object Management Group. Business Process Modelling Notation (BPMN) Specification Version 1.1. http:\/\/www.omg.org\/spec\/BPMN\/1.1\/PDF\/.  Object Management Group. Business Process Modelling Notation (BPMN) Specification Version 1.1. http:\/\/www.omg.org\/spec\/BPMN\/1.1\/PDF\/."},{"key":"e_1_3_2_1_11_1","unstructured":"Object Management Group. MOF 2.0 \/ XMI Mapping Specification V2.1.1. http:\/\/www.omg.org\/technology\/documents\/formal\/xmi.htm.  Object Management Group. MOF 2.0 \/ XMI Mapping Specification V2.1.1. http:\/\/www.omg.org\/technology\/documents\/formal\/xmi.htm."},{"key":"e_1_3_2_1_12_1","volume-title":"UML Profile for Schedulability, Performance, and Time, version 1.1","author":"Object Management Group","year":"2005","unstructured":"Object Management Group . UML Profile for Schedulability, Performance, and Time, version 1.1 , 2005 . http:\/\/www.omg.org\/technology\/documents\/formal\/schedulability.htm. Object Management Group. UML Profile for Schedulability, Performance, and Time, version 1.1, 2005. http:\/\/www.omg.org\/technology\/documents\/formal\/schedulability.htm."},{"key":"e_1_3_2_1_13_1","volume-title":"Version 2.0","author":"Object Management Group","year":"2006","unstructured":"Object Management Group . Object Constraint Language Specification , Version 2.0 , 2006 . http:\/\/www.omg.org\/technology\/documents\/formal\/ocl.htm. Object Management Group. Object Constraint Language Specification, Version 2.0, 2006. http:\/\/www.omg.org\/technology\/documents\/formal\/ocl.htm."},{"key":"e_1_3_2_1_14_1","unstructured":"The Open Group. ARM 4.0 Java Language Binding Technical Standard 4.0 October 2003. http:\/\/www.opengroup.org\/arm\/uploads\/40\/3945\/C037.pdf.  The Open Group. ARM 4.0 Java Language Binding Technical Standard 4.0 October 2003. http:\/\/www.opengroup.org\/arm\/uploads\/40\/3945\/C037.pdf."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336553"},{"key":"e_1_3_2_1_16_1","volume-title":"Model-based instrumentation of distributed applications. Master's thesis","author":"Schaefer J.","year":"2008","unstructured":"Schaefer , J. Model-based instrumentation of distributed applications. Master's thesis , Cork Institute of Technology , Ireland, March 2008 . Schaefer, J. Model-based instrumentation of distributed applications. Master's thesis, Cork Institute of Technology, Ireland, March 2008."},{"key":"e_1_3_2_1_17_1","first-page":"210","volume-title":"DAIS 2008, Oslo, Norway, June 4-6, 2008, Proceedings (June","author":"Schaefer J.","year":"2008","unstructured":"Schaefer , J. , Stynes , J. , and Kroeger , R . Model-Based Performance Instrumentation of Distributed Applications. In Distributed Applications and Interoperable Systems: 8th IFIP WG 6.1 International Conference , DAIS 2008, Oslo, Norway, June 4-6, 2008, Proceedings (June 2008 ), R. Meier and S. Terzis, Eds., IFIP, Springer Verlag , pp. 210 -- 223 . Schaefer, J., Stynes, J., and Kroeger, R. Model-Based Performance Instrumentation of Distributed Applications. In Distributed Applications and Interoperable Systems: 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008, Proceedings (June 2008), R. Meier and S. Terzis, Eds., IFIP, Springer Verlag, pp. 210--223."},{"key":"e_1_3_2_1_18_1","first-page":"44","volume-title":"DAIS 2008","author":"Schmid M.","year":"2008","unstructured":"Schmid , M. , and Kroeger , R . Decentralised QoS-Management in Service Oriented Architectures. In Distributed Applications and Interoperable Systems: 8th IFIP WG 6.1 International Conference , DAIS 2008 , Oslo, Norway , June 4-6, 2008 (June 2008), R. Meier and S. Terzis, Eds., IFIP, Springer Verlag, pp. 44 -- 57 . Schmid, M., and Kroeger, R. Decentralised QoS-Management in Service Oriented Architectures. In Distributed Applications and Interoperable Systems: 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008 (June 2008), R. Meier and S. Terzis, Eds., IFIP, Springer Verlag, pp. 44--57."},{"key":"e_1_3_2_1_19_1","first-page":"299","volume-title":"Proceedings 14th GI\/ITG Conference Measurement, Modelling and Evaluation of Computer and Communication Systems (March","author":"Schmid M.","year":"2008","unstructured":"Schmid , M. , Stein , T. , Thoss , M. , and Kroeger , R . An Eclipse IDE Extension for Pattern-based Software Instrumentation . In Proceedings 14th GI\/ITG Conference Measurement, Modelling and Evaluation of Computer and Communication Systems (March 2008 ), F. Bause and P. Buchholz, Eds., VDE Verlag , pp. 299 -- 302 . Schmid, M., Stein, T., Thoss, M., and Kroeger, R. An Eclipse IDE Extension for Pattern-based Software Instrumentation. In Proceedings 14th GI\/ITG Conference Measurement, Modelling and Evaluation of Computer and Communication Systems (March 2008), F. Bause and P. Buchholz, Eds., VDE Verlag, pp. 299--302."},{"key":"e_1_3_2_1_20_1","volume-title":"Performance and Scalability of Distributed Software Architectures: An SPE Approach","author":"Smith C. U.","year":"2002","unstructured":"Smith , C. U. , and Williams , L. G . Performance and Scalability of Distributed Software Architectures: An SPE Approach , 2002 . Smith, C. U., and Williams, L. G. Performance and Scalability of Distributed Software Architectures: An SPE Approach, 2002."},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the OCLApps 2006 Workshop","author":"Takemura T.","year":"2006","unstructured":"Takemura , T. , and Tamai , T . Rigorous business process modeling with ocl . In Proceedings of the OCLApps 2006 Workshop ( 2006 ). Takemura, T., and Tamai, T. Rigorous business process modeling with ocl. In Proceedings of the OCLApps 2006 Workshop (2006)."},{"key":"e_1_3_2_1_22_1","volume-title":"Monitoring unternehmenskritischer Anwendungen unter Verwendung modellbasierter Performance Constraints. Bachelor Thesis","author":"Textor A.","year":"2008","unstructured":"Textor , A. Monitoring unternehmenskritischer Anwendungen unter Verwendung modellbasierter Performance Constraints. Bachelor Thesis , Wiesbaden University of Applied Sciences , Dept . DCSM, September 2008 . (in German). Textor, A. Monitoring unternehmenskritischer Anwendungen unter Verwendung modellbasierter Performance Constraints. Bachelor Thesis, Wiesbaden University of Applied Sciences, Dept. DCSM, September 2008. (in German)."},{"key":"e_1_3_2_1_23_1","volume-title":"Patent","author":"US","year":"2002","unstructured":"US 2002 \/0152455 A1. Dynamic instrumentation of an executable program . Patent , October 2002. US 2002\/0152455 A1. Dynamic instrumentation of an executable program. Patent, October 2002."},{"key":"e_1_3_2_1_24_1","volume-title":"IDE-gestuetzte Generierung von Quellcode zur Instrumentierung von Anwendungen. Diplomarbeit","author":"Weimer C.","year":"2005","unstructured":"Weimer , C. IDE-gestuetzte Generierung von Quellcode zur Instrumentierung von Anwendungen. Diplomarbeit , Wiesbaden University of Applied Sciences , Dept . DCSM, 2005 . (in German). Weimer, C. IDE-gestuetzte Generierung von Quellcode zur Instrumentierung von Anwendungen. Diplomarbeit, Wiesbaden University of Applied Sciences, Dept. DCSM, 2005. (in German)."},{"key":"e_1_3_2_1_25_1","volume-title":"Performance Management of Enterprise Critical Applications (PerManEntA)","author":"Wiesbaden University of Applied Sciences - Distributed Systems Lab.","year":"2008","unstructured":"Wiesbaden University of Applied Sciences - Distributed Systems Lab. Performance Management of Enterprise Critical Applications (PerManEntA) , 2008 . http:\/\/wwwvs.informatik.fh-wiesbaden.de\/projekte\/permanenta.html. Wiesbaden University of Applied Sciences - Distributed Systems Lab. Performance Management of Enterprise Critical Applications (PerManEntA), 2008. http:\/\/wwwvs.informatik.fh-wiesbaden.de\/projekte\/permanenta.html."},{"volume-title":"Patent","year":"2003","key":"e_1_3_2_1_26_1","unstructured":"WO 03\/062986 A1. Flexible and extensible java bytecode instrumentation system . Patent , July 2003 . WO 03\/062986 A1. Flexible and extensible java bytecode instrumentation system. Patent, July 2003."},{"key":"e_1_3_2_1_27_1","volume-title":"Ocl extended with temporal logic","author":"Ziemann P.","year":"2003","unstructured":"Ziemann , P. , and Gogolla , M . Ocl extended with temporal logic , 2003 . Ziemann, P., and Gogolla, M. Ocl extended with temporal logic, 2003."}],"event":{"name":"ESEC\/FSE09: Joint 12th European Software Engineering Conference","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Amsterdam The Netherlands","acronym":"ESEC\/FSE09"},"container-title":["Proceedings of the 1st international workshop on Quality of service-oriented software systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596473.1596485","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1596473.1596485","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:32Z","timestamp":1750249412000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596473.1596485"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,25]]},"references-count":27,"alternative-id":["10.1145\/1596473.1596485","10.1145\/1596473"],"URL":"https:\/\/doi.org\/10.1145\/1596473.1596485","relation":{},"subject":[],"published":{"date-parts":[[2009,8,25]]},"assertion":[{"value":"2009-08-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}