Filters








47,202 Hits in 5.7 sec

CovaTM

Jinlei Jiang, Guangxin (Gavin) Yang, Yan Wu, Meilin Shi
2002 Proceedings of the 2002 ACM symposium on Applied computing - SAC '02  
This paper presents a new transaction model named CovaTM, which provides sophisticated but flexible control over cooperative process as well as support for error recovery and exception handling.  ...  It has been widely recognized that traditional transaction models with ACID(Atomicity, Consistency, Isolation and Durability) properties generally are not applicable to cooperative applications.  ...  As an alternative to aborting, our model supports exception handling and recovery. In our model, twn levels of exception handling are provided.  ... 
doi:10.1145/508791.508856 dblp:conf/sac/JiangYWS02 fatcat:hue2sfcmvzgazaglzs6ryrdiia

Transaction-Based Design Data Processing in the PRIMA Framework [chapter]

Theo Härder, Norbert Ritter
1995 Electronic Design Automation Frameworks  
Furthermore, we will detail how these transactional structures can be embedded into a comprehensive processing model for design processes, which also supports cooperation control and design flow management  ...  support for controlled cooperation among designers.  ...  Tool-Execution Level (TE Level) From the viewpoint of the DBMS or data repository, a DOP is a long transaction (see in Fig. 2) . A DOP has the properties of conventional transactions.  ... 
doi:10.1007/978-0-387-34880-3_1 fatcat:inosxudlknd4de5xrkj5vxfqly

Combining tasking and transactions, part II

Jörg Kienzle, Alexander Romanovsky
2001 ACM SIGAda Ada Letters  
A transaction model that meets this requirement is presented. Tasks inside such a transaction may spawn new tasks, but also external tasks are allowed to join an ongoing transaction.  ...  The paper describes a model for providing transaction support for concurrent programming languages such as Ada 95.  ...  Combining Cooperative and Competitive Concurrency Recently, some transaction models have evolved to allow cooperative concurrency inside a transaction.  ... 
doi:10.1145/374369.374384 fatcat:55iuqxvcebentgzlpg5kpizkoa

Combining tasking and transactions, part II

Jörg Kienzle, Alexander Romanovsky
2001 Proceedings of the 10th international workshop on Real-time Ada workshop - IRTAW '00  
A transaction model that meets this requirement is presented. Tasks inside such a transaction may spawn new tasks, but also external tasks are allowed to join an ongoing transaction.  ...  The paper describes a model for providing transaction support for concurrent programming languages such as Ada 95.  ...  Combining Cooperative and Competitive Concurrency Recently, some transaction models have evolved to allow cooperative concurrency inside a transaction.  ... 
doi:10.1145/374370.374384 fatcat:7zaoxgoljbdypddixyvlfzl43q

Using Isolation Spheres for Cooperative Processes Correctness

Adnene Guabtni, Francois Charoy, Claude Godart
2006 2006 10th International Conference on Computer Supported Cooperative Work in Design  
Then we propose a solution based on isolation spheres to ensure correctness of cooperative processes and customise the exclusion control of the different cooperation phenomena.  ...  Managing cooperation in Business Processes still represents a challenge because of several problems.  ...  Introduction Today cooperative models and transaction models for cooperative environments are still focused on the implementation of the interaction and not really on the specification of its correctness  ... 
doi:10.1109/cscwd.2006.253216 dblp:conf/cscwd/GuabtniCG06 fatcat:cqgtak3flvdy5lvdvhcgtd3gwa

Operational transformation in cooperative software systems

Clarence Leung
2013 McGill Science Undergraduate Research Journal  
Modern cooperative software systems involve multiple concurrent users undertaking a common task in a real-time distributed environment, such as editing a shared text document.  ...  Maintaining data consistency, transaction causality, and replication convergence in such an environment, while providing fast client responsiveness, is a substantial challenge for classical distributed  ...  to multiple concurrent users.  ... 
doi:10.26443/msurj.v8i1.113 fatcat:73fdso4luvbalhnt57n2uzujdu

Cross-Organizational Transaction Support for Virtual Enterprises [chapter]

Jochem Vonk, Wijnand Derks, Paul Grefen, Marjanca Koetsier
2000 Lecture Notes in Computer Science  
This paper presents a high-level, compensation based transaction model and a flexible architecture to support this transaction model, as required by cross-organizational workflow processes.  ...  The transaction model supported by the dynamically composed architecture is implemented in a prototype system, based on commercial workflow management technology.  ...  Acknowledgments All members of the CrossFlow project are acknowledged for their role in the realization of the X-transaction model, architecture and implementation described in this paper. Notes 1.  ... 
doi:10.1007/10722620_30 fatcat:q5uxe2mc4rhdlowhwdzglzpree

Everything is a Transaction: Unifying Logical Concurrency Control and Physical Data Structure Maintenance in Database Management Systems

Ling Zhang, Matthew Butrovich, Tianyu Li, Andrew Pavlo, Yash Nannapaneni, John Rollinson, Huanchen Zhang, Ambarish Balakumar, Daniel Biales, Ziqi Dong, Emmanuel J. Eppinger, Jordi E. Gonzalez (+14 others)
2021 Conference on Innovative Data Systems Research  
As a result, there is a disconnect between the logical semantics of transactions and the DBMS's underlying implementation.  ...  This burden leads to challenges when reasoning about the system's correctness and performance and inhibits its modularity.  ...  Developers must carefully reason about races within these physical objects and devise bespoke solutions that are transactionally correct and scalable.  ... 
dblp:conf/cidr/ZhangBLPNRZBBDE21 fatcat:ljior7kmnzfe3g6hvxnfukibga

An integrated course on parallel and distributed processing

José C. Cunha, João Lourenço
1998 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education - SIGCSE '98  
It's a breadth-first course addressing a wide spectrum of abstractions: the theoretical component focus on the fundamental abstractions to model concurrent systems, including process cooperation schemes  ...  , concurrent programming models, data and control distribution, concurrency control and recovery in transactional systems, and parallel processing models; the practical component illustrates the design  ...  A more advanced course can explore multiple parallel programming models.  ... 
doi:10.1145/273133.274300 dblp:conf/sigcse/CunhaL98 fatcat:g7tbbyr6tbf5heo27a5zaouesa

On the Notion of Consistency in Metadata Repository Systems [chapter]

Ilia Petrov, Stefan Jablonski, Marc Holze
2005 Lecture Notes in Computer Science  
Repository systems handle the management of metadata and metamodels. They act as data store with a custom-defined and dynamically adaptable system catalogue.  ...  In this paper we propose a novel approach to enforcing structural consistency in MOF-based repositories.  ...  Well-formedness ensures the syntactical correctness of the model definitions within a meta-layer.  ... 
doi:10.1007/11431855_8 fatcat:met3phjexbahricn6kqpfabn5u

Cooperative shared memory: software and hardware for scalable multiprocessors

Mark D. Hill, James R. Larus, Steven K. Reinhardt, David A. Wood
1993 ACM Transactions on Computer Systems  
State transitions requiring multiple messages are always handled by system software.  ...  CICO is an easier model for a compiler or programmer to apply, for the following reasons: -CICO directives are unnecessary for correct execution.  ... 
doi:10.1145/161541.161544 fatcat:wxtdm2zujnbz7dctyehwve3rhe

An overview of workflow management: From process modeling to workflow automation infrastructure

Diimitrios Georgakopoulos, Mark Hornick, Amit Sheth
1995 Distributed and parallel databases  
This paper provides a high-level overview of the current workflow management methodologies and software products.  ...  In particular, we discuss how distributed object management and customized transaction management can support further advances in the commercial state of the art in this area.  ...  To ensure the correctness and reliability of workflows accessing multiple transactional and/or transactionless objects, each workflow application must be associated with a transaction model that defines  ... 
doi:10.1007/bf01277643 fatcat:dqffgq27krflpfdeezppaxcgia

Securing Enterprise Applications: Service-Oriented Security (SOS)

Csilla Farkas, Michael N. Huhns
2008 Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS), International Workshop on  
Such ways include software agent technology and distributed database transaction semantics.  ...  This produces a flexible and adaptable platform to handle multiple versions.  ...  Centralized architecture for combining N versions of an algorithm into a single, more robust system Threats, resulting from service-level (transactional) dependencies, affect both network-level and servicelevel  ... 
doi:10.1109/cecandeee.2008.151 dblp:conf/wecwis/FarkasH08 fatcat:nvnpxypx7rdp3khp5snbffxt7m

Modeling and Analysis of 3d Printing Ws-Bpel Business Processes Based on Servicenet

Cheng-Lei Zhang, Bu-Yun Sheng, Fei-Yu Zhao, Xi-Yan Yin, Jing-Jing Cao, L. Long, Y. Li, X. Li, Y. Dai, H. Yang
2017 ITM Web of Conferences  
The service compatibility checking algorithm based on the Mediation model, which can provide multi-level service checking compatibility, and realize the goal of Service Cooperation or the demand of Value-Added  ...  Finally, a model transformation strategy based on meta-model mapping was put forward. The algorithm was designed and examples were given to demonstrate the efficiency of 3D Printing WS-BPEL.  ...  Figure 3 . 3 The state transition diagram of different types of services Figure 4 . 4 Multi-level exception handling system diagram Thirdly, as a transactional service collaboration model, the back-end  ... 
doi:10.1051/itmconf/20171201034 fatcat:rdaonsb67ff7he7sdakrhrzygm

Composing Multidatabase Applications using Flexible Transactions

Yungho Leu
1991 IEEE Data Engineering Bulletin  
The paper by Kaiser and Perry addresses transaction models for cooperative environments.  ...  The paper uses a feedback mechanism to make the model interactive. This provides the ability to build applications as a set of cooperative tasks.  ...  We would also like to thank Andrea Skarra for her comments on a draft of this paper.  ... 
dblp:journals/debu/Leu91 fatcat:kgjcdpivf5anzet4xfugxxx2t4
« Previous Showing results 1 — 15 out of 47,202 results