Current Proceedings on Technology

Current Proceedings on Technology

A translation from web application description language into Z notation

Yazarlar: Mahsa Golshani Nasab, Hassan Haghighi

Cilt 1 , Sayı - , 2012 , Sayfalar -

Konular:-

Anahtar Kelimeler:Z Notation,Web services,WADL,WSDL,Service composition.  

Özet:   Service composition is one of the central and most important tenets of service-oriented computing. Today there are two prominent categories of Web services, i.e., SOAP-based and RESTful Web services, which are described via WSDL and WADL, respectively.Atranslation from WSDL into Z has been already given in the literature. In this paper, we present a translation of WADL into the Z specification language. Having these two translations in place, one can check the consistency between two WSDLs, two WADLs, one WSDL and one WADL formally before applying the real composition among them.

ATIFLAR
Atıf Yapan Eserler
Henüz Atıf Yapılmamıştır
KAYNAK GÖSTER
BibTex
KOPYALA
@article{2012, title={A translation from web application description language into Z notation}, volume={1}, number={0}, publisher={Current Proceedings on Technology }, author={Mahsa Golshani Nasab, Hassan Haghighi}, year={2012} }
APA
KOPYALA
Mahsa Golshani Nasab, Hassan Haghighi. (2012). A translation from web application description language into Z notation (Vol. 1). Vol. 1. Current Proceedings on Technology .
MLA
KOPYALA
Mahsa Golshani Nasab, Hassan Haghighi. A Translation from Web Application Description Language into Z Notation. no. 0, Current Proceedings on Technology , 2012.
Atıf Görüntüle
PDF Görüntüle
Kaynak Görüntüle
Paylaş
Dergi Bilgileri