A timed semantics of Orc

Theoretical Computer Science

Volumn 402, Issue 2-3, 2008, Pages 234-248

  Wehrman, Ian ^a   Kitchin, David ^a   Cook, William R ^a   Misra, Jayadev ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

Computation orchestration; Concurrency; Orc; Process algebra; Semantics; Time; Web services

Indexed keywords

COMMUNICATION; COMPUTATIONAL METHODS; COMPUTER NETWORKS; COMPUTER PROGRAMMING LANGUAGES; ENTERPRISE RESOURCE MANAGEMENT; INFORMATION SERVICES; INTERACTIVE COMPUTER SYSTEMS; MANAGEMENT; METROPOLITAN AREA NETWORKS; NETWORK PROTOCOLS; PARALLEL PROCESSING SYSTEMS; SEMANTICS; STRUCTURED PROGRAMMING;

ASYNCHRONOUS BEHAVIOR; BUSINESS PROCESS MANAGEMENT (BPM); COMBINATORS; CONCURRENT COMPUTATION; CONCURRENT EXECUTION; CONCURRENT PROGRAMMING; DENOTATIONAL SEMANTICS; ELSEVIER (CO); NETWORK DELAYS; OPERATIONAL SEMANTICS; SERVICE ORCHESTRATION; TIME-OUTS; TIMED SEMANTICS;

INFORMATION THEORY;

EID: 46449130826     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2008.04.037     Document Type: Article

References (27)

1. Van Der Aalst W.M.P., Ter Hofstede A.H.M., Kiepuszewski B., and Barros A.P. Workflow patterns. Distributed and Parallel Databases 14 1 (2003) 5-51
2. AlTurki M., and Meseguer J. Real-time rewriting semantics of Orc. In: Leuschel M., and Podelski A. (Eds). PPDP (2007), ACM 131-142
3. Aura T., and Lilius J. Time processes for time Petri-nets. ICATPN. LNCS vol. 1248 (1997) 136-155
4. Baeten J.C.M., and Bergstra J.A. Discrete time process algebra. Formal Aspects of Computing 8 (1996) 188-208
5. Berger M. Basic theory of reduction congruence for two timed asynchronous pi-calculi. In: Gardner P., and Yoshida N. (Eds). CONCUR. Lecture Notes in Computer Science vol. 3170 (2004), Springer 115-130
6. Berger M., and Honda K. The two-phase commitment protocol in an extended pi-calculus. Electronic Notes in Theoretical Computer Science 39 1 (2000)
7. Boreale M., Bruni R., Caires L., De Nicola R., Lanese I., Loreti M., Martins F., Montanari U., Ravara A., Sangiorgi D., Thudichum Vasconcelos V., and Zavattaro G. SCC: A service centered calculus. In: Bravetti M., Núñez M., and Zavattaro G. (Eds). WS-FM. Lecture Notes in Computer Science vol. 4184 (2006), Springer 38-57
8. Braga C., Clavel M., Durán F., Eker S., Farzan A., Hendrix J., Lincoln P., Martí-Oliet N., Meseguer J., Olveczky P., Palomino M., Sasse R., Stehr M.-O., Talcott C., and Verdejo A. All About Maude: A High-Performance Logical Framework. Lecture Notes in Computer Science vol. 4350 (2007), Springer
9. William R. Cook, Sourabh Patwardhan, Jayadev Misra, Workflow patterns in Orc, in: Proc. of the International Conference on Coordination Models and Languages, 2006
10. de Boer F.S., Gabbrielli M., and Meo M.C. A timed Linda language and its denotational semantics. Fundamenta Informatica 63 4 (2004) 309-330
11. Alois Ferscha, Concurrent execution of timed Petri nets, in: Winter Simulation Conference, 1994, pp. 229-236
12. Hennessy M., and Regan T. A Process Algebra for Timed Systems. Information and Computation 117 2 (1995) 221-239
13. Tony Hoare, Galen Menzel, Jayadev Misra, A tree semantics of an orchestration language, in: Manfred Broy (Ed.), Proc. of the NATO Advanced Study Institute, Engineering Theories of Software Intensive Systems, NATO ASI Series, Marktoberdorf, Germany, 2004. Also available at: http://www.cs.utexas.edu/users/psp/Semantics.Orc.pdf
14. David Kitchin, William R. Cook, Jayadev Misra, A language for task orchestration and its semantic properties, in: CONCUR, 2006, pp. 477-491
15. David Kitchin, William R. Cook, Jayadev Misra, Semantic properties of asynchronous Orc, Technical Report TR-06-32, University of Texas at Austin, Department of Computer Sciences, 2006
16. Kozen D. On Kleene algebras and closed semirings. Proceedings, Math. Found. of Comput. Sci. LNCS vol. 452 (1990), Springer-Verlag 26-47
17. Linden I., Jacquet J.-M., De Bosschere K., and Brogi A. On the expressiveness of timed coordination models. Science of Computer Programming 61 2 (2006) 152-187
18. Milner R. Communication and Concurrency. In: Hoare C.A.R. (Ed). International Series in Computer Science (1989), Prentice-Hall
19. Milner R. Communicating and Mobile Systems: The π-Calculus (May 1999), Cambridge University Press
20. Misra J., and Cook W.R. Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling May (2006). http://dx.doi.org/10.1007/s10270-006-0012-1 Available for download at:
21. Nicollin X., and Sifakis J. The algebra of timed processes ATP: Theory and application. Information and Computation 114 1 (1994) 131-178
22. G.D. Plotkin, A structural approach to operational semantics, Technical Report DAIMI FN-19, University of Aarhus, 1981
23. Sydney Rosario, Albert Benveniste, Stefan Haar, Claude Jard, Net systems semantics of web services orchestrations modeled in Orc, Technical Report PI 1780, IRISA, 2006
24. Sydney Rosario, Albert Benveniste, Stefan Haar, Claude Jard, SLA for web services orchestrations, 2006, manuscript (unpublished)
25. Stirling C. Modal and Temporal Properties of Processes (2001), Springer-Verlag New York, Inc., New York, NY, USA
26. Dimitrios Vardoulakis, Mitchell Wand, A compositional trace semantics for Orc, Personal communication, 2007
27. Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra, Properties of the timed operational and denotational semantics of Orc, Technical Report TR-07-65, University of Texas at Austin, Department of Computer Sciences, 2007