Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development

Antonella Chirichiello, Gwen Salaün. Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development. In Andrzej Skowron, Rakesh Agrawal, Michael Luck, Takahira Yamaguchi, Pierre Morizet-Mahoudeaux, Jiming Liu, Ning Zhong, editors, 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 19-22 September 2005, Compiegne, France. pages 457-463, IEEE Computer Society, 2005. [doi]

@inproceedings{ChirichielloS05,
  title = {Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development},
  author = {Antonella Chirichiello and Gwen Salaün},
  year = {2005},
  doi = {10.1109/WI.2005.59},
  url = {http://doi.ieeecomputersociety.org/10.1109/WI.2005.59},
  tags = {web service, web services},
  researchr = {https://researchr.org/publication/ChirichielloS05},
  cites = {0},
  citedby = {0},
  pages = {457-463},
  booktitle = {2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 19-22 September 2005, Compiegne, France},
  editor = {Andrzej Skowron and Rakesh Agrawal and Michael Luck and Takahira Yamaguchi and Pierre Morizet-Mahoudeaux and Jiming Liu and Ning Zhong},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2415-X},
}