Managing Conflicts between Rules

Jagadish, H. V.; Mendelzon, Alberto O.; Mumick, Inderpal Singh

doi:10.1006/jcss.1998.1596

Cited by 23 publications

(25 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Such a comparison may include, for example, comparing BPJ b-threads to rules in AI and expert systems and the differences between, say, rule-disabling idioms [23] in expert systems, which disable entire rules , and event-blocking in BPJ, which prevents the triggering of a requested event.…”

Section: Programming Scenarios In Other Languagesmentioning

confidence: 99%

Programming Coordinated Behavior in Java

Harel¹,

Marron²,

Weiss³

2010

ECOOP 2010 – Object-Oriented Programming

View full text Add to dashboard Cite

Abstract. Following the scenario-based approach to programming which centered around live sequence charts (LSCs), we propose a general approach to software development in Java. A program will consist of modules called behavior threads (b-threads), each of which independently describes a scenario that may cross object boundaries. We identify a protocol and a coordination mechanism that allow such behavioral programming. Essentially, runs of programs are sequences of events that result from three kinds of b-thread actions: requesting that events be considered for triggering, waiting for triggered events, and blocking events requested by other b-threads. The coordination mechanism synchronizes and interlaces b-threads execution yielding composite, integrated system behavior. The protocol idioms and the coordination mechanism of b-threads are implemented as a Java library called BPJ. Throughout the exposition we illustrate benefits of the approach and discuss the merits of behavioral programming as a broad, implementation-independent paradigm.

show abstract

Section: Programming Scenarios In Other Languagesmentioning

confidence: 99%

Programming Coordinated Behavior in Java

Harel¹,

Marron²,

Weiss³

2010

ECOOP 2010 – Object-Oriented Programming

View full text Add to dashboard Cite

show abstract

“…Additionally, there are metarule paradigms to specify which rules to apply and in what order if more than one rule is applicable. For example, Jagadish et al [21] describe a metarule language and inference procedures to determine if a particular set of metarules is unambiguous. Using these two techniques, it should be possible to create an automated conflict resolution procedure.…”

Section: Optimistic Commitment Of Epidemic Transactionsmentioning

confidence: 99%

Epidemic algorithms for replicated databases

Holliday

Steinke

Agrawal

et al. 2003

IEEE Trans. Knowl. Data Eng.

View full text Add to dashboard Cite

Abstract-We present a family of epidemic algorithms for maintaining replicated database systems. The algorithms are based on the causal delivery of log records where each record corresponds to one transaction instead of one operation. The first algorithm in this family is a pessimistic protocol that ensures serializability and guarantees strict executions. Since we expect the epidemic algorithms to be used in environments with low probability of conflicts among transactions, we develop a variant of the pessimistic algorithm which is optimistic in that transactions commit as soon as they terminate locally and inconsistencies are detected asynchronously as the effects of committed transactions propagate through the system. The last member of the family of epidemic algorithms is pessimistic and uses voting with quorums to resolve conflicts and improve transaction response time. A simulation study evaluates the performance of the protocols.

show abstract

“…For this reason, the epoch/priority approach is used for applications where simplifying assumptions about the timing of events can be made, e.g., coordinating rules in active databases [15,5]. However, when coordinating adaptations in a distributed self-adapting service, a fast response to constraint violations is often important, e.g., to recover quickly from failures or poor performance.…”

Section: Conflict Resolutionmentioning

confidence: 99%

“…Others divide the target system into partitions and assume adaptations from different parts are independent. Most related to our work are studies that look at coordinating the execution of eventcondition-action policies [5] and coordinating update rules in active database systems [15]. However, they adopt the epoch/priority approach for conflict detection and resolution and therefore rely on assumptions that do not hold in our context.…”

Section: Related Workmentioning

confidence: 99%