Web Service Contracting: Specification and Reasoning with SCIFF

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni. Web Service Contracting: Specification and Reasoning with SCIFF. In Enrico Franconi, Michael Kifer, Wolfgang May, editors, The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings. Volume 4519 of Lecture Notes in Computer Science, pages 68-83, Springer, 2007. [doi]

@inproceedings{AlbertiCGLMMT07:0,
  title = {Web Service Contracting: Specification and Reasoning with SCIFF},
  author = {Marco Alberti and Federico Chesani and Marco Gavanelli and Evelina Lamma and Paola Mello and Marco Montali and Paolo Torroni},
  year = {2007},
  doi = {10.1007/978-3-540-72667-8_7},
  url = {http://dx.doi.org/10.1007/978-3-540-72667-8_7},
  tags = {contracts, web service},
  researchr = {https://researchr.org/publication/AlbertiCGLMMT07%3A0},
  cites = {0},
  citedby = {0},
  pages = {68-83},
  booktitle = {The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings},
  editor = {Enrico Franconi and Michael Kifer and Wolfgang May},
  volume = {4519},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-72666-1},
}