Skip to main content
SpringerLink
Log in

Formal Verification of Stochastic Timing Behavior in Web-Based Business Process Collaboration

  • Conference paper
Web-Age Information Management (WAIM 2010)

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

Included in the following conference series:

  • 1365 Accesses

Abstract

Web services-based systems have gained the attention of researchers, which enable business process system to automatically discovery and invocation suitable Web services at run time. In this paper, for stochastic- timing software business process collaboration based on Web services, we take into account the problem of verifying the behavioral compatibility in the cross-organizational system. We use the extended markovian process algebra to model the behavior of the business processes, and address the issue of formally verification of whether the behavior of system design can meet the requirements of behavioral compatibility from the aspect of stochastic timing. Based on analyzing the bisimulation relation of the parallelism of business processes, we present a several theorems for check the behavioral compatibility in the collaboration system.

This paper is supported by National Natural Science Foundation of China granted by Nos. 60873022 and Nos. 60903053, the open fund provided by State Key Laboratory for Novel Software Technology of Nanjing University, and the Natural Science Foundation of Zhejiang Province of China under Grant No.Y1080148.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
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. Vincenzo, A., Reidar, C., Alfonso, F.: Assessing process-centered software engineering environments. ACM Trans. Softw. Eng. Methodol. 6(3), 283–328 (1997)

    Article  Google Scholar 

  2. Bernardo, M.: Theory and Application of Extended Markovian Process Algbra.[Ph.D] Dottorato di Ricerca in Informatica, University di Bologna, Padova, Venezia (1999)

    Google Scholar 

  3. Canal, C., Pimentel, E., Troya, J.M.: Compatibility and inheritance in software archi-tectures. Science of Computer Programming 41, 105–138 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  4. Wehrheim, H.: Relating State-based and Behaviour-oriented Subtyping. Nordic Journal of Computing 9(4), 405–435 (2002)

    MathSciNet  MATH  Google Scholar 

  5. Schrefl, M., Stumptner, M.: Behavior-Consistent Specialization of Object Life Cycles. ACM Transaction on Software Engineering and Methodology 11(1), 92–148 (2002)

    Article  Google Scholar 

  6. Van Der Aalst, W.M.P., Toorn, R.A.: Component-based software architectures: a framework based on inheritance of behavior. Science of Computer Programming 42, 129–171 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  7. Wehrheim, H.: Checking Behavioural Subtypes via Refinement. In: FMOODS 2002: Formal methods for Open Object-Based Distributed Systems, pp. 79–93. Kluwer, Dordrecht (2002)

    Google Scholar 

  8. Bernardo, M., Ciancarini, P., Donatiello, L.: Architecting families of software systems with process algebras. ACM Transaction on Software Engineering and Methodology 11(4), 386–426 (2002)

    Article  Google Scholar 

  9. Canal, C., Pimentel, E., Troya, J.: Specification and refinement for dynamic software architectures. In: Software Architecture, pp. 107–126. Kluwer Academic Publisher, Netherlands (1999)

    Chapter  Google Scholar 

  10. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transaction on Software Engineering and Methodology 16(3), 213–249 (1997)

    Article  Google Scholar 

  11. Seabastian, S., Terry, R.P., Nicholas, R.J.: Flexible provisioning of Web service workflows. ACM Transaction on Internet Technology 9(1), 201–245 (2009)

    Google Scholar 

  12. Hu, H., Lu, J., Ma, X., Tao, X.: Research on Behavioral Compatibility of Components in Software Architecture Using Object-Oriented Paradigm. Journal of Software 17(6), 1276–1286 (2006)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. College of Computer Science, Hangzhou Dianzi University, Hangzhou, China, 310018

    Haiyang Hu & Jianen Xie

  2. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China, 210089

    Haiyang Hu & JiDong Ge

  3. College of Computer Science and Information Engineering, Zhejiang Gongshang University, Zhejiang, China, 310018

    Haiyang Hu

Authors
  1. Haiyang Hu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jianen Xie
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. JiDong Ge
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, QLD, Australia

    Heng Tao Shen

  2. School of Computing Science, Simon Fraser University, 8888 University Drive, V5A 1S6, Burnaby, BC, Canada

    Jian Pei

  3. David R. Cheriton School of Computer Science, University of Waterloo, Canada

    M. Tamer Özsu

  4. Peking University, China

    Lei Zou

  5. Renmin University of China, China

    Jiaheng Lu

  6. National University of Singapore, Singapore

    Tok-Wang Ling

  7. Northeastern University, 110004, Shenyang, China

    Ge Yu

  8. College of Computer Science, Zhejiang University, 310027, Hangzhou, P.R. China

    Yi Zhuang

  9. University of Melbourne, Australia

    Jie Shao

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hu, H., Xie, J., Ge, J. (2010). Formal Verification of Stochastic Timing Behavior in Web-Based Business Process Collaboration. In: Shen, H.T., et al. Web-Age Information Management. WAIM 2010. Lecture Notes in Computer Science, vol 6185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16720-1_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16720-1_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16719-5

  • Online ISBN: 978-3-642-16720-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation