{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:43:21Z","timestamp":1743047001574,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"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_6","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T10:53:38Z","timestamp":1315392818000},"page":"115-132","source":"Crossref","is-referenced-by-count":1,"title":["Model-Driven Development of Adaptable Service-Oriented Business Processes"],"prefix":"10.1007","author":[{"given":"Carlo","family":"Montangero","sequence":"first","affiliation":[]},{"given":"Stephan","family":"Reiff-Marganiec","sequence":"additional","affiliation":[]},{"given":"Laura","family":"Semini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"http:\/\/www.fico.com\/en\/Products\/DMTools\/Pages\/Fair-Isaac-Blaze-Advisor-System.aspx (last visited: March 2009)"},{"key":"6_CR2","unstructured":"http:\/\/www.ilog.com\/products\/businessrules\/index.cfm (last visited: March 2009)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/11914853_18","volume-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE","author":"M. Adams","year":"2006","unstructured":"Adams, M., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Worklets: A service-oriented implementation of dynamic flexibility in workflows. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol.\u00a04275, pp. 291\u2013308. Springer, Heidelberg (2006)"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1016\/j.is.2004.05.003","volume":"30","author":"M. Bajech","year":"2005","unstructured":"Bajech, M., Krisper, M.: A methodology and tool support for managing business rules in organizations. Information Systems\u00a030, 423\u2013443 (2005)","journal-title":"Information Systems"},{"key":"6_CR5","first-page":"59","volume-title":"Feature Interactions in Software and Communication System X","author":"M. Beek ter","year":"2009","unstructured":"ter Beek, M., Gnesi, S., Montangero, C., Semini, L.: Detecting policy conflicts by model checking UML state machines. In: Reiff-Marganiec, S., Nakamura, M. (eds.) Feature Interactions in Software and Communication System X, pp. 59\u201374. IOS Press, Amsterdam (2009)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-79707-4_11","volume-title":"Formal Methods for Industrial Critical Systems","author":"M.H. Beek ter","year":"2008","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: An Action\/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. In: Leue, S., Merino, P. (eds.) FMICS 2007. LNCS, vol.\u00a04916, pp. 133\u2013148. Springer, Heidelberg (2008)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-540-78743-3_13","volume-title":"Fundamental Approaches to Software Engineering","author":"L. Bocchi","year":"2008","unstructured":"Bocchi, L., Gorton, S., Reiff-Marganiec, S.: Engineering Service Oriented Applications: From StPowla Processes to SRML Models. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 163\u2013178. Springer, Heidelberg (2008)"},{"key":"6_CR8","first-page":"463","volume-title":"TASE 2007","author":"M.G. Buscemi","year":"2007","unstructured":"Buscemi, M.G., Ferrari, L., Moiso, C., Montanari, U.: Constraint-Based Policy Negotiation and Enforcement for Telco Services. In: TASE 2007, pp. 463\u2013472. IEEE Computer Society, Los Alamitos (2007)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-71316-6_3","volume-title":"Programming Languages and Systems","author":"M.G. Buscemi","year":"2007","unstructured":"Buscemi, M.G., Montanari, U.: Cc-pi: A constraint-based language for specifying service level agreements. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 18\u201332. Springer, Heidelberg (2007)"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/1035167.1035173","volume-title":"ICSOC","author":"A. Charfi","year":"2004","unstructured":"Charfi, A., Mezini, M.: Hybrid web service composition: business processes meet business rules. In: Aiello, M., Aoyama, M., Curbera, F., Papazoglou, M.P. (eds.) ICSOC, pp. 30\u201338. ACM, New York (2004)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Charfi, A., Mezini, M.: AO4BPEL: An Aspect-oriented Extension to BPEL. In: World Wide Web, pp. 309\u2013344 (2007)","DOI":"10.1007\/s11280-006-0016-3"},{"key":"6_CR12","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":"6_CR13","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1109\/LA-WEB.2006.26","volume-title":"Web Congress. LA-Web 2006. Fourth Latin American","author":"S. Gorton","year":"2006","unstructured":"Gorton, S., Reiff-Marganiec, S.: Policy support for business-oriented web service management. In: Web Congress. LA-Web 2006. Fourth Latin American, pp. 199\u2013202. IEEE Computer Society, Los Alamitos (2006)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/11841760_40","volume-title":"Business Process Management","author":"S. Gorton","year":"2006","unstructured":"Gorton, S., Reiff-Marganiec, S.: Towards a task-oriented, policy-driven business requirements specification for web services. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 465\u2013470. Springer, Heidelberg (2006)"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1109\/CSFW.2003.1212713","volume-title":"Proceedings of the Computer Security Foundations Workshop (CSFW 2003)","author":"J.Y. Halpern","year":"2003","unstructured":"Halpern, J.Y., Weissman, V.: Using first-order logic to reason about policies. In: Proceedings of the Computer Security Foundations Workshop (CSFW 2003), pp. 187\u2013201. IEEE Computer Society, Los Alamitos (2003)"},{"key":"6_CR16","unstructured":"IBM. BPEL4WS, Business Process Execution Language for Web Services, version 1.1 (2003)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Kamoun, F.: A roadmap towards the convergence of business process management and service oriented architecture. Ubiquity\u00a08(14) (2007)","DOI":"10.1145\/1241854.1247273"},{"key":"6_CR18","unstructured":"Koch, N., Mayer, P., Heckel, R., Gonczy, L., Montangero, C.: UML for service-oriented systems, SENSORIA EU-IST 016004 Deliverable D1.4.a. (2007), http:\/\/www.pst.ifi.lmu.de\/projekte\/Sensoria\/del_24\/D1.4.a.pdf"},{"key":"6_CR19","unstructured":"Mazzanti, F.: UMC User Guide v3.3. Technical Report 2006-TR-33, Istituto di Scienza e Tecnologie dell\u2019Informazione \u201cA. Faedo\u201d, CNR (2006)"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-75698-9_17","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"C. Montangero","year":"2007","unstructured":"Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic-based detection of conflicts in APPEL policies. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 257\u2013271. Springer, Heidelberg (2007)"},{"issue":"4","key":"6_CR21","first-page":"511","volume":"89","author":"C. Montangero","year":"2008","unstructured":"Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic-based conflict detection for distributed policies. Fundamenta Informaticae\u00a089(4), 511\u2013538 (2008)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR22","volume-title":"9th International Symposium on Temporal Representation and Reasoning (TIME 2002)","author":"C. Montangero","year":"2002","unstructured":"Montangero, C., Semini, L.: Distributed states logic. In: 9th International Symposium on Temporal Representation and Reasoning (TIME 2002), Manchester, UK. IEEE CS Press, Los Alamitos (2002)"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-24634-3_19","volume-title":"Coordination Models and Languages","author":"C. Montangero","year":"2004","unstructured":"Montangero, C., Semini, L., Semprini, S.: Logic Based Coordination for Event\u2013Driven Self\u2013Healing Distributed Systems. In: De Nicola, R., Ferrari, G., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 248\u2013262. Springer, Heidelberg (2004)"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.entcs.2008.03.092","volume":"207","author":"C. Montangero","year":"2008","unstructured":"Montangero, C., Semini, L.: Barbed model\u2013driven software development: A case study. Electron. Notes Theor. Comput. Sci.\u00a0207, 171\u2013186 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"6_CR25","unstructured":"Moser, S., van Lessen, T.: Developing, deploying and running a hello world BPEL process with the Eclipse BPEL designer and Apache ODE, http:\/\/people.apache.org\/~vanto\/helloworld-bpeldesignerandode.pdf"},{"key":"6_CR26","unstructured":"Mukhija, A., Rosenblum, D.S., Dingwall-Smith, A.: Dino: Dynamic and adaptive composition of autonomous services (2007), http:\/\/www.cs.ucl.ac.uk\/research\/dino\/"},{"issue":"2","key":"6_CR27","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/j.datak.2004.03.010","volume":"51","author":"R. M\u00fcller","year":"2004","unstructured":"M\u00fcller, R., Greiner, U., Rahm, E.: Agent work: a workflow system supporting rule-based workflow adaptation. Data Knowl. Eng.\u00a051(2), 223\u2013256 (2004)","journal-title":"Data Knowl. Eng."},{"key":"6_CR28","unstructured":"N\u00fa\u00f1ez, S.: ILOG JRules 6.5 brings rules to SOA. InfoWorld: Product Guide: ILOG JRules 2007: Review (2007)"},{"key":"6_CR29","unstructured":"Oasis Organization. Web services business process execution language version 2.0. - primer (2007)"},{"issue":"2","key":"6_CR30","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/A:1008604709862","volume":"10","author":"M. Reichert","year":"1998","unstructured":"Reichert, M., Dadam, P.: ADEPT flex -supporting dynamic changes of workflows without losing control. J. Intell. Inf. Syst.\u00a010(2), 93\u2013129 (1998)","journal-title":"J. Intell. Inf. Syst."},{"issue":"5","key":"6_CR31","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1016\/j.comnet.2004.03.004","volume":"45","author":"S. Reiff-Marganiec","year":"2004","unstructured":"Reiff-Marganiec, S., Turner, K.J.: Feature interaction in policies. Comput. Networks\u00a045(5), 569\u2013584 (2004)","journal-title":"Comput. Networks"},{"key":"6_CR32","unstructured":"Reiff-Marganiec, S., Turner, K.J., Blair, L.: Appel: The accent project policy environment\/language. Technical Report TR-161, University of Stirling (December 2005)"},{"key":"6_CR33","first-page":"32","volume-title":"FMSE 2003","author":"F. Siewe","year":"2003","unstructured":"Siewe, F., Cau, A., Zedan, H.: A compositional framework for access control policies enforcement. In: FMSE 2003, pp. 32\u201342. ACM Press, New York (2003)"},{"key":"6_CR34","unstructured":"Tai, S.: Composing web services specifications: Experiences in implementing policy-driven transactional processes. In: BTW. LNI, vol.\u00a065, pp. 547\u2013559. GI (2005)"},{"key":"6_CR35","unstructured":"Teubner, C.: The Forrester Wave: Human Centric BPM for Java Platforms, Q3 2007 (2007), http:\/\/www.forrester.com\/Research\/Document\/Excerpt\/-0,7211,38886,00.html"},{"issue":"6","key":"6_CR36","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1016\/j.csi.2005.05.004","volume":"28","author":"K.J. Turner","year":"2006","unstructured":"Turner, K.J., Reiff-Marganiec, S., Blair, L., Pang, J., Gray, T., Perry, P., Ireland, J.: Policy support for call control. Computer Standards and Interfaces\u00a028(6), 635\u2013649 (2006)","journal-title":"Computer Standards and Interfaces"},{"key":"6_CR37","unstructured":"UMC v3.5., http:\/\/fmt.isti.cnr.it\/umc"},{"issue":"4","key":"6_CR38","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1145\/1108906.1108908","volume":"8","author":"X. Zhang","year":"2005","unstructured":"Zhang, X., Parisi-Presicce, F., Sandhu, R., Park, J.: Formal model and policy specification of usage control. ACM Trans. Inf. Syst. Secur.\u00a08(4), 351\u2013387 (2005)","journal-title":"ACM Trans. Inf. Syst. Secur."}],"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_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T22:51:46Z","timestamp":1560552706000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20401-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642204005","9783642204012"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20401-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}