论文信息 - A high-level specification for Semantic Web Service Discovery Services

A high-level specification for Semantic Web Service Discovery Services

We define a high-level model to mathematically capture the semantical meaning of Semantic Web Service Discovery Locations (SWS Discovery Services), their distribution and communication mechanisms. This model captures, to our best knowledge, all published semantic web service discovery approaches relying on capability-based semantic matchmaking.

Egon Börger | Andreas Friesen

[1] Egon Börger,et al. The ASM Refinement Method , 2003, Formal Aspects of Computing.

[2] Takahiro Kawamura,et al. Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[3] Egon Börger,et al. An Abstract Model for Process Mediation , 2005, ICFEM.

[4] Boris Motik,et al. Variance in e-Business Service Discovery , 2004, SWS@ISWC.

[5] Egon Börger,et al. A High-Level Specification for Mediators(Virtual Providers) , 2005, Business Process Management Workshops.

[6] Egon Börger,et al. A Compositional Framework for Service Interaction Patterns and Interaction Flows , 2005, ICFEM.

[7] Egon Börger,et al. The ASM Ground Model Method as a Foundation for Requirements Engineering , 2003, Verification: Theory and Practice.

[8] Ian Horrocks,et al. A Software Framework for Matchmaking Based on Semantic Web Technology , 2004, Int. J. Electron. Commer..

[9] Egon Börger,et al. Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .

[10] Holger Lausen,et al. D2v02. Web Service Modeling Ontology - Standard (WSMO - Standard) , 2004 .

[11] Dieter Fensel,et al. The Web Service Modeling Framework WSMF , 2002, Electron. Commer. Res. Appl..

[12] Egon Börger,et al. An Execution Semantics for Mediation Patterns , 2005, WIW.