Towards composition of distributed evolving services

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Towards composition of distributed evolving services: the Credo approach (invited paper)

Full text

Pdf (260 KB)

Source

International Conference on Autonomic Computing and Communication Systems archive
Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems table of contents

Turin, Italy

Article No. 21

Year of Publication: 2008

ISBN:978-963-9799-34-9

Authors

Andries Stam	Almende BV, Rotterdam, The Netherlands
Alfons Salden	Almende BV, Rotterdam, The Netherlands

Sponsors

: ICST
ACM: Association for Computing Machinery
: Create-Net

Publisher

ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering) ICST, Brussels, Belgium, Belgium

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 19, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

ABSTRACT

ICT service providers face increasing demands on dynamic, flexible and scalable composition of their evolving software services. These demands complicate the validation and verification of such compositions as--a--whole. Within the European Credo research project, we develop techniques for the modeling, validation and verification of compositional distributed services. Our approach is based on two principles: a clear formal separation between the service components and the logical network that binds them together, and support for light--weight, preferably automated verification and model checking for all modeling techniques. In this paper, we apply the Credo techniques to ASK, a context--aware response system with intelligent matching functionality for connecting people to other people via existing communication technologies.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Almende website. http://www.almende.com.
	2	ASK community systems website. http://www.ask-cs.com.
	3	Farhad Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, v.14 n.3, p.329-366, June 2004 [doi>10.1017/S0960129504004153]
	4	Farhad Arbab , Farhad Mavaddat, Coordination through Channel Composition, Proceedings of the 5th International Conference on Coordination Models and Languages, p.22-39, April 08-11, 2002
	5	Christel Baier , Marjan Sirjani , Farhad Arbab , Jan Rutten, Modeling component connectors in Reo by constraint automata, Science of Computer Programming, v.61 n.2, p.75-113, July 2006 [doi>10.1016/j.scico.2005.10.008]
	6	J. Bengtsson and W. Yi. Timed automata: Semantics, algorithms and tools. In J. Desel, W. Reisig, and G. Rozenberg, editors, Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, pages 87--124. Springer, 2003.
	7	G. Binnig, M. Baatz, J. Klenk, and G. Schmidt. Will machines start to think like humans -- artificial versus natural intelligence. Europhysics news, pages 44--47, 2002.
	8	Tobias Blechmann , Christel Baier, Checking Equivalence for Reo Networks, Electronic Notes in Theoretical Computer Science (ENTCS), 215, p.209-226, June, 2008 [doi>10.1016/j.entcs.2008.06.029]
	9	M. Clavel , F. Durán , S. Eker , P. Lincoln , N. Martí-Oliet , J. Meseguer , J. F. Quesada, Maude: specification and programming in rewriting logic, Theoretical Computer Science, v.285 n.2, p.187-243, 28 August 2002 [doi>10.1016/S0304-3975(01)00359-0]
	10	Luca de Alfaro , Thomas A. Henzinger, Interface automata, Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, September 10-14, 2001, Vienna, Austria
	11	Elena Fersman , Pavel Krcal , Paul Pettersson , Wang Yi, Task automata: Schedulability, decidability and undecidability, Information and Computation, v.205 n.8, p.1149-1172, August, 2007 [doi>10.1016/j.ic.2007.01.009]
	12	E. B. Johnsen and O. Owe. An asynchronous communication model for distributed concurrent objects. Software and Systems Modeling, 6(1):35--58, Mar. 2007.
	13	Einar Broch Johnsen , Olaf Owe , Ingrid Chieh Yu, Creol: a type-safe object-oriented model for distributed concurrent systems, Theoretical Computer Science, v.365 n.1, p.23-66, 10 November 2006 [doi>10.1016/j.tcs.2006.07.031]
	14	Jeffrey O. Kephart , David M. Chess, The Vision of Autonomic Computing, Computer, v.36 n.1, p.41-50, January 2003 [doi>10.1109/MC.2003.1160055]
	15	Peyman Oreizy , Michael M. Gorlick , Richard N. Taylor , Dennis Heimbigner , Gregory Johnson , Nenad Medvidovic , Alex Quilici , David S. Rosenblum , Alexander L. Wolf, An Architecture-Based Approach to Self-Adaptive Software, IEEE Intelligent Systems, v.14 n.3, p.54-62, May 1999 [doi>10.1109/5254.769885]
	16	A. Salden. Self-organizing e-business systems. In TACC 2008, Budapest Tutorial and Workshop on Autonomic Communications and Component--ware, Budapest, Hungary, July 2008.
	17	A. H. Salden and M. Kempen. Sustainable cybernetics systems -- backbones of ambient intelligent environments. November 2004.
	18	J. Valk, J. P. Larsen, P. van Tooren, and A. ter Mors. Channel-based architecture for dynamically reconfigurable networks. In BNAIC, pages 246--253, 2005.
	19	I. C. Yu, E. B. Johnsen, and O. Owe. Type-safe runtime class upgrades in Creol. In R. Gorrieri and H. Wehrheim, editors, Proc. 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06), volume 4037 of Lecture Notes in Computer Science, pages 202--217. Springer-Verlag, June 2006.