Filters








287,655 Hits in 6.5 sec

Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems [chapter]

Alexander Romanovsky, Jörg Kienzle
2001 Lecture Notes in Computer Science  
Horning and B. Randell, into cooperative, competitive and disjoint ones. Competitive systems are structured using atomic transactions. Atomic actions are used for structuring cooperative systems.  ...  Complex systems in which components can compete and cooperate are structured using Coordinated Atomic actions.  ...  Acknowledgments: Alexander Romanovsky has been supported by the EC IST RTD Project on Dependable Systems of Systems (DSoS).  ... 
doi:10.1007/3-540-45407-1_9 fatcat:gfmm4nbtkzfrvmzm33goswkvwe

Coordinated atomic actions

Alexander Romanovsky
2001 Software engineering notes  
External (transactional) objects can be used concurrently by several CA actions in such a way that information cannot be smuggled among them and that any sequence of operations on these objects bracketed  ...  to structuring complex concurrent activities and supporting error recovery of multiple interacting objects in a distributed object-oriented system.  ... 
doi:10.1145/505776.505793 fatcat:lu2y2f3tl5c7jevnotbl37go74

On Structuring Cooperative and Competitive Concurrent Systems

A. Romanovsky
1999 Computer journal  
and their interrelations.  ...  The situation is much more complex in concurrent systems, in which the states of several concurrent components should be taken into consideration while describing the system behaviour.  ...  B.Randell, working with whom has always been a great inspiration for me, and to my colleagues in ESPRIT DeVa LTR Project, ESPRIT PDCS BR Project and EPSRC/UK DISCS Project.  ... 
doi:10.1093/comjnl/42.8.627 fatcat:us6b2qtslzc3zgao5p7bleyos4

Modelling long duration transactions with time constraints in active database

D.S. Yadav, R. Agrawal, D.S. Chauhan, R.C. Saraswat, A.K. Majumdar
2004 International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004.  
The applications like situation assessment, object tracking, trading & stock control, and workflow management require actions to be taken in stringent time frame for full benefit of the system.  ...  Long duration transactions with explicit time constraints are more vulnerable to failures and they are subject to heavy compensations in case of aborts.  ...  T 1 T 2 R 1 G 1 R 2 G 2 Data Object Complex Transaction Figure 2 : Cooperative Transaction Timing Constraints on Transaction Timing constraints imposes temporal restriction on system and its users.  ... 
doi:10.1109/itcc.2004.1286505 dblp:conf/itcc/YadavACSM04 fatcat:7okd7dvrkjgvnmzl2f6rm6kpqe

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

Theo Härder, Norbert Ritter
1995 Electronic Design Automation Frameworks  
The latter point requires the development of transactional structures reflecting the actual processing characteristics of the various classes of design data in an adequate manner and, additionally, some  ...  In this paper, we will discuss the distinct processing characteristics of the most important types of design data and will propose adjusted transactional structures reflecting the requirements of their  ...  Complex Objects and Versions Complex Objects are identifiable occurrences of complex-object types and are given as structured sets of elementary data.  ... 
doi:10.1007/978-0-387-34880-3_1 fatcat:inosxudlknd4de5xrkj5vxfqly

The architecture of an active database management system

Dennis McCarthy, Umeshwar Dayal
1989 Proceedings of the 1989 ACM SIGMOD international conference on Management of data - SIGMOD '89  
An active DBMS is one which automatically executes specified actions when speciifed conditions arise.  ...  We have also developed an execution model that speicifes how these rules are processed in the context of database transactions.  ...  Rule conditions can be complex, and rules with complex conditions can fire frequently.  ... 
doi:10.1145/67544.66946 dblp:conf/sigmod/McCarthyD89 fatcat:g5imxhuxmvhohdxhheocjqxupy

The architecture of an active database management system

Dennis McCarthy, Umeshwar Dayal
1989 SIGMOD record  
An active DBMS is one which automatically executes specified actions when speciifed conditions arise.  ...  We have also developed an execution model that speicifes how these rules are processed in the context of database transactions.  ...  Rule conditions can be complex, and rules with complex conditions can fire frequently.  ... 
doi:10.1145/66926.66946 fatcat:fcygpo54grgcvhcfvm3mqd4r7m

Transactions and consistency in distributed database systems

Irving L. Traiger, Jim Gray, Cesare A. Galtieri, Bruce G. Lindsay
1982 ACM Transactions on Database Systems  
The concepts of transaction and of data consistency are defined for a distributed system.  ...  Techniques for providing such transparencies are abstracted and discussed.  ...  ACKNOWLEDGMENTS Bill Kent carefully read and criticized many drafts of this paper. He recommended many points of clarification and emphasis. We appreciate his help and patience.  ... 
doi:10.1145/319732.319734 fatcat:gnim475jevhgnpq3zcr437vjci

Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams

Franklin Ramalho, Jacques Robin, Ulrich Schiel
2004 Electronical Notes in Theoretical Computer Science  
on updates and transactions.  ...  CTFL extends first-order Horn logic with object-oriented class hierarchy and object definition terms, and with five new logical connectives that declaratively capture temporal and concurrency constraints  ...  A key characteristic of TL is its deliberate focus on defining complex actions and transactions out of simpler ones. It does not include any atomic change nor synchronization primitives in itself.  ... 
doi:10.1016/j.entcs.2004.04.007 fatcat:uun5aa6cynar7al4biudsjybtm

Specifying Flexible Concurrency Control Schemes: an Abstract Operational Approach [chapter]

David Stemple, Ron Morrison
2000 Fully Integrated Data Environments  
The goal of the model is to allow concurrency control schemes to be specified in a manner that promotes understandability and supports their implementation.  ...  Action 3070 -FIDE.  ...  Acknowledgements We are grateful for discussion with Panos Chrysanthis, Krithi Ramamritham, Quintin Cutts and Leo Fegaras on ACTA and CACS.  ... 
doi:10.1007/978-3-642-59623-0_19 fatcat:vgdfo3plxbhfvnkl4oltazbclq

Improving the reliability of transaction identification in use cases

M. Ochodek, B. Alchimowicz, J. Jurkiewicz, J. Nawrocki
2011 Information and Software Technology  
Objective: The goal of this study was to evaluate reliability of transaction identification in use cases (with the methods mentioned in the literature), analyze their weaknesses, and propose some means  ...  The relative error between the number of transaction identified by the tool and on-average number of transactions identified by the participants of the experiment ranged from 3% to 7%.  ...  Acknowledgments We would like to thank Sylwia Kopczyńska, Marcin Szeląg, and Przemysław Wesołek for their help in executing the experiment, and the students for their participation in the experiment.  ... 
doi:10.1016/j.infsof.2011.02.004 fatcat:ifqtwzdlvje7dowlhjazyzkfli

Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams

F RAMALHO
2004 Electronical Notes in Theoretical Computer Science  
capture temporal and concurrency constraints on updates and transactions.  ...  CTFL extends Horn logic with object-oriented class hierarchy and object definition terms, and with three new logical connectives -serial conjunction, concurrent conjunction and atomic modality -that declaratively  ...  A key characteristic of TL is its deliberate focus on defining complex actions and transactions out of simpler ones. It does not include any atomic change primitives in itself.  ... 
doi:10.1016/s1571-0661(04)05016-9 fatcat:e6lqe6jkqnhqdf76dl6dokcasq

Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods

R. J. Wieringa
1995 Computer journal  
This paper compares three classical modelling methods (ER, data flow, JSD) on their possibilities for integration and combination.  ...  to object-oriented methods.  ...  In terms of the transaction decomposition table, the functional model specifies the effect of transactions on the objects in the system.  ... 
doi:10.1093/comjnl/38.1.17 fatcat:2xihczisczft5bkglsjvhdc2vu

Integrating goal modeling and execution in adaptive complex enterprises

Rajiv Ramnath, Jay Ramanathan
2008 Proceedings of the 2008 ACM symposium on Applied computing - SAC '08  
1 Complex Enterprises consistently struggle with successfully gaining benefits from Enterprise Architecture (EA) initiatives for a variety of reasons, one of them being an end-to-end integration between  ...  In this paper we describe (a) our conceptualization of the Adaptive Complex Enterprise (b) our integrative notation and semantics for goal modeling and linking for such organizations and their operations  ...  Inc., and Joe Bolinger.  ... 
doi:10.1145/1363686.1363818 dblp:conf/sac/RamnathR08 fatcat:nxh22nievzgb5diz5kfiozsitm

Ode as an Active Database: Constraints and Triggers

Narain H. Gehani, H. V. Jagadish
1991 Very Large Data Bases Conference  
The Ode object-oriented database provides facilities for associating conslraims and [riggers with ohjecls.  ...  Conslrainls and triggers are associated with class (ohjea type) definitions which makes hem easy 10 read, LO implerncnl, and IO blend with object inheritance.  ...  Qian and the referees for for their comments and suggestions.  ... 
dblp:conf/vldb/GehaniJ91 fatcat:bcls3bgw4vgenijmqmarcr2fka
« Previous Showing results 1 — 15 out of 287,655 results