Skip to main content
SpringerLink
Log in

PWWM: A Personal Web Workflow Methodology

  • Chapter
The Personal Web

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 7855))

  • 679 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. 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. 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. 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. 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. Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-Directed Requirements Acquisition. Science of Computer Programming 20(1-2), 3–50 (1993)

    Article  MATH  Google Scholar 

  8. Mylopoulos, J., Chung, L., Liao, S., Wang, H., Yu, E.: Exploring Alternatives During Requirements Analysis. IEEE Software 18(1), 92–96 (2001)

    Article  Google Scholar 

  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. Liaskos, S., McIlraith, S., Sohrabi, S., Mylopoulos, J.: Representing and Reasoning about Preferences in Requirements Engineering. Requirements Eng. J. 16, 227–249 (2011)

    Article  Google Scholar 

  11. Sohrabi, S., Baier, J., McIlraith, S.: HTN Planning with Preferences. In: Proc. of IJCAI 2009, pp. 1790–1797 (2009)

    Google Scholar 

  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. Batini, C., Lenzerini, M., Navathe, S.: A Comparative Analysis of Methodologies for Database Schema Integration. ACM Computing Surveys 18(4), 323–364 (1986)

    Article  Google Scholar 

  14. Sabetzadeh, M., Easterbrook, S.: View Merging in the Presence of Incompleteness and Inconsistency. Requirements Eng. J. 11(3), 174–193 (2006)

    Article  Google Scholar 

  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. 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. OASIS: Universal Description Discovery and Integration Version 2.04, http://uddi.org/pubs/ProgrammersAPI_v2.htm (accessed August 2011)

  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. W3C: Web Services Description Language (WSDL), http://www.w3.org/TR/wsdl/ (accessed August 2011)

  20. ESSI WSML working group: Web Services Modeling Language (WSML), http://www.wsmo.org/wsml/ (accessed August 2011)

  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. 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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  25. Fellbaum, C. (ed.): WordNet: An Electronic Lexical Database (Language, Speech, and Communication). The MIT Press (1998)

    Google Scholar 

  26. van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley (2009)

    Google Scholar 

  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)

    Article  Google Scholar 

  28. Wiegers, K.: First Things First: Prioritizing Requirements. J. Soft. Development 7(9) (1999)

    Google Scholar 

  29. Karlsson, J., Ryan, K.: A Cost-Value Approach for Prioritizing Requirements. IEEE Software 14(5), 67–74 (1997)

    Article  Google Scholar 

  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. Saaty, R.W.: Decision Making with the Analytic Hierarchy Process. Int. J. of Services Sciences 1(1), 83–98 (2008)

    Article  Google Scholar 

  32. Bienvenu, M., Fritz, C., McIlraith, S.: Planning with Qualitative Temporal Preferences. In: Proc. of KR 2006 (June 2006)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Kroll, M., Strohmaier, M.: Analyzing Human Intentions in Natural Language Text. In: Proc. of K-CAP 2009, pp. 197–198 (2009)

    Google Scholar 

  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. Barr, M., Wells, C.: Category Theory for Computing Science, 3rd edn. Les Publications CRM Montréal, Montreal (1999)

    MATH  Google Scholar 

  39. Leica, M.: Scalability Concepts for i* Modeling and Analysis. Master’s thesis, University of Toronto (2005)

    Google Scholar 

  40. Bylander, T.: Complexity Results for Planning. In: Proc. of IJCAI 1991, pp. 274–279 (1991)

    Google Scholar 

  41. Barrett, A., Weld, D.S.: Characterizing Subgoal Interactions for Planning. In: Proc. of IJCAI 1993, pp. 1388–1393 (1993)

    Google Scholar 

  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. Williams, B.C., Nayak, P.P.: A Reactive Planner for a Model-Based Execution. In: Proc. of IJCAI 1997 (1997)

    Google Scholar 

  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. 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. Hallé, S., Villemaire, R.: Runtime Monitoring of Message-Based Workflows with Data. In: Proc. of ECOC 2008, pp. 63–72 (2008)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  49. Van Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: Proc. of RE 2001 (2001)

    Google Scholar 

  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. 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. Horkoff, J., Yu, E.: Analyzing Goal Models – Different Approaches and How to Choose Among Them. In: Proc. of SAC 2011 (2011)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  56. Wang, X., Lesperance, Y.: Agent-Oriented Requirements Engineering using ConGolog and i*. In: Proc. of AOIS 2001 (2001)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. 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. 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)

    Chapter  Google Scholar 

  62. Baresi, L., Pasquale, L.: Live Goals for Adaptive Service Compositions. In: Proc. of SEAMS 2010, pp. 114–123 (2010)

    Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  65. Pottinger, R., Bernstein, P.: Merging Models Based on Given Correspondences. In: Proc. of VLDB 2003, pp. 862–873 (2003)

    Google Scholar 

  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. Richards, D.: Merging Individual Conceptual Models of Requirements. Requirements Eng. J. 8(4), 195–205 (2003)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  69. Uchitel, S., Chechik, M.: Merging Partial Behavioural Models. In: Proc. of FSE 2004, pp. 43–52 (2004)

    Google Scholar 

  70. Nejati, S., Chechik, M.: Let’s Agree to Disagree. In: Proc. of ASE 2005, pp. 287–290 (2005)

    Google Scholar 

  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. 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)

    Article  Google Scholar 

  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. 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. Maiden, N., Sutcliffe, A.: Exploiting Reusable Specifications Through Analogy. Communications of the ACM 35(4), 55–64 (1992)

    Article  Google Scholar 

  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. Spanoudakis, G., Finkelstein, A.: Reconciling Requirements: A Method for Managing Interference, Inconsistency and Conflict. Annals of Software Engineering 3, 433–457 (1997)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. 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. 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. 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. Baresi, L., Ghezzi, C., Guinea, S.: Smart Monitors for Composed Services. In: Proc. of ICSOC 2004, pp. 193–202 (November 2004)

    Google Scholar 

  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. 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)

    Article  Google Scholar 

  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. 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 

Download references

Author information

Authors and Affiliations

  1. University of Toronto, Toronto, Canada

    Marsha Chechik & Rick Salay

  2. Universidad Técnica Federico Santa María, Valparaíso, Chile

    Jocelyn Simmonds

  3. York University, Toronto, Canada

    Sotirios Liaskos

  4. University of Luxembourg, Luxembourg

    Shiva Nejati & Mehrdad Sabetzadeh

Authors
  1. Marsha Chechik
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jocelyn Simmonds
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sotirios Liaskos
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Shiva Nejati
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Mehrdad Sabetzadeh
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Rick Salay
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of Mechanical and Industrial Engineering, Universtiy of Toronto, 5 King’s College Road, M5S 3G8, Toronto, Canada

    Mark Chignell

  2. School of Computing, Queen’s University, 25 Union Street, K7L 2N8, Kingston, ON, Canada

    James R. Cordy

  3. Department of Mechanical and Industrial Engineering, University of Toronto, 5 King’s College Road, M5S 3G8, Toronto, ON, Canada

    Ryan Kealey

  4. Centre for Advances Study (CAS), IBM Canada Software Laboratory, 8200 warden Avenue, L6G 1C7, Markham, ON, Canada

    Joanna Ng

  5. Department of Computer Science and Electrical Engineering, University of Maryland at Baltimore County, 1000 Hilltop Circle, Baltimore, MD, USA

    Yelena Yesha

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Chechik, M., Simmonds, J., Liaskos, S., Nejati, S., Sabetzadeh, M., Salay, R. (2013). PWWM: A Personal Web Workflow Methodology. In: Chignell, M., Cordy, J.R., Kealey, R., Ng, J., Yesha, Y. (eds) The Personal Web. Lecture Notes in Computer Science, vol 7855. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39995-4_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-39995-4_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-39994-7

  • Online ISBN: 978-3-642-39995-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation