The Personal Web pp 11-48

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7855) | Cite as

PWWM: A Personal Web Workflow Methodology

  • Marsha Chechik
  • Jocelyn Simmonds
  • Sotirios Liaskos
  • Shiva Nejati
  • Mehrdad Sabetzadeh
  • Rick Salay

Abstract

The personal web vision promises to give users a highly personalized experience on the web. This paper proposes and describes a Personal Web Workflow Methodology, designed to elicit, operationalize and execute a personal web user’s goals. Our approach relies heavily on our prior research in goal modeling and operationalization, model matching and merging, and web service monitoring and recovery. We integrate this research with the social networking concept of crowd-sourcing to create a novel methodology for allowing users to produce customized workflows in order to accomplish their unique goals.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)Google Scholar
  2. 2.
    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–18 (2005)Google Scholar
  3. 3.
    Liaskos, S., Lapouchnian, A., Yu, Y., Yu, E., Mylopoulos, J.: On Goal-based Variability Acquisition and Analysis. In: Proc. of RE 2006, pp. 76–85 (2006)Google Scholar
  4. 4.
    Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.: Matching and Merging of Statechart Specifications. In: Proc. of ICSE 2007, pp. 54–64 (2007)Google Scholar
  5. 5.
    Sabetzadeh, M., Easterbrook, S.: Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach. In: Proc. of ASE 2003, pp. 12–21 (October 2003)Google Scholar
  6. 6.
    Simmonds, J., Ben-David, S., Chechik, M.: Guided Recovery for Web Service Applications. In: Proc. of FSE 2010, pp. 247–256 (2010)Google Scholar
  7. 7.
    Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-Directed Requirements Acquisition. Science of Computer Programming 20(1-2), 3–50 (1993)CrossRefMATHGoogle Scholar
  8. 8.
    Mylopoulos, J., Chung, L., Liao, S., Wang, H., Yu, E.: Exploring Alternatives During Requirements Analysis. IEEE Software 18(1), 92–96 (2001)CrossRefGoogle Scholar
  9. 9.
    Yu, E.: Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering. In: Proc. of RE 1997, pp. 226–235 (1997)Google Scholar
  10. 10.
    Liaskos, S., McIlraith, S., Sohrabi, S., Mylopoulos, J.: Representing and Reasoning about Preferences in Requirements Engineering. Requirements Eng. J. 16, 227–249 (2011)CrossRefGoogle Scholar
  11. 11.
    Sohrabi, S., Baier, J., McIlraith, S.: HTN Planning with Preferences. In: Proc. of IJCAI 2009, pp. 1790–1797 (2009)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    Batini, C., Lenzerini, M., Navathe, S.: A Comparative Analysis of Methodologies for Database Schema Integration. ACM Computing Surveys 18(4), 323–364 (1986)CrossRefGoogle Scholar
  14. 14.
    Sabetzadeh, M., Easterbrook, S.: View Merging in the Presence of Incompleteness and Inconsistency. Requirements Eng. J. 11(3), 174–193 (2006)CrossRefGoogle Scholar
  15. 15.
    OASIS: Web Services Business Process Execution Language Version 2.0, http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html (accessed August 2011)
  16. 16.
    Dwyer, M., Avrunin, G., Corbett, J.: Patterns in Property Specifications for Finite-State Verification. In: Proc. of ICSE 1999, pp. 411–420 (May 1999)Google Scholar
  17. 17.
    OASIS: Universal Description Discovery and Integration Version 2.04, http://uddi.org/pubs/ProgrammersAPI_v2.htm (accessed August 2011)
  18. 18.
    OASIS: Web Services Dynamic Discovery Version 1.1, http://docs.oasis-open.org/ws-dd/discovery/1.1/wsdd-discovery-1.1-spec.html (accessed August 2011)
  19. 19.
    W3C: Web Services Description Language (WSDL), http://www.w3.org/TR/wsdl/ (accessed August 2011)
  20. 20.
    ESSI WSML working group: Web Services Modeling Language (WSML), http://www.wsmo.org/wsml/ (accessed August 2011)
  21. 21.
    Srivastava, B., Koehler, J.: Web Service Composition - Current Solutions and Open Problems. In: Proc. of ICAPS 2003, pp. 28–35 (2003)Google Scholar
  22. 22.
    Rao, J., Su, X.: A Survey of Automated Web Service Composition Methods. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 43–54. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  23. 23.
    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) 35, 49–117 (2009)Google Scholar
  24. 24.
    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. 6496, pp. 713–729. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  25. 25.
    Fellbaum, C. (ed.): WordNet: An Electronic Lexical Database (Language, Speech, and Communication). The MIT Press (1998)Google Scholar
  26. 26.
    van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley (2009)Google Scholar
  27. 27.
    Chechik, M., Nejati, S., Sabetzadeh, M.: A Relationship-Based Approach to Model Integration. J. Innovations in Systems and Software Engineering 8(1), 3–18 (2012)CrossRefGoogle Scholar
  28. 28.
    Wiegers, K.: First Things First: Prioritizing Requirements. J. Soft. Development 7(9) (1999)Google Scholar
  29. 29.
    Karlsson, J., Ryan, K.: A Cost-Value Approach for Prioritizing Requirements. IEEE Software 14(5), 67–74 (1997)CrossRefGoogle Scholar
  30. 30.
    Avesani, P., Bazzanella, C., Perini, A., Susi, A.: Facing Scalability Issues in Requirements Prioritization with Machine Learning Techniques. In: Proc. of RE 2005 (2005)Google Scholar
  31. 31.
    Saaty, R.W.: Decision Making with the Analytic Hierarchy Process. Int. J. of Services Sciences 1(1), 83–98 (2008)CrossRefGoogle Scholar
  32. 32.
    Bienvenu, M., Fritz, C., McIlraith, S.: Planning with Qualitative Temporal Preferences. In: Proc. of KR 2006 (June 2006)Google Scholar
  33. 33.
    Baresi, L., Guinea, S.: Towards Dynamic Monitoring of WS-BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 269–282. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  34. 34.
    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. 6400, pp. 250–288. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  35. 35.
    Strohmaier, M., Prettenhofer, P., Kroll, M.: Explicit User Goals from Search Query Logs. In: Proc. Web Intelligence/IAT Workshops 2008, pp. 602–605 (2008)Google Scholar
  36. 36.
    Kroll, M., Strohmaier, M.: Analyzing Human Intentions in Natural Language Text. In: Proc. of K-CAP 2009, pp. 197–198 (2009)Google Scholar
  37. 37.
    Sabetzadeh, M., Finkelstein, A., Goedicke, M.: “Viewpoints”. In: Laplante, P. (ed.) Encyclopedia of Software Engineering, pp. 1318–1329. Taylor & Francis (2010)Google Scholar
  38. 38.
    Barr, M., Wells, C.: Category Theory for Computing Science, 3rd edn. Les Publications CRM Montréal, Montreal (1999)MATHGoogle Scholar
  39. 39.
    Leica, M.: Scalability Concepts for i* Modeling and Analysis. Master’s thesis, University of Toronto (2005)Google Scholar
  40. 40.
    Bylander, T.: Complexity Results for Planning. In: Proc. of IJCAI 1991, pp. 274–279 (1991)Google Scholar
  41. 41.
    Barrett, A., Weld, D.S.: Characterizing Subgoal Interactions for Planning. In: Proc. of IJCAI 1993, pp. 1388–1393 (1993)Google Scholar
  42. 42.
    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–32 (2002)Google Scholar
  43. 43.
    Williams, B.C., Nayak, P.P.: A Reactive Planner for a Model-Based Execution. In: Proc. of IJCAI 1997 (1997)Google Scholar
  44. 44.
    Giacomo, G., Lespárance, Y., Levesque, H., Sardina, S.: IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. In: Multi-Agent Programming, pp. 31–72. Springer (2009)Google Scholar
  45. 45.
    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–409 (2005)Google Scholar
  46. 46.
    Hallé, S., Villemaire, R.: Runtime Monitoring of Message-Based Workflows with Data. In: Proc. of ECOC 2008, pp. 63–72 (2008)Google Scholar
  47. 47.
    Choudhary, S.R., Orso, A.: Automated Client-Side Monitoring for Web Applications. In: Proc. of WEBTEST 2009, pp. 303–306 (2009)Google Scholar
  48. 48.
    Hallé, S., Villemaire, R.: Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 648–653. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  49. 49.
    Van Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: Proc. of RE 2001 (2001)Google Scholar
  50. 50.
    Hui, B., Liaskos, S., Mylopoulos, J.: Requirements Analysis for Customizable Software: A Goals-Skills-Preferences Framework. In: RE 2003, pp. 117–126 (2003)Google Scholar
  51. 51.
    Liaskos, S., McIlraith, S., Mylopoulos, J.: Integrating Preferences into Goal Models for Requirements Engineering. In: Proc. of RE 2010, pp. 135–144 (2010)Google Scholar
  52. 52.
    Horkoff, J., Yu, E.: Analyzing Goal Models – Different Approaches and How to Choose Among Them. In: Proc. of SAC 2011 (2011)Google Scholar
  53. 53.
    Sebastiani, R., Giorgini, P., Mylopoulos, J.: Simple and Minimum-cost Satisfiability for Goal Models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 20–35. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  54. 54.
    Fuxman, A., Liu, L., Mylopoulos, J., Pistore, M., Roveri, M., Traverso, P.: Specifying and Analyzing Early Requirements in Tropos. J. Requirements Eng. 9(2), 132–150 (2004)CrossRefGoogle Scholar
  55. 55.
    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. 2348, pp. 328–343. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  56. 56.
    Wang, X., Lesperance, Y.: Agent-Oriented Requirements Engineering using ConGolog and i*. In: Proc. of AOIS 2001 (2001)Google Scholar
  57. 57.
    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. 4001, pp. 33–47. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  58. 58.
    Kaabi, R.S., Souveyet, C., Rolland, C.: Eliciting Service Composition in a Goal Driven Manner. In: Proc. of ICSOC 2004, pp. 308–315 (2004)Google Scholar
  59. 59.
    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. 4495, pp. 158–172. Springer, Heidelberg (2007)Google Scholar
  60. 60.
    Castro, C.B., Franch, X., Astudillo, H.: From i* Models to Service Oriented Architecture Models. In: Proc. of ACT4SOC 2010, pp. 52–63 (2010)Google Scholar
  61. 61.
    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. 6051, pp. 113–128. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  62. 62.
    Baresi, L., Pasquale, L.: Live Goals for Adaptive Service Compositions. In: Proc. of SEAMS 2010, pp. 114–123 (2010)Google Scholar
  63. 63.
    Darke, P., Shanks, G.: Stakeholder Viewpoints in Requirements Definition: a Framework for Understanding Viewpoint Development Approaches. Requirements Eng. J. 1(2), 88–105 (1996)CrossRefGoogle Scholar
  64. 64.
    Finkelstein, A., Kramer, J., Nuseibeh, B., Goedicke, M.: Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. J. Soft. Eng. and Knowl. Eng. 2(1), 31–58 (1992)CrossRefGoogle Scholar
  65. 65.
    Pottinger, R., Bernstein, P.: Merging Models Based on Given Correspondences. In: Proc. of VLDB 2003, pp. 862–873 (2003)Google Scholar
  66. 66.
    Melnik, S., Rahm, E., Bernstein, P.: Rondo: a Programming Platform for Generic Model Management. In: Proc. of SIGMOD 2003, pp. 193–204 (2003)Google Scholar
  67. 67.
    Richards, D.: Merging Individual Conceptual Models of Requirements. Requirements Eng. J. 8(4), 195–205 (2003)CrossRefGoogle Scholar
  68. 68.
    Alanen, M., Porres, I.: Difference and Union of Models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 2–17. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  69. 69.
    Uchitel, S., Chechik, M.: Merging Partial Behavioural Models. In: Proc. of FSE 2004, pp. 43–52 (2004)Google Scholar
  70. 70.
    Nejati, S., Chechik, M.: Let’s Agree to Disagree. In: Proc. of ASE 2005, pp. 287–290 (2005)Google Scholar
  71. 71.
    Fischbein, D., D’Ippolito, 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)Google Scholar
  72. 72.
    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. 7(4), 457–477 (1997)CrossRefGoogle Scholar
  73. 73.
    Liu, N., Grundy, J.C., Hosking, J.G.: A Visual Language and Environment for Composing Web Services. In: Proc. of ASE 2000, pp. 321–324 (2005)Google Scholar
  74. 74.
    Kalfoglou, Y., Schorlemmer, M.: Ontology Mapping: The State of the Art. In: Semantic Interoperability and Integration. Number 04391 in Dagstuhl Seminars (2005)Google Scholar
  75. 75.
    Maiden, N., Sutcliffe, A.: Exploiting Reusable Specifications Through Analogy. Communications of the ACM 35(4), 55–64 (1992)CrossRefGoogle Scholar
  76. 76.
    Ryan, K., Mathews, B.: Matching Conceptual Graphs as an Aid to Requirements Re-use. In: Proc. of RE 1993, pp. 112–120 (1993)Google Scholar
  77. 77.
    Spanoudakis, G., Finkelstein, A.: Reconciling Requirements: A Method for Managing Interference, Inconsistency and Conflict. Annals of Software Engineering 3, 433–457 (1997)CrossRefGoogle Scholar
  78. 78.
    Egyed, A., Medvidovíc, N.: A Formal Approach to Heterogeneous Software Modeling. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol. 1783, pp. 178–192. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  79. 79.
    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. 5240, pp. 132–147. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  80. 80.
    Zisman, A., Spanoudakis, G., Dooley, J.: A Framework for Dynamic Service Discovery. In: Proc. of ASE 2008, pp. 158–167 (2008)Google Scholar
  81. 81.
    Mahbub, K., Spanoudakis, G.: A Framework for Requirements Monitoring of Service Based Systems. In: Proc. of ICSOC 2004, pp. 84–93 (2004)Google Scholar
  82. 82.
    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–265 (July 2005)Google Scholar
  83. 83.
    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–55. Springer (2007)Google Scholar
  84. 84.
    Lazovik, A., Aiello, M., Papazoglou, M.P.: Associating Assertions with Business Processes and Monitoring Their Execution. In: Proc. of ICSOC 2004, pp. 94–104 (2004)Google Scholar
  85. 85.
    Baresi, L., Ghezzi, C., Guinea, S.: Smart Monitors for Composed Services. In: Proc. of ICSOC 2004, pp. 193–202 (November 2004)Google Scholar
  86. 86.
    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–335. Springer (2007)Google Scholar
  87. 87.
    Simmonds, J., Gan, Y., Chechik, M., Nejati, S., O’Farrell, B., Litani, E., Waterhouse, J.: Runtime Monitoring of Web Service Conversations. IEEE Tran. on Service Computing 2(3), 223–244 (2009)CrossRefGoogle Scholar
  88. 88.
    Baresi, L., Guinea, S., Pasquale, L.: Self-Healing BPEL Processes with Dynamo and the JBoss Rule Engine. In: Proc. of ESSPE 2007, pp. 11–20 (2007)Google Scholar
  89. 89.
    Fugini, M.G., Mussi, E.: Recovery of Faulty Web Applications through Service Discovery. In: Proc. of SMR-VLDB 2006, pp. 67–80 (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Marsha Chechik
    • 1
  • Jocelyn Simmonds
    • 2
  • Sotirios Liaskos
    • 3
  • Shiva Nejati
    • 4
  • Mehrdad Sabetzadeh
    • 4
  • Rick Salay
    • 1
  1. 1.University of TorontoTorontoCanada
  2. 2.Universidad Técnica Federico Santa MaríaValparaísoChile
  3. 3.York UniversityTorontoCanada
  4. 4.University of LuxembourgLuxembourg

Personalised recommendations