Coordination of View Maintenance Policy Adaptation Decisions: A Negotiation-Based Reasoning Approach

Bose, Prasanta; Matthews, Mark G.

doi:10.1007/3-540-44584-6_10

Cited by 4 publications

(2 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…c) Use of SPIN technology for model checking to analyze and debug the manually created specifications such that the safety properties are met. The above approach has also been applied to other domains [3,4]. Future work is focused on i) generalizing the framework and methods based on results obtained in applying the framework to multiple task domains, and ii) development of tools that use SPIN model checker outputs to support the specification debugging process.…”

Section: Summary and Future Workmentioning

confidence: 98%

Dynamic Change in Workflow-Based Coordination of Distributed Services

Bose

Matthews

2003

Self-Adaptive Software: Applications

Self Cite

View full text Add to dashboard Cite

Abstract. The rapid advances in distributed computing and network-based technologies have paved the path for a networked economy. In such a networked economy, software technologies for coordination of distributed services according to specific business policies or workflows will play an everincreasing role. A critical success factor in such automation is the handling of dynamic changes in the workflow in a dependable manner. This paper introduces an integrated architecture, called SWAP, for dynamic adaptation of workflow policies. It develops systematic methods for the design of agents that perform workflow policy change coordination and uses model-checking methods to analyze safety properties. We use the domain of E-commerce for the ordering of products to demonstrate the concepts and methods of our approach.

show abstract