The paper proposes to factor three leading edge technologies, namely Web Services, Intelligent Agents, and Computational logic, for implementing logic-based agents that reason about interaction protocols specified usi...
详细信息
This paper studies a problem of web service composition from a syntactic approach. In contrast with other approaches on enriched semantic description such as state-transition description of web services, our focus is ...
详细信息
We propose Hilda, a high-level language for developing data-driven web applications. The primary benefits of Hilda over existing development platforms are: (a) it uses a unified data model for all layers of the applic...
详细信息
ISBN:
(纸本)9781424429448
We propose Hilda, a high-level language for developing data-driven web applications. The primary benefits of Hilda over existing development platforms are: (a) it uses a unified data model for all layers of the application, (b) it is declarative, (c) it models both application queries and updates, (d) it supports structured programming for web sites, and (e) it enables conflict detection for concurrent updates. We also describe the implementation of a simple proof-ofconcept Hilda compiler, which translates a Hilda application program into Java Servlet code.
Recently, there has been a lot of interest in the integration of Description logics and rules on the Semantic Web. We define g-hybrid knowledge bases as knowledge bases that consist of a Description logic knowledge ba...
详细信息
Service-oriented computing is gaining wider acceptance. For Web services to become practical, an infrastructure needs to be supported that allows users and applications to discover, deploy, compose and synthesize serv...
详细信息
Effort estimation is a long faced problem, but, in spite of the amount of research spent in this field, it still remains an open issue in the software engineering community. In two previous works the authors proposed ...
详细信息
Effort estimation is a long faced problem, but, in spite of the amount of research spent in this field, it still remains an open issue in the software engineering community. In two previous works the authors proposed an approach named dynamic calibration for effort estimation of software projects. In this paper they present a tool named SPEED that implements the dynamic calibration approach
In this paper, we present an overview of our approach to C macro handling in the Proteus C/C++ code transformation system. This approach gives us the capability to fully capture the semantics of complex macros without...
详细信息
In this paper, we present an overview of our approach to C macro handling in the Proteus C/C++ code transformation system. This approach gives us the capability to fully capture the semantics of complex macros without sacrificing high fidelity. As part of the Proteus system, they have been successfully applied to millions of lines of C/C++ code
During the last decade, the number of software applications that have been deployed as a set of components built using different programming languages and paradigms has increased considerably. When such applications a...
详细信息
During the last decade, the number of software applications that have been deployed as a set of components built using different programming languages and paradigms has increased considerably. When such applications are maintained, traditional program comprehension and reengineering techniques may not be adequate. Hence, this working session aims to stimulate discussion around key issues relating to the comprehension, re engineering, and maintenance of multi-language software applications. Such issues include, but are not limited to, the formalization, management, exploration, and presentation of multi-language program dependencies, as well as the development of practical toolsets to automate and ease the comprehension and maintenance of multi-language software
This paper studies a problem of web service composition from a syntactic approach. In contrast with other approaches on enriched semantic description such as statetransition description of web services, our focus is i...
详细信息
This paper studies a problem of web service composition from a syntactic approach. In contrast with other approaches on enriched semantic description such as statetransition description of web services, our focus is in the case when only the input-output type information from the WSDL specifications is available. The web service composition problem is formally formulated as deriving a given desired type from a collection of available types and web services using a prescribed set of rules with costs. We show that solving the minimal cost composition is NP-complete in general, and present a practical solution based on dynamic programming. Experiements using a mixture of synthetic and real data sets show that our approach is viable and produces good results.
暂无评论