A formal model forweb service choreography description language (WS-CDL)
2006 IEEE International Conference on Web Services (ICWS'06), 2006•ieeexplore.ieee.org
We propose a language CDL as a formal model of simplified WS-CDL. The operational
semantics of CDL is given, and static validation and verification of choreographies is
studied. Some properties of the proposed model are verified using the SPIN model-checker,
which illustrates the potential usage and benefits of the formal model
semantics of CDL is given, and static validation and verification of choreographies is
studied. Some properties of the proposed model are verified using the SPIN model-checker,
which illustrates the potential usage and benefits of the formal model
We propose a language CDL as a formal model of simplified WS-CDL. The operational semantics of CDL is given, and static validation and verification of choreographies is studied. Some properties of the proposed model are verified using the SPIN model-checker, which illustrates the potential usage and benefits of the formal model
ieeexplore.ieee.org
以上显示的是最相近的搜索结果。 查看全部搜索结果