Logic Based Coordination for Event–Driven Self–healing Distributed Systems

Montangero, Carlo; Semini, Laura; Semprini, S.

doi:10.1007/978-3-540-24634-3_19

Cited by 4 publications

(4 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The semantics of Appel [,] which before was only defined informally, as with most policy languages, has been formally defined by translation into the temporal logic ∆DSTL(x) [15,16].…”

Section: An Experiments In Static Conflict Detection For Autonomic Manmentioning

confidence: 99%

Managing Adaptivity in Parallel Systems

Aldinucci

Danelutto

Kilpatrick

et al. 2013

Formal Methods for Components and Objects

Self Cite

View full text Add to dashboard Cite

The management of non-functional features (performance, security, power management, etc.) is traditionally a difficult, error prone task for programmers of parallel applications. To take care of these nonfunctional features, autonomic managers running policies represented as rules using sensors and actuators to monitor and transform a running parallel application may be used. We discuss an approach aimed at providing formal tool support to the integration of independently developed autonomic managers taking care of different non-functional concerns within the same parallel application. Our approach builds on the Behavioural Skeleton experience (autonomic management of nonfunctional features in structured parallel applications) and on previous results on conflict detection and resolution in rule-based systems.

show abstract

“…The semantics of Appel [,] which before was only defined informally, as with most policy languages, has been formally defined by translation into the temporal logic ∆DSTL(x) [15,16].…”

Section: An Experiments In Static Conflict Detection For Autonomic Manmentioning

confidence: 99%

Managing Adaptivity in Parallel Systems

Aldinucci

Danelutto

Kilpatrick

et al. 2013

Formal Methods for Components and Objects

Self Cite

View full text Add to dashboard Cite

show abstract

“…In [20,21], we take a logic-based approach to this end: conflicts are detected by deducing specific formulae in a suitable theory. A translation function has been defined to derive the logical representation of Appel policies in the temporal logic ∆DSTL(x) [22,23]: as a side effect, this function defines a formal semantics for Appel, which before was only defined informally, like most of the policy languages. The translation maps a group of policies into a logical theory expressing its meaning.…”

Section: Run-time Environmentmentioning

confidence: 99%

Model-Driven Development of Adaptable Service-Oriented Business Processes

Montangero

Reiff-Marganiec

Semini

2011

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Businesses typically structure their activities with workflows, which are often implemented in a rather static fashion in their IT systems. Nowadays, system requirements change rapidly as businesses try to maintain their competitive edge, calling for similar agility of the IT systems. To this end, we present StPowla, an approach that marries service oriented architecture, policies and workflows to support the agile execution of business workflows. In StPowla, the business is modelled by workflows, whose tasks are eventually carried out by services. Adapatation is obtained by allowing the stakeholders to define policies that establish the quality levels required of the services. The prototype StPowla support architecture comprizes the transformation of the workflow model into executable WS-BPEL to be deployed in the ODE-BPEL execution engine, the generation of default policies from the model, and the enactment of the policies by the Appel policy server. The SENSORIA Finance Case Study is used throughout the paper.

show abstract

“…As Appel has so far only been presented with an informal semantics, we must first formalise this in a suitable logic. This paper presents the novel formal semantics for Appel which is based on ∆DSTL(x) (distributed state temporal logic [14,15]) and then shows how this helps with the rigorous detection of conflicts.…”

Section: Motivationmentioning

confidence: 99%

“…∆DSTL(x) is an extension of temporal logic to deal with global applications: it includes modalities to localize properties to system components, an operator to deal with events, and temporal modalitiesà la Unity [14,15]. For instance, one may say that event ∆q (q becomes true) occurring in component m when property p holds, entails that properties q and r hold in future states of components n and m, respectively: m (p ∧ ∆q) leads to n r ∧ m s.…”

Section: A Fragment Of the Distributed States Temporal Logicmentioning

confidence: 99%

Logic–Based Detection of Conflicts in Appel Policies

Montangero

Reiff-Marganiec

Semini

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Appel is a general language for expressing policies in a variety of application domains with a clear separation between the core language and its specialisation for concrete domains. Policies can conflict, thus leading to undesired behaviour. We present a novel formal semantics for the Appel language based on ∆DSTL(x) (so far Appel only had an informal semantics). ∆DSTL(x) is an extension of temporal logic to deal with global applications: it includes modalities to localize properties to system components, an operator to deal with events, and temporal modalitiesà la Unity. A further contribution of the paper is the development of techniques based on the semantics to reason about conflicts.

show abstract

Logic Based Coordination for Event–Driven Self–healing Distributed Systems

Cited by 4 publications

References 6 publications

Managing Adaptivity in Parallel Systems

Managing Adaptivity in Parallel Systems

Model-Driven Development of Adaptable Service-Oriented Business Processes

Logic–Based Detection of Conflicts in Appel Policies

Contact Info

Product

Resources

About