SENSORIA All Publications |
|
Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Towards Contract-based Testing of Web Services. @INPROCEEDINGS{HL05TACoS, title = {{Towards Contract-based Testing of Web Services.}}, author = {{Reiko} {Heckel} and {Marc} {Lohmann}}, booktitle = {Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)}, editor = {Mauro Pezz\'e}, pages = {145-156}, abstract = {Web Services are composed by linking together service providers and requestors. To ensure interoperability, the requestor?s requirements for a service have to be matched against a service description offered by the provider. Besides data types and operation signatures, this requires service specifications to include behavioral information, like contracts specifying pre- and post-conditions of (required or provided) operations. In this paper, we propose to visualize contracts by graph transformation rules which blend well with a UML-based notion of data models and signatures. The operational interpretation of rules could turn out to be useful for simulating the behavior of required components in unit testing.}, volume = {116}, year = {2005}, url = {http://www.cs.le.ac.uk/people/rh122/papers/2005/HL05TACoS.pdf}, ee = {http://dx.doi.org/10.1016/j.entcs.2004.02.073}, partner = {ULEICES}, }
|