Home| Contact Us| New Journals| Browse Journals| Journal Prices| For Authors|

Print ISSN: 0976-898X
Online ISSN:
0976-8998


  About JNT
  DLINE Portal Home
Home
Aims & Scope
Editorial Board
Current Issue
Next Issue
Previous Issue
Sample Issue
Upcoming Conferences
Self-archiving policy
Alert Services
Be a Reviewer
Publisher
Paper Submission
Subscription
Contact us
 
  How To Order
  Order Online
Price Information
Request for Complimentary
Print Copy
 
  For Authors
  Guidelines for Contributors
Online Submission
Call for Papers
Author Rights
 
 
RELATED JOURNALS
Journal of Digital Information Management (JDIM)
International Journal of Computational Linguistics Research (IJCL)
International Journal of Web Application (IJWA)

 

 
Journal of Networking Technology
 

Towards Checking Dynamic Controllability of Processes with Temporal Loops
Marco Franceschetti, Johann Eder
Department of Informatics-Systems Alpen-Adria Universitnat Klagenfurt Austria
Abstract: We propose a technique for checking the dynamic controllability of processes with temporally constrained loops. The temporal control structures t-split and t-loop are adequate concepts for modelling the behaviour of processes dependent on the speed of execution of a process instance. While the run-time semantics of these constructs is straightforward, the assessment of the temporal properties of processes with temporal control structures is complex. Here we propose a procedure for checking the dynamic controllability of processes with temporal loops by mapping them to processes without t-loops, which then can be mapped to CSTNUDs, simple temporal networks with uncertainty and decisions. For CSTNUDs procedures for checking dynamic controllability are available.
Keywords: Temporal Loops, Temporal Control Structures, Modelling Process Towards Checking Dynamic Controllability of Processes with Temporal Loops
DOI:10.6025/jnt/2019/10/4/156-166
Full_Text   PDF 755 KB   Download:   334  times
References:

[1] Bettini, C., Wang, X., and Jajodia, S. (2002). Temporal reasoning in workflow systems. Distributed and Parallel Databases,
11 (3) 269–306, 2002.
[2] Breu, R., Dustdar, S., et al. (2013). Towards living inter-organizational processes. In: 2013 IEEE 15th Conference on Business
Informatics, p. 363–366. IEEE, 2013.
[3] Cardoso, J., Sheth, A., Miller, J. (2003). Workflow quality of service. In Enterprise Inter-and Intra-Organizational Integration,
p. 303–311. Springer, 2003.
[4] Cardoso, J., Sheth, A., Miller, J., Arnold, J., Kochut, K. (2004). Quality of service for workflows and web service processes.
Journal of Web Semantics, 1 (3) 281–308, 2004.
[5] Cheikhrouhou, S,. Kallel, S., Guermouche, N., Jmaiel. M. (2015). The temporal perspective in business process modeling: a
survey and research challenges. Service Oriented Computing and Applications, 9 (1) 75–85, 2015.
[6] Combi, C., Hunsberger, L., Posenato, R. (2014). An algorithm for checking the dynamic controllability of a conditional simple
temporal network with uncertainty - revisited. In Agents and Artificial Intelligence, p. 314–331. Springer Berlin Heidelberg, 2014.
[7] Combi, C., Posenato, R. (2009). Controllability in temporal conceptual workflow schemata. In: Business Process Management,
p. 64–79. Springer, 2009.
[8] Eder, J., Franceschetti, M., opke, J. K. (2018). Controllability of orchestrations with temporal SLA: Encoding temporal XOR in
CSTNUD. In Int. Conf. on Information Integration and Web-based Applications & Services, p. 234–242. ACM, 2018.
[9] Eder, J., Gruber, W., and Panagos. E. (2000). Temporal modeling of workflows with conditional execution paths. In Database
and Expert Systems Applications, p. 243–253. Springer, 2000.
[10] Eder, J., Gruber, W., Pichler. H. (2006). Transforming workflow graphs. In: Interoper ability of Enterprise Software and
Applica tions, p. 203–214. Springer, 2006.
[11] Eder, J., Panagos, E., Rabinovich. M. (1999). Time constraints in workflow systems. In: Advanced information systems
engineering, p. 286–300. Springer, 1999.
[12] Eder, J., Panagos, E., Rabinovich, M. (2013). Workflow time management revisited. In: J. Bubenko, J. Krogstie, O. Pastor, B.
Pernici, C. Rolland, and A. Sølvberg, editors, Seminal Contributions to Information Systems Engineering, p. 207– 213. Springer
Berlin Heidelberg, 2013.
[13] Gagne, D., Trudel, A. (2009). Time-bpmn. In Commerce and Enterprise Computing, 2009. CEC’09. IEEE Conference on,
p. 361–367. IEEE, 2009.
[14] Gillmann, M., Weikum, G., Wonner, W. (2002). Workflow management with service quality guarantees. In: Proceedings of the
2002 ACM SIGMOD international conference on Management of data, pages 228–239. ACM, 2002.
[15] Guermouche, N., Godart, C. (2009). Timed model checking based approach for web services analysis. In ICWS, p. 213–221.
IEEE, 2009.
[16] Hunsberger, L., Posenato, R., Combi, C. (2012). The dynamic controllability of conditional stns with uncertainty. arXiv
preprint arXiv:1212.2005, 2012.
[17] Lanz, A., Posenato, R., Combi, C., Reichert, M. (2013). Controllability of time-aware processes at run time. In On the Move to
Meaningful Internet Systems: OTM 2013 Conferences, p. 39–56. Springer, 2013.
[18] Lanz, A., Reichert, M., Weber, B. (2016). Process time patterns: A formal foundation. Information Systems, 57:38–68, 2016.
[19] Lanz, A., Weber, B., Reichert, M. (2010). Workflow time patterns for process-aware information systems. In Enterprise,
Business-Process and Information Systems Modeling, pages 94–107. Springer, 2010.
[20] Lanz, A., Weber, B., Reichert, M. (2014). Time patterns for process-aware information systems. Requir. Eng., 19(2):113–141,
2014.
[21] Marjanovic, O., Orlowska, M. (1999). On modeling and verification of temporal constraints in production workflows. Knowledge
and Information Systems, 1(2):157– 192, 1999.
[22] Object ManagementGroup. (2011). Business Process Model and Notation (BPMN), Version 2.0. http://www.omg.org/spec/
BPMN/2.0, 2011.
[23] OracleFusion. (2019). Adding delays, deadlines, and time based cycles to your process. https://docs.oracle.com/middleware/
1221/bpm/bpm-develop/GUID- 1684501B-AA69-4982-B3BC-9B05E33B4EB3.htm#BPMPD579, 2019. Accessed: 2019-08-08.
[24] Pichler, H., Eder, J., Ciglic, M. (2017). Modelling processes with time-dependent control structures. In Int. Conf. on Conceptual
Modeling, p. 50–58. Springer, 2017.
[25] Pichler, H., Wenger, M., Eder, J. (2009). Composing time-aware web service orchestrations. In Advanced Information Systems
Engineering, p. 349–363. Springer, 2009.
[26] van der Aalst, W., Schonenberg, M., Song, M. (2011). Time prediction based on process mining. Information Systems, 36
(2)450–475, 2011.
[27] van Der Aalst, W., Ter Hofstede, A. H., Kiepuszewski, B., Barros. A. P. (2003). Workflow patterns. Distributed and parallel
databases, 14 (1) 5–51, 2003.
[28] Zavatteri, M. (2017). Conditional simple temporal networks with uncertainty and decisions. In LIPIcs-Leibniz International
Proceedings in Informatics, volume 90.Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017.
[29] Zavatteri, M. (2018). Temporal and Resource Controllability of Workflows Under Uncertainty. PhD thesis, Universita degli
Studi di Verona, 2018.


Home | Aim & Scope | Editorial Board | Author Guidelines | Publisher | Subscription | Previous Issue | Contact Us |Upcoming Conferences|Sample Issues|Library Recommendation Form|

 

Copyright © 2011 dline.info