Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software

Gordon J. Pace, Anders P. Ravn

The ability to negotiate contracts for a wide range of aspects and to provide services conforming to them is a most pressing need in service-oriented architectures. High-level mode…