Communicating Hierarchical Timed Automata Ruggero Lanotte, Andrea...  Home/Search
Context
Related
| lix.polytechnique.fr/~tro...fmoods06.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lix.polytechnique.fr/...index.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Long-Running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub-tasks, and may require to be completed before a deadline. These transactions are not atomic and, in case of executions which cannot be completed, a compensation mechanism must be provided. (Update)
Active bibliography (related documents): More All
0.2: Advanced Transactions in Component-Based Software Architectures - Prochazka (2002) (Correct)
0.2: From Inter-Organizational Workflows to Process Execution.. - Mendling, Hafner (2005) (Correct)
0.2: Message Queuing Patterns for Middleware-Mediated.. - Tai, Totok, Mikalsen.. (2002) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ timed-modeling,
author = "Communicating Hierarchical Timed",
title = "Modeling Long--Running Transactions with",
url = "citeseer.ist.psu.edu/764436.html" }
Citations (may not include all citations):268 A Theory of Timed Automata - Alur, Dill - 1994
98 Kronos: A verification tool for real-time systems (context) - Yovine - 1997
22 Communicating Hierarchical State Machines - Alur, Kannan et al. - 1999
11 A Petri Net--Based Model for Web Service Composition - Benatallah, Himadi - 2003
4 Formalizing Web Services Choreographies - Brogi, Canal et al. - 2004
4 The CORBA Activity Service Framework for Supporting Extended.. - Houston, Little et al. - 2003
1 Theoretical Foundations for Compensations in Flow Compositio.. (context) - Bruni, Melgratti et al. - 2005
1 Towards a Formal Foundation to Orchestration Languages (context) - Viroli - 2004
1 Uppaal-now, next and future - Amnell, Behrmann et al. - 2000
1 BPEL Specifications: www (context) - www, developerworks et al.
1 A Case Study of Web Services Orchestration (context) - Mazzara, Govoni - 2005
1 Foundations of Web Transactions (context) - Laneve, Zavattaro - 2005
http://www.w3.org/TR/wsci/
Documents on the same site (http://www.lix.polytechnique.fr/~troina/index.php): More
An Alternative to Gillespie's Algorithm for.. - Barbuti.. (2005) (Correct)
A Probabilistic Model for Molecular Systems - Barbuti, Cataudella.. (2005) (Correct)
Decidability Results for Parametric Probabilistic Transition.. - Lanotte, al. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC