Representing and analysing composed web services using Cress
Journal of Network and Computer Applications
A rigorous approach to orchestrating grid services
Computer Networks: The International Journal of Computer and Telecommunications Networking
Abstraction and analysis of clinical guidance trees
Journal of Biomedical Informatics
A Rigorous Methodology for Composing Services
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Graphical composition of grid services
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Formalising interactive voice services with SDL
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Rigorous development of composite grid services
Journal of Network and Computer Applications
Rigorous development of prompting dialogues
Journal of Biomedical Informatics
| Hi-index | 0.00 |
It is argued that specifications should be rigorously validated against requirements. This is useful to build confidence in a specification and to check a specification after it or the requirements have changed. The multiple-use scenario test and refusal description (MUSTARD) is introduced as a means of formulating and formalizing validation scenarios. The practical use of MUSTARD on a number of case studies is introduced. The MUSTARD notation is then explained, using examples from Internet telephony to show how validation scenarios are written. The core MUSTARD constructs are augmented by domain-specific vocabularies that adapt it for different kinds of systems. It is demonstrated how MUSTARD can validate specifications written in two standardized formal languages: language of temporal ordering specification (LOTOS) and specification and description language (SDL). Copyright © 2006 John Wiley & Sons, Ltd.