Peri Tarr, Lori A. Clarke  Home/Search
Context Related
| umass.edu/pub/techr...UMCS1997046.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: umass.edu/abstracts/97046 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Consistency management is an important requirement in many complex applications, but current programming languages and database systems provide inadequate support for it. To address this limitation, we have defined a consistency management model and incorporated it into the Pleiades object management system. This paper presents a motivating example that illustrates some typical consistency management requirements and discusses the requirements in terms of both functionality and cross-cutting... (Update)
Context of citations to this paper: More
...of formal specifications and interleaves them with actual code. This mechanism has in turn been enhanced and used by other researchers [TC98] to do consistency management of applications in terms of detecting violations and doing verification. Both relational and object...
...which our approach provides meet requirements of these applications. The main difference between the work presented for instance in [TC98] and ours is that our approach provides these features only by means of basic notations of OO data models and hence on an abstract level...
Cited by: More
UML As Domain Specific Language For The Construction Of.. - Felfernig, Friedrich.. (2000) (Correct)
An Ounce of Prevention is Worth A Pound of Cure: Formal.. - Claypool, Rundensteiner (1999) (Correct)
Consistency Management in Object-Oriented Databases - Oakasha, Conrad, Saake (Correct)
Active bibliography (related documents): More All
1.1: Pleiades: An Object Management System for Software Engineering.. - Tarr (1993) (Correct)
0.8: The Design of a Next-Generation Process Language - Sutton, Jr., Osterweil (1997) (Correct)
0.3: An Analysis of Process Languages - Sutton, Jr., Tarr, Osterweil (1995) (Correct)
Similar documents based on text: More All
0.1: Do Viewpoint-Dependent Mechanisms Generalize Across Members.. - Tarr, Gauthier (1997) (Correct)
0.1: A Framework for Event-Based Software Integration - Barrett, Clarke, Tarr, Wise (1996) (Correct)
0.1: To What Extent Do Unique Parts Influence Recognition.. - Tarr, Bülthoff.. (1997) (Correct)
Related documents from co-citation: More All
3: The Object Database Standard: ODMG (context) - Cattell - 1993
2: Advanced Primitives for Changing Schemas of Object Databases - Br'eche - 1996
2: Making Java Objects Persistent (context) - O'Brien - 1997
BibTeX entry: (Update)
P. Tarr and L. Clarke. Consistency management for complex applications. In International Conference on Software Engineering, pages 230--239, 1998. http://citeseer.ist.psu.edu/tarr98consistency.html More
@inproceedings{ tarr98consistency,
author = "Peri Tarr and Lori A. Clarke",
title = "Consistency Management for Complex Applications",
booktitle = "Proceedings of the 1998 International Conference on Software Engineering",
month = "19--25",
publisher = "IEEE Comput. Soc, Los Alamitos, CA, USA",
address = "Kyoto, Japan",
pages = "230--9",
year = "1998",
url = "citeseer.ist.psu.edu/tarr98consistency.html" }
Citations (may not include all citations):1274 Object-oriented Software Construction (context) - Meyer - 1988
170 The architecture of an active database management system (context) - McCarthy, Dayal - 1989
151 Software processes are software too (context) - Osterweil - 1987
121 Types and persistence in database programming languages (context) - Atkinson, Buneman - 1987
102 A framework for expressing the relationships between multipl.. - Nuseibeh, Kramer et al. - 1994
93 Intelligent assistance for software development and maintena.. (context) - Kaiser, Feiler et al. - 1988
84 Data flow analysis for verifying properties of concurrent pr.. - Dwyer, Clarke - 1994
54 Tolerating inconsistency (context) - Balzer - 1991
53 Development and implementation of an object-oriented dbms (context) - Maier, Stein - 1990
52 Algebraic support for complex objects with arrays (context) - Vandenberg, DeWitt - 1991
49 Combining Language and Database Advances in an Object-Orient.. (context) - Andrews, Harris - 1990
42 Issues encountered in building a flexible software developme.. - Kadia - 1992
40 A plan-based intelligent assistant that supports the softwar.. (context) - Huff, Lesser - 1988
40 a specification language for ada (context) - Luckham, vonHenke et al. - 1985
40 TAOS: Testing with analysis and oracle support - Richardson - 1994
36 Coordinating distributed viewpoints: The anatomy of a consis.. - Easterbrook, Finkelstein et al. - 1994
34 The design of a next-generation process language - Sutton, Osterweil - 1997
32 Computational reflection in software process modeling: the S.. - Bandinelli, Fuggetta - 1993
31 Process modeling in-the-large with SLANG - Bandinelli, Fuggetta et al. - 1993
31 Extensions to starburst: Objects (context) - Lohman, Lindsay et al. - 1991
26 An evaluation of FUNSOFT nets (context) - Gruhn, Jegelka - 1992
25 Concepts for evolving software processes - Conradi, Fernstrom et al. - 1994
24 Towards a method of programming with assertions (context) - Rosenblum - 1992
22 PLEIADES: An object management system for software engineeri.. - Tarr, Clarke - 1993
20 Lecture Notes in Computer Science (context) - Liskov - 1981
14 A language for software-process programming (context) - Sutton, Heimbigner et al. - 1995
12 Information Sciences Institute (context) - Cohen, Manual et al. - 1988
10 A flexible consistency model for persistent data in software.. (context) - Sutton - 1991
9 Policy-directed coordination and cooperation (context) - Perry - 1991
5 A generalized constraint and exception handler for an object.. (context) - Buchmann, Carrera et al. - 1986
4 EPOS: Object-oriented cooperative process modeling (context) - Conradi - 1994
2 Computer Science Department (context) - Sutton, Preconditions et al. - 1995
2 An advanced system for the verification and validation of re.. (context) - Loyall, Mathisen et al. - 1992
1 Object Management Support for the Construction of Complex Ap.. (context) - Tarr - 1996
1 MERLIN: Supporting coooperation in software development thro.. (context) - Junkermann, Peuschel et al. - 1994
1 Modeling concurrency in rule-based development (context) - Barghouti, Kaiser - 1990
1 Concurrency control in advance database applications (context) - Barghouti, Kaiser - 1991
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