Handbook of theoretical computer science (vol. B)
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Communications of the ACM - Ontology: different ways of representing the same concept
Predicting how ontologies for the semantic web will evolve
Communications of the ACM - Ontology: different ways of representing the same concept
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Building Reliable Component-Based Software Systems
Building Reliable Component-Based Software Systems
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Computer
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Semantic Configuration Web Services in the CAWICOMS Project
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Bringing Together Semantic Web and Web Services
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
DAML-S: Web Service Description for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Digital libraries and web-based information systems
The description logic handbook
An ontology for software component matching
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Ubiquitous Data Management in Knowledge Sifter via Data-DNA
UDM '05 Proceedings of the International Workshop on Ubiquitous Data Management
A DSS Design Model for complex problems: Lessons from mission critical infrastructure
Decision Support Systems
Measuring similarity between semantic business process models
APCCM '07 Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
A conceptual architecture for semantic web services development and deployment
International Journal of Web and Grid Services
Semantic model-driven development of web service architectures
International Journal of Web Engineering and Technology
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
A semantic distance measure for matching web services
WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering
Layered ontological modelling for web service-oriented model-driven architecture
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Ontology transformation and reasoning for model-driven architecture
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Ontology-based composition and transformation for model-driven service architecture
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
An ontology-based approach for modelling architectural styles
ECSA'07 Proceedings of the First European conference on Software Architecture
Hi-index | 0.00 |
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web service choreography. Choreography refers to the composition of individual services to services processes that can communicate and interact with another.We propose a formal ontology framework for these Web service processes that supports the description, matching, and composition through logic reasoning techniques. The Semantic Web, based on a description logic-based knowledge representation and reasoning framework, provides the foundations. Integrating aspects from modal logics and process calculi into this framework will prove essential.