Handbook of theoretical computer science (vol. B)
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Foundations of component-based systems
Foundations of component-based systems
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
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
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
The Description Logic Handbook
The Description Logic Handbook
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Ontology support for web service processes
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Security in the Web Services Framework
ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies
Towards a knowledge-based framework for COTS component identification
MPEC '05 Proceedings of the second international workshop on Models and processes for the evaluation of off-the-shelf components
Early detection of COTS component functional suitability
Information and Software Technology
A conceptual architecture for semantic web services development and deployment
International Journal of Web and Grid Services
A Formal Approach to Service Specification and Matching based on Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
A Semantical Framework for the Orchestration and Choreography of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
An Interface Group for Process Components
Fundamenta Informaticae
Layered patterns in modelling and transformation of service-based software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
Filtering COTS components through an improvement-based process
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
Analysis of compositional conflicts in component-based systems
SC'05 Proceedings of the 4th international conference on Software Composition
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
Hi-index | 0.00 |
The Web is likely to be a central platform for software development in the future. We investigate how Semantic Web technologies, in particular ontologies, can be utilised to support software component development in a Web environment. We use description logics, which underlie Semantic Web ontology languages such as DAML+OIL, to develop an ontology for matching requested and provided components. A link between modal logic and description logics will prove invaluable for the provision of reasoning support for component and service behaviour.