Abstract
Web services should be dependable, because businesses rely on them. For that purpose the Service Oriented
Architecture has standardized specifications at a syntactical level. In this paper, we demonstrate how such specifications are used to derive semantic models in the form of (timed) automata. These can be used to model check functional and behavioural properties of a given service. Since there might be several specifications dealing with different aspects, one must also check that these automata are consistent, where we propose to set up a suitable simulation relation. The proposed techniques are illustrated with a small case study
Architecture has standardized specifications at a syntactical level. In this paper, we demonstrate how such specifications are used to derive semantic models in the form of (timed) automata. These can be used to model check functional and behavioural properties of a given service. Since there might be several specifications dealing with different aspects, one must also check that these automata are consistent, where we propose to set up a suitable simulation relation. The proposed techniques are illustrated with a small case study
Original language | English |
---|---|
Title of host publication | Proceedings of the International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies : UBICOMM'2007 |
Publisher | IEEE Computer Society Press |
Publication date | 2007 |
Pages | 149-154 |
ISBN (Print) | 0-7695-2993-3 |
Publication status | Published - 2007 |
Event | International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies - Papeete, French Polynesia Duration: 4 Nov 2007 → 8 Nov 2007 Conference number: 1 |
Conference
Conference | International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies |
---|---|
Number | 1 |
Country/Territory | French Polynesia |
City | Papeete |
Period | 04/11/2007 → 08/11/2007 |