Automatic or assisted workflow composition is a field of intense research for applications to the World Wide Web or to business process modeling. Workflow composition is traditionally addressed in various ways, genera...
详细信息
Automatic or assisted workflow composition is a field of intense research for applications to the World Wide Web or to business process modeling. Workflow composition is traditionally addressed in various ways, generally via theorem proving techniques. The originality of this research stems from the observation that building a composite workflow bears strong relationships with finite model search, and that some workflow languages can be defined as constrained object metamodels (van der Aalst et al., 2003). This leads to consider the viability of applying configuration techniques to this problem. Our main contribution is to prove the feasibility of such an approach, with some advantages and drawbacks compared to logical based techniques. We present a constrained object model for workflow composition, based upon a metamodel for workflows and ontologies for processes and data flows. Experimental results are listed for a working implementation that generates complex interleaving composite workflows involving transformations, synchronization and branching constructs.
Extreme programming (XP) literature and discussions often view successful projects only as customer-driven product development: planning, coding and testing an unfolding series of prioritized units of vertical functio...
详细信息
Extreme programming (XP) literature and discussions often view successful projects only as customer-driven product development: planning, coding and testing an unfolding series of prioritized units of vertical functionality. I claim, however, that a successful project also requires a prospering community, comprising an introspective group of committed professionals communicating effectively, and using a well-understood, stable process. Weakness on any of these fronts presents a high risk of failure; therefore, I advise every XP project's members to actively engage in building their community, such that it reaches its critical level of development already by the first internal release. To help in this endeavor, I provide a comprehensive list of activities and attitudes to practice and avoid during the first release.
Web services are becoming very important in applications from electronic commerce to application interoperation. While numerous efforts have focused on service composition, plan selection among similar plans with diff...
详细信息
Web services are becoming very important in applications from electronic commerce to application interoperation. While numerous efforts have focused on service composition, plan selection among similar plans with different performance has not been addressed. We propose a feedback based dynamic autonomous composition strategy for the automated composition of web services described in semantic Web. The strategy is tested in a simulated environment with good experimental results.
Resolution-based automated reasoning theory is an important and active research field in artificial intelligence. It is not only used to judge the satisfiability of any logic formula, but also widely applied to areas ...
详细信息
ISBN:
(纸本)0780388127
Resolution-based automated reasoning theory is an important and active research field in artificial intelligence. It is not only used to judge the satisfiability of any logic formula, but also widely applied to areas such as artificial intelligence, logic programming, problem solving and question answering systems, database theory, and so on. With the development of classical and non-classical logic, resolution theory and method based on different logic system has been discussed widely and deeply. In the present paper, resolution-based automated reasoning theory in a six lattice-valued first-order logic is focused. This resolution principle in this paper is based on ultrafilter of lattice implication algebra. In this paper, some necessary preliminaries are given first. Then resolution principle in L/sub 6/F(X) is discussed and soundness and completeness theorem is proved. Because of L/sub 6/F(X) is a non-chain, non-boolean and non-well-ordered algebra structure, resolution based on L/sub 6/F(X) is the theoretical foundation of resolution on lattice-valued truth-field. Accordingly, the research in this paper is a helpful support for the application of intelligent reasoning system based on lattice-valued logic which includes incomparable information.
Movement of entities in discrete event simulation typically requires predefined paths with decision points that dictate entity movement. Human-like travel is difficult to model correctly with these constraints because...
详细信息
ISBN:
(纸本)9780780395190
Movement of entities in discrete event simulation typically requires predefined paths with decision points that dictate entity movement. Human-like travel is difficult to model correctly with these constraints because that is not how people move and large individual differences exist in capabilities and strategies. Agent based modeling is considered a better way to simulate the real-time interaction of people with their environment. In this paper we propose to integrate agent based modeling with discrete event simulation to simulate the movement of people in a discrete event system. An agent based module was constructed within the AutoMod simulation package, and a test case was modeled in which people (agents) at a theme-park interact with objects and people in their environment to get directions and then walk or take a tram to their final destination. We explain the details of model implementation and describe the verification and initial validation of the model.
FPGA-based soft multiprocessors are viable system solutions for high performance applications. They provide a software abstraction to enable quick implementations on the FPGA. The multiprocessor can be customized for ...
详细信息
FPGA-based soft multiprocessors are viable system solutions for high performance applications. They provide a software abstraction to enable quick implementations on the FPGA. The multiprocessor can be customized for a target application to achieve high performance. Modern FPGAs provide the capacity to build a variety of micro-architectures composed of 20-50 processors, complex memory hierarchies, heterogeneous interconnection schemes and custom co-processors for performance critical operations. However, the diversity in the architectural design space makes it difficult to realize the performance potential of these systems. In this paper we develop an exploration framework to build efficient FPGA multiprocessors for a target application. Our main contribution is a tool based on Integer Linear programming to explore micro-architectures and allocate application tasks to maximize throughput. Using this tool, we implement a soft multiprocessor for IPv4 packet forwarding that achieves a throughput of 2 Gbps, surpassing the performance of a carefully tuned hand design.
This paper presents a novel method to generate optimized architecture of hardware processes implemented on "system on a programmable chip" (SoPC). The hardware processes are the applications tailored "c...
详细信息
This paper presents a novel method to generate optimized architecture of hardware processes implemented on "system on a programmable chip" (SoPC). The hardware processes are the applications tailored "cells" in the processor-coupled polymorphous fabric (Ch. Wolinski et al., 2003, Ch. Wolinski et al., 2002) implemented on the reconfigurable SoPC platform. In order to obtain optimized high performance pipelined architecture each process implementing repetitive conditional behavior with possible inter-iteration dependencies is scheduled under hardware resource constraints using "fabric cell synthesis tool" (FAST). The scheduling problem is defined and solved using constraints programming approach. This approach makes it possible to obtain optimal solutions in terms of execution time and number of registers for a number of real cases. Our method is illustrated using a simple example and a part of the "CORDIC" application (S.F. Hsiao et al., 1991). The final design is implemented on a reconfigurable platform that shows feasibility of our approach. Optimal schedules are achieved for both discussed applications.
A process is a mathematical entity of composed functions. Real-time process algebra (RTPA) introduces the time dimension into the process paradigm, which is an ideal means to model software architectures and behaviors...
详细信息
A process is a mathematical entity of composed functions. Real-time process algebra (RTPA) introduces the time dimension into the process paradigm, which is an ideal means to model software architectures and behaviors in software engineering. RTPA provides a set of formal notations and rules for describing the algebraic relations of software processes. The mathematical models and the 86 algebraic laws of process algebra are developed in this paper, which form the theoretical foundation for analyzing software architectures and behaviors. The generic applicability and high effectiveness of the algebraic laws of RTPA are demonstrated in a wide range of real-world software engineering projects
In this paper, we employ Web services, programmable application logic accessible using standard Internet protocol, to enable a robot to access the distributed application logic based on the recent network technologies...
详细信息
In this paper, we employ Web services, programmable application logic accessible using standard Internet protocol, to enable a robot to access the distributed application logic based on the recent network technologies like XML, SOAP, WSDL, UDDI. Applications can communicate with each other in a platform and programming language independent manner. We first discuss a ubiquitous control platform based on ubiquitous functions to allow a robot the infinitive freedom of movement and knowledge acquirement. We then explain the fundamental ubiquitous functions management framework for a robot. In this framework, the applications are constructed from multiple Web services that work together to provide data and services for the application. Finally, the proposed scheme is applied to the control of the knowledge distributed robot system.
The paper extends the concept of justification to the context of Answer Set programming---a recent paradigm that builds on the foundations of logic programming, answer set semantics, and non-monotonic reasoning. A jus...
详细信息
ISBN:
(纸本)9781595930507
The paper extends the concept of justification to the context of Answer Set programming---a recent paradigm that builds on the foundations of logic programming, answer set semantics, and non-monotonic reasoning. A justification describes the support for the truth value of each atom in an answer set of a logic program, and it can be employed as a tool for reasoning and debugging of answer set programs. The paper describes the implementation of the notion of justification in the ASP system along with some examples of its applications.
暂无评论