Abstract
We present, in this paper, the Time Recursive ECATNets (T-RECATNets) formalism for the modelling and analysis of time-constrained reconfigurable workflows, which are preponderant in the field of Web services. In a second step, we propose a method for building a specific state class graph in terms of rewrite logic. Therefore, one can verify some properties with respect to time constraints using model checking techniques.
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
Van der Aalst, W.M.P., Adams, M., ter Hofstede, A.H.M., Pesic, M., Schonenberg, H.: Flexibility as a Service. BPM Center Report BPM-08-09. BPMcenter.org. (2008)
Van der Aalst, W.M.P., Van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)
Alur, R., Henzinger, T.A.: Real-Time Logics: Complexity and Expressiveness. Inf. Comput. 104, 35–77 (1993)
Barkaoui, K., Hicheur, A.: Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets. In: Benatallah, B., ter Hofstede, A., Paik, H. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 206–217. Springer, Heidelberg (2008)
Berthomieu, B., Diaz, M.: Modeling and Verification of Time Dependent Systems using Time Petri Nets. IEEE Transactions on Software Engineering 17(3), 259–273 (1991)
Bettaz, M., Maouche, M.: How to Specify Non Determinism and True Concurrency with Algebraic Terms Nets. In: Bidoit, M., Choppy, C. (eds.) Abstract Data Types 1991 and COMPASS 1991. LNCS, vol. 655, pp. 164–180. Springer, Heidelberg (1993)
Boucheneb, H., Rakkay, H.: A More Efficient Time Petri net State Space Abstraction Preserving Linear Properties. In: Proc. of the seventh International Conference on Application of Concurrency to System Design, pp. 61–70. IEEE Computer Society, Los Alamitos (2007)
Boucheneb, H., Barkaoui, K.: Relevant Timed Schedules / Clock Valuation for Constructing Time Petri Net Reachability Graphs. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol. 5215, pp. 265–279. Springer, Heidelberg (2008)
Bowden, F.D.J.: A Brief Survey and Synthesis of the Roles of Time in Petri Nets. In: Mathematical and Computer Modelling, pp. 55–68 (2000)
Bruni, R., Meseguer, J.: Semantic foundations for generalized rewrite theories. J. Theor. Comput. Sci. 360(1-3), 386–414 (2006)
Casati, F.: A discussion on approaches to handling exceptions in workflows. In: 1998 Conference on Computer-Supported Cooperative Work, Seattle (1998)
Clavel, M., Duran, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Talcott, J.: Maude Manual (Version 2.3). SRI International and University of Illinois at Urbana-Champaign (2007), http://maude.cs.uiuc.edu
Haddad, S., Poitrenaud, D.: Recursive Petri nets: Theory and Application to Discrete Event Systems. Acta Informatica 40(7-8), 463–508 (2007)
Halliday, J.J., Shrivastava, S.K., Wheater, S.M.: Flexible Workflow Management in the OPENflow System. In: 4th IEEE Int. Enterprise Distributed Object Comp. Conf., pp. 82–92. IEEE Computer Society, Los Alamitos (2001)
van Hee, K., Lomazova, I.A., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Nested Nets for Adaptive Systems. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 241–260. Springer, Heidelberg (2006)
Sadiq, W., Sadiq, S., Schulz, K.: Model Driven Distribution of Collaborative Business Processes. In: IEEE International Conference on Services Computing, pp. 281–284. IEEE Computer Society, Los Alamitos (2006)
Lomazova, I.A.: Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets. J. Fundam. Inform. 51(1-2), 121–133 (2002)
Tiplea, F.L., Macovei, G.I.: Timed workflow nets. In: Proc. of IEEE International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp. 361–366 (2005)
Valk, R.: Object Petri Nets-Using the Nets-within-Nets Paradigm. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 819–848. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Barkaoui, K., Boucheneb, H., Hicheur, A. (2009). Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. In: Bruni, R., Wolf, K. (eds) Web Services and Formal Methods. WS-FM 2008. Lecture Notes in Computer Science, vol 5387. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01364-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-01364-5_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01363-8
Online ISBN: 978-3-642-01364-5
eBook Packages: Computer ScienceComputer Science (R0)