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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. J. Allen, R. Douence, D. Garlan. Specifying and Analyzing Dynamic Software Architectures, Proceedings of the 1998 Conference on Fundamental Approaches to Software Engineering (FASE’ 98), March 1998.
G. Booch, J. Rumbaugh and I. Jacobsen, “The Unified Modeling Language User Guide”, Addison Wesley, 1999.
P. Bose and M. G. Matthews, “Coordination of View Maintenance Policy Adaptation Decisions: A Negotiation-Based Reasoning Approach”, Proceedings of the International Workshop on Self-Adaptive Software, Oxford, England, April 2000.
P. Bose and M. G. Matthews, “NAVCo: Negotiation-based Adaptive View Coordination”, in Proceedings of the Automated Software Engineering Conference, 1999.
E. M. Clarke and J. M. Wing, “Formal Methods: State of the Art and Future Directions” ACM Computing Surveys, Vol. 28, No. 4, 1996., pp 626–643.
Dodac et. al., “Workflow Management Systems and Interoperability”, NATO ASI Series, Springer Verlag, Berlin 1998.
Ellis, K. Keddara, G. Rozenberg, “Dynamic Change within Workflow Systems”, Proceeding of the ACM Conference on Organizational Computing Systems, 1995, pp 10–21.
D. Garlan and M. Shaw. “Software Architectures: Perspectives on an Emerging Discipline”, Addison Wesley Publishers, 1996.
G. J. Holzman, “Design and Verification of Computer Protocols”, Prentice Hall, Englewood Cliffs, NJ 1991.
M. Kamath and K. Ramamritham, “Correctness Issues in Workflow Management”, Distributed Systems Engineering Journal, Special Issue on Workflow Management, Volume 3, Number 4, December 1996.
M. Klein, C. Dellacros, and A. Bernstein, eds., “Workshop Towards Adaptive Workflow Systems” CSCW-98 Workshop Proceedings, ACM Press, 1998.
K. L. McMillan, “Symbolic Model Checking”, Kluwer Academic Publishers, 1993.
J. Magee, J. Kramer. Dynamic Structure in Software Architectures. Fourth SIGSOFT Symposium on the Foundations of Software Engineering, San Francisco, October 1996.
P. Oreizy, N. Medvidovic, R. N. Taylor, “Architecture-based Runtime Evolution”, ICSE 1998.
P. Oreizy et. al., “An Architecture Based Approach to Self-Adaptive Software”, IEEE Intelligent Systems, 1999.
L. Osterweil, “Automated Support for the Enactment of Rigorously Described Software Processes,” Proceedings of the Third International Process Programming Workshop, Computer Society Press, 1988, pp 122–125.
J. Robbins, N. Medvidovic, D. Redmiles, and D. Rosenbloom, “Integrating Architecture Description Languages with a Standard Design Method”, Second EDCS Cross Cluster Meeting, Austin, Texas, 1998.
Seth, editor, Proceedings of the NSF Workshop on Workflow and Process Automation in Information Systems.
L. A. Suchman, “Office Procedure as Practical Action: Models of Work and System Design”, ACM Transactions on Office Information Systems, vol. 1, no. 4, October 1983, pp 320–328.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bose, P., Matthews, M.G. (2003). Dynamic Change in Workflow-Based Coordination of Distributed Services. In: Laddaga, R., Shrobe, H., Robertson, P. (eds) Self-Adaptive Software: Applications. IWSAS 2001. Lecture Notes in Computer Science, vol 2614. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36554-0_13
Download citation
DOI: https://doi.org/10.1007/3-540-36554-0_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00731-9
Online ISBN: 978-3-540-36554-9
eBook Packages: Springer Book Archive