Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
An Architecture-Based Approach to Self-Adaptive Software
IEEE Intelligent Systems
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
The Vision of Autonomic Computing
Computer
Coordination through Channel Composition
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Modeling component connectors in Reo by constraint automata
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
Task automata: Schedulability, decidability and undecidability
Information and Computation
Checking Equivalence for Reo Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Type-Safe runtime class upgrades in creol
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
| Hi-index | 0.00 |
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.