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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Vincenzo, A., Reidar, C., Alfonso, F.: Assessing process-centered software engineering environments. ACM Trans. Softw. Eng. Methodol. 6(3), 283–328 (1997)
Bernardo, M.: Theory and Application of Extended Markovian Process Algbra.[Ph.D] Dottorato di Ricerca in Informatica, University di Bologna, Padova, Venezia (1999)
Canal, C., Pimentel, E., Troya, J.M.: Compatibility and inheritance in software archi-tectures. Science of Computer Programming 41, 105–138 (2001)
Wehrheim, H.: Relating State-based and Behaviour-oriented Subtyping. Nordic Journal of Computing 9(4), 405–435 (2002)
Schrefl, M., Stumptner, M.: Behavior-Consistent Specialization of Object Life Cycles. ACM Transaction on Software Engineering and Methodology 11(1), 92–148 (2002)
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)
Wehrheim, H.: Checking Behavioural Subtypes via Refinement. In: FMOODS 2002: Formal methods for Open Object-Based Distributed Systems, pp. 79–93. Kluwer, Dordrecht (2002)
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)
Canal, C., Pimentel, E., Troya, J.: Specification and refinement for dynamic software architectures. In: Software Architecture, pp. 107–126. Kluwer Academic Publisher, Netherlands (1999)
Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transaction on Software Engineering and Methodology 16(3), 213–249 (1997)
Seabastian, S., Terry, R.P., Nicholas, R.J.: Flexible provisioning of Web service workflows. ACM Transaction on Internet Technology 9(1), 201–245 (2009)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)