Modeling and Validating Service Choreography with Semantic Interfaces and Goals
Jhongli（2008）
摘要
Service choreography is a composition approach which has not yet received wide attention in SOA research. In this paper, we describe an approach for the modeling and validation of choreography based on so-called Semantic Interfaces and Goals. Our contributions include flexible modeling of choreography with formal semantics and solid validation techniques supported by tools. The approach is explained through an illustrating example.
更多查看译文
关键词
validating service choreography,service choreography,so-called semantic interfaces,soa research,illustrating example,solid validation technique,composition approach,wide attention,flexible modeling,formal semantics,service oriented architecture,unified modeling language,semantic web,software architecture,modeling,collaboration,soa,algebra,web services
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要