http://iet.metastore.ingenta.com
1887

Web services property sequence chart monitor: a tool chain for monitoring BPEL-based web service composition with scenario-based specifications

Web services property sequence chart monitor: a tool chain for monitoring BPEL-based web service composition with scenario-based specifications

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
IET Software — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

Web service composition is a new paradigm to develop distributed and reactive software-intensive systems. Owing to the autonomous nature of basic services, the validation of composite service must be extended from design-time to run-time. Here, the authors describe a novel tool chain called web services property sequence chart monitor to monitor temporal, timing and probabilistic properties in composite service based on scenario-based property specifications called property sequence chart, timed property sequence chart and probabilistic timed property sequence chart, respectively. The tool chain provides a completely graphical front-end that eliminates the need to deal with any particular textual and logical formalism. Furthermore, the framework and implementation detail of the tool chain are also presented. Finally, the feasibility and usability of the tool have been validated by the case studies and performance measurement.

References

    1. 1)
      • 1. WS-BPEL: ‘Web services business process execution language version 2.0, committee specification’ (OASIS, 2007).
    2. 2)
      • 2. Leucker, M., Schallhart, C.: ‘A brief account of runtime verification’, J. Log. Algebr. Program., 2009, 78, (5), pp. 293303 (doi: 10.1016/j.jlap.2008.08.004).
    3. 3)
      • 3. Delgado, N., Gates, A.Q., Roach, S.: ‘A taxonomy and catalog of runtime software-fault monitoring tools’, IEEE Trans. Softw. Eng, 2004, 30, (12), pp. 859872 (doi: 10.1109/TSE.2004.91).
    4. 4)
      • 4. Zhang, P., Li, W., Wan, D., Grunske, L.: ‘Monitoring of probabilistic timed property sequence charts’, Softw.: Pract. Experience, 2011, 41, (7), pp. 841866 (doi: 10.1002/spe.1038).
    5. 5)
      • 5. Holzmann, G.J.: ‘The logic of bugs’. Proc. Tenth ACM SIGSOFT Symp. on the Foundations of Software Engineering (FSE-02), Vol. 27, 6 of Software Engineering Notes, New York, 2002, pp. 8188.
    6. 6)
      • 6. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: ‘Property specification patterns for finite-state verification’. Proc. 21st Int. Conf. Software Engineering (ICSE99), 1999, pp. 411420.
    7. 7)
      • 7. ITU: ‘Message Sequence Chart (MSC): International Telecomm’ (Union, 1999).
    8. 8)
      • 8. OMG: ‘UML 2.1.1 superstructure’ (Object Management Group (OMG), 2006).
    9. 9)
      • 9. Damm, W., Harel, D.: ‘LSCs: breathing life into message sequence charts’, Formal Meth. Syst. Des., 2001, 19, (1), pp. 4580 (doi: 10.1023/A:1011227529550).
    10. 10)
      • 10. Autili, M., Inverardi, P., Pelliccione, P.: ‘Graphical scenarios for specifying temporal properties: an automated approach’, Autom. Softw. Eng., 2007, 14, (3), pp. 293340 (doi: 10.1007/s10515-007-0012-6).
    11. 11)
      • 11. Zhang, P., Li, B., Grunske, L.: ‘Timed property sequence chart’, J. Syst. Softw., 2010, 83, (3), pp. 371390 (doi: 10.1016/j.jss.2009.09.013).
    12. 12)
      • 12. Zhang, P., Grunske, L., Tang, A., Li, B.: ‘A formal syntax for probabilistic timed property sequence charts’. Proc. ASE, 2009, pp. 500504.
    13. 13)
      • 13. Konrad, S., Cheng, B.H.C.: ‘Real-time specification patterns’. 27th Int. Conf. Software Engineering (ICSE 05), 2005, pp. 372381.
    14. 14)
      • 14. Grunske, L.: ‘Specification patterns for probabilistic quality properties’. 30th Int. Conf. Software Engineering (ICSE 2008), Leipzig, Germany, 10–18 May 2008, pp. 3140.
    15. 15)
      • 15. Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: ‘Simple on-the-fly automatic verification of linear temporal logic’. PSTV, 1995, pp. 318.
    16. 16)
      • 16. Alur, R., Courcoubetis, C., Dill, D.: ‘Model-checking in dense real-time’, Inf. Comput., 1993, 104, (1), pp. 234 (doi: 10.1006/inco.1993.1024).
    17. 17)
      • 17. Alur, R., Dill, D.L.: ‘A theory of timed automata’, Theor. Comput. Sci., 1994, 126, (2), pp. 183235 (doi: 10.1016/0304-3975(94)90010-8).
    18. 18)
      • 18. Wald, A.: ‘Sequential tests of statistical hypotheses’, Ann Math. Stat., 1945, 16, (2), pp. 117186 (doi: 10.1214/aoms/1177731118).
    19. 19)
      • 19. Aho, A., Sethi, R., Ullman, J.: ‘Complilers: principles, techniques and tools’ (Addison-Wesley, 1986).
    20. 20)
      • 20. Kiczales, G., Lamping, J., Mendhekar, A., et al: ‘Aspect-oriented programming’. ECOOP, 1997, pp. 220242.
    21. 21)
      • 21. Bauer, A., Leucker, M., Schallhart, C.: ‘Monitoring of real-time properties’. FSTTCS 2006: 26th Int. Conf. Foundations of Software Technology and Theoretical Computer Science, 2006, pp. 260272.
    22. 22)
      • 22. Bauer, A., Leucker, M., Schallhart, C.: ‘Runtime verification for LTL and TLTL’, ACM Trans. Softw. Eng. Methodol., 2011, 20, (4), p. 14 (doi: 10.1145/2000799.2000800).
    23. 23)
      • 23. Zhang, P., Li, B., Muccini, H., Sun, M.: ‘An approach to monitor scenario-based temporal properties in web service compositions’. DeWeb08 in conjunction with APWeb08, Volume 4977 of LNCS, 2008, pp. 144154.
    24. 24)
      • 24. Zhang, P., Li, B., Sun, M.: ‘Extending PSC for monitoring the timed properties in composite services’. Proc. APSEC, 2008, pp. 335342.
    25. 25)
      • 25. Zhang, P., Su, Z., Zhu, Y., Li, W., Li, B.: ‘WS-PSC monitor: a tool chain for monitoring temporal and timing properties in composite service based on property sequence chart’. First Int. Conf. Runtime Verification (RV 2010), LNCS, 2010, pp. 485489.
    26. 26)
      • 26. Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P.: ‘A timed extension of WSCoL’. IEEE Int. Conf. Web Services, 2007, pp. 663670.
    27. 27)
      • 27. Calinescu, R., Grunske, L., Kwiatkowska, M.Z., Mirandola, R., Tamburrelli, G.: ‘Dynamic QoS management and optimization in service-based systems’, IEEE Trans. Softw. Eng., 2011, 37, (3), pp. 387409 (doi: 10.1109/TSE.2010.92).
    28. 28)
      • 28. Li, W., Wang, Z.: ‘Monitoring composite services with universal modal sequence diagrams’. APSEC, 2009, pp. 6976.
    29. 29)
      • 29. Simmonds, J., Gan, Y., Chechik, M., et al: ‘Runtime monitoring of web service conversations’, IEEE Trans. Serv. Comput., 2009, 2, (3), pp. 223244 (doi: 10.1109/TSC.2009.16).
    30. 30)
      • 30. Wang, Q., Shao, J., Deng, F., et al: ‘An online monitoring approach for web service requirements’, IEEE Trans. Serv. Comput., 2009, 2, (4), pp. 338351 (doi: 10.1109/TSC.2009.22).
    31. 31)
      • 31. Nagarajan, V., Gupta, R.: ‘Runtime monitoring on multicores via oases’, Oper. Syst. Rev., 2009, 43, (2), pp. 1524 (doi: 10.1145/1531793.1531798).
    32. 32)
      • 32. Yang, L., Yu, L., Tang, J., Wang, L., Zhao, J., Li, X.: ‘McC++ /Java: enabling multi-core based monitoring and fault tolerance in C++/Java’. ICECCS, 2010, pp. 255256.
    33. 33)
      • 33. Erradi, A., Maheshwari, P., Tosic, V.: ‘WS-policy based monitoring of composite web services’. ECOWS, 2007, pp. 99108.
    34. 34)
      • 34. Mahbub, K., Spanoudakis, G.: ‘Monitoring WS-agreements: an event calculus-based approach’, in Baresi, L., Nitto, E.D. (Eds.): ‘Test and analysis of web services’ (Springer, 2007), pp. 265306.
    35. 35)
      • 35. Raimondi, F., Skene, J., Emmerich, W.: ‘Efficient online monitoring of web-service SLAS’. SIGSOFT FSE, 2008, pp. 170180.
    36. 36)
      • 36. Simmonds, J., Chechik, M., Nejati, S., Litani, E., O'Farrell, B.: ‘Property patterns for runtime monitoring of web service conversations’. Runtime Verification RV'08, Volume 5289 of LNCS, 2008, pp. 137157.
    37. 37)
      • 37. Hallé, S., Villemaire, R.: ‘Runtime enforcement of web service message contracts with data’, IEEE Trans. Serv. Comput., 2012, 5, (2), pp. 192206 (doi: 10.1109/TSC.2011.10).
    38. 38)
      • 38. Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: ‘DECLARE: full support for loosely-structured processes’. 11th IEEE Int. Enterprise Distributed Object Computing Conf. (EDOC 2007), 15–19 October 2007, Annapolis, Maryland, USA, 2007, pp. 287300.
    39. 39)
      • 39. Ludwig, H., Dan, A., Kearney, R.: ‘Cremona: an architecture and library for creation and monitoring of WS-Agreements’. ICSOC, 2004, pp. 6574.
    40. 40)
      • 40. Curbera, F., Duftler, M.J., Khalaf, R., Nagy, W., Mukhi, N., Weerawarana, S.: ‘Colombo: Lightweight middleware for service-oriented computing’, IBM Syst. J., 2005, 44, (4), pp. 799820 (doi: 10.1147/sj.444.0799).
    41. 41)
      • 41. Autili, M., Pelliccione, P.: ‘Towards a graphical tool for refining user to system requirements’, Electr. Notes Theor. Comput. Sci., 2008, 211, pp. 147157 (doi: 10.1016/j.entcs.2008.04.037).
    42. 42)
      • 42. Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: ‘A Bayesian approach to model checking biological systems’. CMSB, 2009, pp. 218234.
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-sen.2012.0047
Loading

Related content

content/journals/10.1049/iet-sen.2012.0047
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address