{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:27:36Z","timestamp":1743139656396,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":89,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642399947"},{"type":"electronic","value":"9783642399954"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-39995-4_2","type":"book-chapter","created":{"date-parts":[[2013,7,14]],"date-time":"2013-07-14T21:44:49Z","timestamp":1373838289000},"page":"11-48","source":"Crossref","is-referenced-by-count":0,"title":["PWWM: A Personal Web Workflow Methodology"],"prefix":"10.1007","author":[{"given":"Marsha","family":"Chechik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jocelyn","family":"Simmonds","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sotirios","family":"Liaskos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehrdad","family":"Sabetzadeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rick","family":"Salay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Chechik, M., Simmonds, J., Ben-David, S., Nejati, S., Sabetzadeh, M., Salay, R.: Modeling and Analysis of Personal Web Applications: A Vision. In: Proc. of CASCON 2010 Personal Web Wkshp (2010)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Liaskos, S., Lapouchnian, A., Wang, Y., Yu, Y., Easterbrook, S.: Configuring Common Personal Software: a Requirements-Driven Approach. In: Proc. of RE 2005, pp. 9\u201318 (2005)","DOI":"10.1109\/RE.2005.19"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Liaskos, S., Lapouchnian, A., Yu, Y., Yu, E., Mylopoulos, J.: On Goal-based Variability Acquisition and Analysis. In: Proc. of RE 2006, pp. 76\u201385 (2006)","DOI":"10.1109\/RE.2006.45"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.: Matching and Merging of Statechart Specifications. In: Proc. of ICSE 2007, pp. 54\u201364 (2007)","DOI":"10.1109\/ICSE.2007.50"},{"key":"2_CR5","unstructured":"Sabetzadeh, M., Easterbrook, S.: Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach. In: Proc. of ASE 2003, pp. 12\u201321 (October 2003)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Simmonds, J., Ben-David, S., Chechik, M.: Guided Recovery for Web Service Applications. In: Proc. of FSE 2010, pp. 247\u2013256 (2010)","DOI":"10.1145\/1882291.1882328"},{"issue":"1-2","key":"2_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-Directed Requirements Acquisition. Science of Computer Programming\u00a020(1-2), 3\u201350 (1993)","journal-title":"Science of Computer Programming"},{"issue":"1","key":"2_CR8","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1109\/52.903174","volume":"18","author":"J. Mylopoulos","year":"2001","unstructured":"Mylopoulos, J., Chung, L., Liao, S., Wang, H., Yu, E.: Exploring Alternatives During Requirements Analysis. IEEE Software\u00a018(1), 92\u201396 (2001)","journal-title":"IEEE Software"},{"key":"2_CR9","unstructured":"Yu, E.: Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering. In: Proc. of RE 1997, pp. 226\u2013235 (1997)"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s00766-011-0129-9","volume":"16","author":"S. Liaskos","year":"2011","unstructured":"Liaskos, S., McIlraith, S., Sohrabi, S., Mylopoulos, J.: Representing and Reasoning about Preferences in Requirements Engineering. Requirements Eng. J.\u00a016, 227\u2013249 (2011)","journal-title":"Requirements Eng. J."},{"key":"2_CR11","unstructured":"Sohrabi, S., Baier, J., McIlraith, S.: HTN Planning with Preferences. In: Proc. of IJCAI 2009, pp. 1790\u20131797 (2009)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh, M.: A Manifesto for Model Merging. In: Proc. of GaMMa 2006, co-located with ICSE 2006 (2006)","DOI":"10.1145\/1138304.1138307"},{"issue":"4","key":"2_CR13","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/27633.27634","volume":"18","author":"C. Batini","year":"1986","unstructured":"Batini, C., Lenzerini, M., Navathe, S.: A Comparative Analysis of Methodologies for Database Schema Integration. ACM Computing Surveys\u00a018(4), 323\u2013364 (1986)","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"2_CR14","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/s00766-006-0032-y","volume":"11","author":"M. Sabetzadeh","year":"2006","unstructured":"Sabetzadeh, M., Easterbrook, S.: View Merging in the Presence of Incompleteness and Inconsistency. Requirements Eng. J.\u00a011(3), 174\u2013193 (2006)","journal-title":"Requirements Eng. J."},{"key":"2_CR15","unstructured":"OASIS: Web Services Business Process Execution Language Version 2.0, \n                  \n                    http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html\n                  \n                  \n                 (accessed August 2011)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Dwyer, M., Avrunin, G., Corbett, J.: Patterns in Property Specifications for Finite-State Verification. In: Proc. of ICSE 1999, pp. 411\u2013420 (May 1999)","DOI":"10.1145\/302405.302672"},{"key":"2_CR17","unstructured":"OASIS: Universal Description Discovery and Integration Version 2.04, \n                  \n                    http:\/\/uddi.org\/pubs\/ProgrammersAPI_v2.htm\n                  \n                  \n                 (accessed August 2011)"},{"key":"2_CR18","unstructured":"OASIS: Web Services Dynamic Discovery Version 1.1, \n                  \n                    http:\/\/docs.oasis-open.org\/ws-dd\/discovery\/1.1\/wsdd-discovery-1.1-spec.html\n                  \n                  \n                 (accessed August 2011)"},{"key":"2_CR19","unstructured":"W3C: Web Services Description Language (WSDL), \n                  \n                    http:\/\/www.w3.org\/TR\/wsdl\/\n                  \n                  \n                 (accessed August 2011)"},{"key":"2_CR20","unstructured":"ESSI WSML working group: Web Services Modeling Language (WSML), \n                  \n                    http:\/\/www.wsmo.org\/wsml\/\n                  \n                  \n                 (accessed August 2011)"},{"key":"2_CR21","unstructured":"Srivastava, B., Koehler, J.: Web Service Composition - Current Solutions and Open Problems. In: Proc. of ICAPS 2003, pp. 28\u201335 (2003)"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-30581-1_5","volume-title":"Semantic Web Services and Web Process Composition","author":"J. Rao","year":"2005","unstructured":"Rao, J., Su, X.: A Survey of Automated Web Service Composition Methods. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol.\u00a03387, pp. 43\u201354. Springer, Heidelberg (2005)"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Hoffmann, J., Bertoli, P., Helmert, M., Pistore, M.: Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection. J. Artif. Intell. Res. (JAIR)\u00a035, 49\u2013117 (2009)","DOI":"10.1613\/jair.2716"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1007\/978-3-642-17746-0_45","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"S. Sohrabi","year":"2010","unstructured":"Sohrabi, S., McIlraith, S.A.: Preference-Based Web Service Composition: A Middle Ground between Execution and Search. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol.\u00a06496, pp. 713\u2013729. Springer, Heidelberg (2010)"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Fellbaum, C. (ed.): WordNet: An Electronic Lexical Database (Language, Speech, and Communication). The MIT Press (1998)","DOI":"10.7551\/mitpress\/7287.001.0001"},{"key":"2_CR26","unstructured":"van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley (2009)"},{"issue":"1","key":"2_CR27","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s11334-011-0155-2","volume":"8","author":"M. Chechik","year":"2012","unstructured":"Chechik, M., Nejati, S., Sabetzadeh, M.: A Relationship-Based Approach to Model Integration. J. Innovations in Systems and Software Engineering\u00a08(1), 3\u201318 (2012)","journal-title":"J. Innovations in Systems and Software Engineering"},{"key":"2_CR28","unstructured":"Wiegers, K.: First Things First: Prioritizing Requirements. J. Soft. Development\u00a07(9) (1999)"},{"issue":"5","key":"2_CR29","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/52.605933","volume":"14","author":"J. Karlsson","year":"1997","unstructured":"Karlsson, J., Ryan, K.: A Cost-Value Approach for Prioritizing Requirements. IEEE Software\u00a014(5), 67\u201374 (1997)","journal-title":"IEEE Software"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Avesani, P., Bazzanella, C., Perini, A., Susi, A.: Facing Scalability Issues in Requirements Prioritization with Machine Learning Techniques. In: Proc. of RE 2005 (2005)","DOI":"10.1109\/RE.2005.30"},{"issue":"1","key":"2_CR31","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1504\/IJSSCI.2008.017590","volume":"1","author":"R.W. Saaty","year":"2008","unstructured":"Saaty, R.W.: Decision Making with the Analytic Hierarchy Process. Int. J. of Services Sciences\u00a01(1), 83\u201398 (2008)","journal-title":"Int. J. of Services Sciences"},{"key":"2_CR32","unstructured":"Bienvenu, M., Fritz, C., McIlraith, S.: Planning with Qualitative Temporal Preferences. In: Proc. of KR 2006 (June 2006)"},{"key":"2_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/11596141_21","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"L. Baresi","year":"2005","unstructured":"Baresi, L., Guinea, S.: Towards Dynamic Monitoring of WS-BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 269\u2013282. Springer, Heidelberg (2005)"},{"key":"2_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-642-16599-3_17","volume-title":"The Smart Internet","author":"J. Simmonds","year":"2010","unstructured":"Simmonds, J., Ben-David, S., Chechik, M.: Monitoring and Recovery of Web Service Applications. In: Chignell, M., Cordy, J., Ng, J., Yesha, Y. (eds.) The Smart Internet. LNCS, vol.\u00a06400, pp. 250\u2013288. Springer, Heidelberg (2010)"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Strohmaier, M., Prettenhofer, P., Kroll, M.: Explicit User Goals from Search Query Logs. In: Proc. Web Intelligence\/IAT Workshops 2008, pp. 602\u2013605 (2008)","DOI":"10.1109\/WIIAT.2008.364"},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Kroll, M., Strohmaier, M.: Analyzing Human Intentions in Natural Language Text. In: Proc. of K-CAP 2009, pp. 197\u2013198 (2009)","DOI":"10.1145\/1597735.1597780"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Finkelstein, A., Goedicke, M.: \u201cViewpoints\u201d. In: Laplante, P. (ed.) Encyclopedia of Software Engineering, pp. 1318\u20131329. Taylor & Francis (2010)","DOI":"10.1081\/E-ESE-120044198"},{"key":"2_CR38","volume-title":"Category Theory for Computing Science","author":"M. Barr","year":"1999","unstructured":"Barr, M., Wells, C.: Category Theory for Computing Science, 3rd edn. Les Publications CRM Montr\u00e9al, Montreal (1999)","edition":"3"},{"key":"2_CR39","unstructured":"Leica, M.: Scalability Concepts for i* Modeling and Analysis. Master\u2019s thesis, University of Toronto (2005)"},{"key":"2_CR40","unstructured":"Bylander, T.: Complexity Results for Planning. In: Proc. of IJCAI 1991, pp. 274\u2013279 (1991)"},{"key":"2_CR41","unstructured":"Barrett, A., Weld, D.S.: Characterizing Subgoal Interactions for Planning. In: Proc. of IJCAI 1993, pp. 1388\u20131393 (1993)"},{"key":"2_CR42","unstructured":"Marzal, E., Onaindia, E., Sebastia, L.: An Incremental Temporal Partial-Order Planner. In: Proc. of AIPS 2002 Wksp. on Planning for Temporal Domains, pp. 26\u201332 (2002)"},{"key":"2_CR43","unstructured":"Williams, B.C., Nayak, P.P.: A Reactive Planner for a Model-Based Execution. In: Proc. of IJCAI 1997 (1997)"},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"Giacomo, G., Lesp\u00e1rance, Y., Levesque, H., Sardina, S.: IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. In: Multi-Agent Programming, pp. 31\u201372. Springer (2009)","DOI":"10.1007\/978-0-387-89299-3_2"},{"key":"2_CR45","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Mostarda, L., Tivoli, M., Autili, M.: Synthesis of Correct and Distributed Adaptors for Component-Based Systems: an Automatic Approach. In: Proc. of ASE 2005, pp. 405\u2013409 (2005)","DOI":"10.1145\/1101908.1101981"},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime Monitoring of Message-Based Workflows with Data. In: Proc. of ECOC 2008, pp. 63\u201372 (2008)","DOI":"10.1109\/EDOC.2008.32"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"Choudhary, S.R., Orso, A.: Automated Client-Side Monitoring for Web Applications. In: Proc. of WEBTEST 2009, pp. 303\u2013306 (2009)","DOI":"10.1109\/ICSTW.2009.44"},{"key":"2_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"648","DOI":"10.1007\/978-3-642-02658-4_50","volume-title":"Computer Aided Verification","author":"S. Hall\u00e9","year":"2009","unstructured":"Hall\u00e9, S., Villemaire, R.: Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 648\u2013653. Springer, Heidelberg (2009)"},{"key":"2_CR49","unstructured":"Van Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: Proc. of RE 2001 (2001)"},{"key":"2_CR50","unstructured":"Hui, B., Liaskos, S., Mylopoulos, J.: Requirements Analysis for Customizable Software: A Goals-Skills-Preferences Framework. In: RE 2003, pp. 117\u2013126 (2003)"},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"Liaskos, S., McIlraith, S., Mylopoulos, J.: Integrating Preferences into Goal Models for Requirements Engineering. In: Proc. of RE 2010, pp. 135\u2013144 (2010)","DOI":"10.1109\/RE.2010.26"},{"key":"2_CR52","doi-asserted-by":"crossref","unstructured":"Horkoff, J., Yu, E.: Analyzing Goal Models \u2013 Different Approaches and How to Choose Among Them. In: Proc. of SAC 2011 (2011)","DOI":"10.1145\/1982185.1982334"},{"key":"2_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-540-25975-6_4","volume-title":"Advanced Information Systems Engineering","author":"R. Sebastiani","year":"2004","unstructured":"Sebastiani, R., Giorgini, P., Mylopoulos, J.: Simple and Minimum-cost Satisfiability for Goal Models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol.\u00a03084, pp. 20\u201335. Springer, Heidelberg (2004)"},{"issue":"2","key":"2_CR54","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/s00766-004-0191-7","volume":"9","author":"A. Fuxman","year":"2004","unstructured":"Fuxman, A., Liu, L., Mylopoulos, J., Pistore, M., Roveri, M., Traverso, P.: Specifying and Analyzing Early Requirements in Tropos. J. Requirements Eng.\u00a09(2), 132\u2013150 (2004)","journal-title":"J. Requirements Eng."},{"key":"2_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/3-540-47961-9_24","volume-title":"Advanced Information Systems Engineering","author":"G. Gans","year":"2002","unstructured":"Gans, G., Lakemeyer, G., Jarke, M., Vits, T.: SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol.\u00a02348, pp. 328\u2013343. Springer, Heidelberg (2002)"},{"key":"2_CR56","unstructured":"Wang, X., Lesperance, Y.: Agent-Oriented Requirements Engineering using ConGolog and i*. In: Proc. of AOIS 2001 (2001)"},{"key":"2_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11767138_4","volume-title":"Advanced Information Systems Engineering","author":"V. Bryl","year":"2006","unstructured":"Bryl, V., Massacci, F., Mylopoulos, J., Zannone, N.: Designing Security Requirements Models through Planning. In: Martinez, F.H., Pohl, K. (eds.) CAiSE 2006. LNCS, vol.\u00a04001, pp. 33\u201347. Springer, Heidelberg (2006)"},{"key":"2_CR58","doi-asserted-by":"crossref","unstructured":"Kaabi, R.S., Souveyet, C., Rolland, C.: Eliciting Service Composition in a Goal Driven Manner. In: Proc. of ICSOC 2004, pp. 308\u2013315 (2004)","DOI":"10.1145\/1035167.1035211"},{"key":"2_CR59","doi-asserted-by":"crossref","unstructured":"Rolland, C., Kaabi, R.S., Kraiem, N.: On ISOA: Intentional Services Oriented Architecture. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007. LNCS, vol.\u00a04495, pp. 158\u2013172. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-72988-4_12"},{"key":"2_CR60","unstructured":"Castro, C.B., Franch, X., Astudillo, H.: From i* Models to Service Oriented Architecture Models. In: Proc. of ACT4SOC 2010, pp. 52\u201363 (2010)"},{"key":"2_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-642-13094-6_10","volume-title":"Advanced Information Systems Engineering","author":"A.K. Chopra","year":"2010","unstructured":"Chopra, A.K., Dalpiaz, F., Giorgini, P., Mylopoulos, J.: Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol.\u00a06051, pp. 113\u2013128. Springer, Heidelberg (2010)"},{"key":"2_CR62","doi-asserted-by":"crossref","unstructured":"Baresi, L., Pasquale, L.: Live Goals for Adaptive Service Compositions. In: Proc. of SEAMS 2010, pp. 114\u2013123 (2010)","DOI":"10.1109\/ICWS.2010.60"},{"issue":"2","key":"2_CR63","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/BF01235904","volume":"1","author":"P. Darke","year":"1996","unstructured":"Darke, P., Shanks, G.: Stakeholder Viewpoints in Requirements Definition: a Framework for Understanding Viewpoint Development Approaches. Requirements Eng. J.\u00a01(2), 88\u2013105 (1996)","journal-title":"Requirements Eng. J."},{"issue":"1","key":"2_CR64","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1142\/S0218194092000038","volume":"2","author":"A. Finkelstein","year":"1992","unstructured":"Finkelstein, A., Kramer, J., Nuseibeh, B., Goedicke, M.: Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. J. Soft. Eng. and Knowl. Eng.\u00a02(1), 31\u201358 (1992)","journal-title":"J. Soft. Eng. and Knowl. Eng."},{"key":"2_CR65","doi-asserted-by":"crossref","unstructured":"Pottinger, R., Bernstein, P.: Merging Models Based on Given Correspondences. In: Proc. of VLDB 2003, pp. 862\u2013873 (2003)","DOI":"10.1016\/B978-012722442-8\/50081-1"},{"key":"2_CR66","doi-asserted-by":"crossref","unstructured":"Melnik, S., Rahm, E., Bernstein, P.: Rondo: a Programming Platform for Generic Model Management. In: Proc. of SIGMOD 2003, pp. 193\u2013204 (2003)","DOI":"10.1145\/872781.872782"},{"issue":"4","key":"2_CR67","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/s00766-002-0158-5","volume":"8","author":"D. Richards","year":"2003","unstructured":"Richards, D.: Merging Individual Conceptual Models of Requirements. Requirements Eng. J.\u00a08(4), 195\u2013205 (2003)","journal-title":"Requirements Eng. J."},{"key":"2_CR68","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-45221-8_2","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"M. Alanen","year":"2003","unstructured":"Alanen, M., Porres, I.: Difference and Union of Models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 2\u201317. Springer, Heidelberg (2003)"},{"key":"2_CR69","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Chechik, M.: Merging Partial Behavioural Models. In: Proc. of FSE 2004, pp. 43\u201352 (2004)","DOI":"10.1145\/1041685.1029904"},{"key":"2_CR70","doi-asserted-by":"crossref","unstructured":"Nejati, S., Chechik, M.: Let\u2019s Agree to Disagree. In: Proc. of ASE 2005, pp. 287\u2013290 (2005)","DOI":"10.1145\/1101908.1101952"},{"key":"2_CR71","doi-asserted-by":"crossref","unstructured":"Fischbein, D., D\u2019Ippolito, N., Brunet, G., Chechik, M., Uchitel, S.: Weak Alphabet Merging of Partial Behaviour Models. ACM Transactions on Software Engineering and Methodology 21(2) (March 2012)","DOI":"10.1145\/2089116.2089119"},{"issue":"4","key":"2_CR72","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1142\/S0218194097000266","volume":"7","author":"G. Engels","year":"1997","unstructured":"Engels, G., Heckel, R., Taenzter, G., Ehrig, H.: A Combined Reference Model- and View-Based Approach to System Specification. J. Soft. Eng. and Knowl. Eng.\u00a07(4), 457\u2013477 (1997)","journal-title":"J. Soft. Eng. and Knowl. Eng."},{"key":"2_CR73","doi-asserted-by":"crossref","unstructured":"Liu, N., Grundy, J.C., Hosking, J.G.: A Visual Language and Environment for Composing Web Services. In: Proc. of ASE 2000, pp. 321\u2013324 (2005)","DOI":"10.1145\/1101908.1101960"},{"key":"2_CR74","unstructured":"Kalfoglou, Y., Schorlemmer, M.: Ontology Mapping: The State of the Art. In: Semantic Interoperability and Integration. Number 04391 in Dagstuhl Seminars (2005)"},{"issue":"4","key":"2_CR75","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/129852.129857","volume":"35","author":"N. Maiden","year":"1992","unstructured":"Maiden, N., Sutcliffe, A.: Exploiting Reusable Specifications Through Analogy. Communications of the ACM\u00a035(4), 55\u201364 (1992)","journal-title":"Communications of the ACM"},{"key":"2_CR76","unstructured":"Ryan, K., Mathews, B.: Matching Conceptual Graphs as an Aid to Requirements Re-use. In: Proc. of RE 1993, pp. 112\u2013120 (1993)"},{"key":"2_CR77","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1023\/A:1018998207415","volume":"3","author":"G. Spanoudakis","year":"1997","unstructured":"Spanoudakis, G., Finkelstein, A.: Reconciling Requirements: A Method for Managing Interference, Inconsistency and Conflict. Annals of Software Engineering\u00a03, 433\u2013457 (1997)","journal-title":"Annals of Software Engineering"},{"key":"2_CR78","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/3-540-46428-X_13","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Egyed","year":"2000","unstructured":"Egyed, A., Medvidov\u00edc, N.: A Formal Approach to Heterogeneous Software Modeling. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol.\u00a01783, pp. 178\u2013192. Springer, Heidelberg (2000)"},{"key":"2_CR79","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-85758-7_12","volume-title":"Business Process Management","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N.: Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 132\u2013147. Springer, Heidelberg (2008)"},{"key":"2_CR80","doi-asserted-by":"crossref","unstructured":"Zisman, A., Spanoudakis, G., Dooley, J.: A Framework for Dynamic Service Discovery. In: Proc. of ASE 2008, pp. 158\u2013167 (2008)","DOI":"10.1109\/ASE.2008.26"},{"key":"2_CR81","doi-asserted-by":"crossref","unstructured":"Mahbub, K., Spanoudakis, G.: A Framework for Requirements Monitoring of Service Based Systems. In: Proc. of ICSOC 2004, pp. 84\u201393 (2004)","DOI":"10.1145\/1035167.1035181"},{"key":"2_CR82","doi-asserted-by":"crossref","unstructured":"Mahbub, K., Spanoudakis, G.: Run-time Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience. In: Proc. of ICWS 2005, pp. 257\u2013265 (July 2005)","DOI":"10.1109\/ICWS.2005.100"},{"key":"2_CR83","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Pesic, M.: Specifying and Monitoring Service Flows: Making Web Services Process-Aware. In: Baresi, L., Nitto, E.D. (eds.) Test and Analysis of Web Services, pp. 11\u201355. Springer (2007)","DOI":"10.1007\/978-3-540-72912-9_2"},{"key":"2_CR84","doi-asserted-by":"crossref","unstructured":"Lazovik, A., Aiello, M., Papazoglou, M.P.: Associating Assertions with Business Processes and Monitoring Their Execution. In: Proc. of ICSOC 2004, pp. 94\u2013104 (2004)","DOI":"10.1145\/1035167.1035182"},{"key":"2_CR85","doi-asserted-by":"crossref","unstructured":"Baresi, L., Ghezzi, C., Guinea, S.: Smart Monitors for Composed Services. In: Proc. of ICSOC 2004, pp. 193\u2013202 (November 2004)","DOI":"10.1145\/1035167.1035195"},{"key":"2_CR86","doi-asserted-by":"crossref","unstructured":"Pistore, M., Traverso, P.: Assumption-Based Composition and Monitoring of Web Services. In: Baresi, L., Nitto, E.D. (eds.) Test and Analysis of Web Services, pp. 307\u2013335. Springer (2007)","DOI":"10.1007\/978-3-540-72912-9_11"},{"issue":"3","key":"2_CR87","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1109\/TSC.2009.16","volume":"2","author":"J. Simmonds","year":"2009","unstructured":"Simmonds, J., Gan, Y., Chechik, M., Nejati, S., O\u2019Farrell, B., Litani, E., Waterhouse, J.: Runtime Monitoring of Web Service Conversations. IEEE Tran. on Service Computing\u00a02(3), 223\u2013244 (2009)","journal-title":"IEEE Tran. on Service Computing"},{"key":"2_CR88","doi-asserted-by":"crossref","unstructured":"Baresi, L., Guinea, S., Pasquale, L.: Self-Healing BPEL Processes with Dynamo and the JBoss Rule Engine. In: Proc. of ESSPE 2007, pp. 11\u201320 (2007)","DOI":"10.1145\/1294904.1294906"},{"key":"2_CR89","unstructured":"Fugini, M.G., Mussi, E.: Recovery of Faulty Web Applications through Service Discovery. In: Proc. of SMR-VLDB 2006, pp. 67\u201380 (2006)"}],"container-title":["Lecture Notes in Computer Science","The Personal Web"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39995-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T22:02:14Z","timestamp":1558303334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39995-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642399947","9783642399954"],"references-count":89,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39995-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}