Recently, Web services have become a new technology trend for Enterprise Application Integration (EAI) and more and more applications based on Web services are emerging. One of the problems in using Web services in bu...
详细信息
ISBN:
(纸本)0769521673
Recently, Web services have become a new technology trend for Enterprise Application Integration (EAI) and more and more applications based on Web services are emerging. One of the problems in using Web services in business applications such as logistics is services comp.sition automatically and efficiently. In this paper, we present a Dynamic, Demand-Driven Web services Engine called D3D-Serv to implement comp.site service functionality that is used to dynamically build comp.site services from existing services according to different business logics and requirements. In this D3D_Serv framework, the most challenging function to implement is dynamic selection of service providers at run time. The highly dynamic and distributed nature of Web services often makes some service providers overloaded at certain times while others idle. To solve this problem, we propose an efficient services selection and execution strategy that is based on the queuing theory and can provide guarantees for the QOS (Quality of Service) under provider's limited resources. Preliminary experimental results have shown that this algorithm is effective.
The Object Constraint Language (OCL) was introduced as part of the Unified Modeling Language (UML). Its main purpose is to make UML models more precise by providing a constraint language. For example, operation contra...
详细信息
A workflow management system (WFMS) helps to coordinate, monitor, and streamline business. It provides a set of tools that provides support for process definition, workflow enactment, and administration and monitoring...
详细信息
ISBN:
(纸本)0889863989
A workflow management system (WFMS) helps to coordinate, monitor, and streamline business. It provides a set of tools that provides support for process definition, workflow enactment, and administration and monitoring of workflow processes in a heterogeneous and distributed environment. The advent of mobile technologies encourages users to download the tasks assigned into their mobile devices, and perform the tasks while their devices are disconnected from workflow servers. However, most existing WFMSs have been designed based on the assumption that all workflow clients are connected to the server during the execution, so we need to a way to handle such a disconnected execution. This paper presents the data synchronization based approach in extending a workflow system for support disconnected operations at runtime clients. The approach is being used in extending Hanuri/TFlow workflow system with MoIM-SyncML data synchronization engine.
Workflow recovery aims to restore the most recent consistent process state after a failure, so that as little long-duration work as possible is lost and that process execution can be continued. In this paper, we prese...
详细信息
ISBN:
(纸本)0889863806
Workflow recovery aims to restore the most recent consistent process state after a failure, so that as little long-duration work as possible is lost and that process execution can be continued. In this paper, we present design and implementation of the crash recovery of Hanuri/TFlow workflow engine. We depend on the well-known 'repeating-history' scheme for restarting recovery after workflow engine failure. Our contribution is mainly focused on the resuming strategy after crash recovery.
In the existing Fault-Tolerant software Distributed Shared Memory (FT-SDSM) with the message logging, the logs are used only to recover the failed nodes. In our previous work, we have implemented a lightweight logging...
详细信息
ISBN:
(纸本)088986392X
In the existing Fault-Tolerant software Distributed Shared Memory (FT-SDSM) with the message logging, the logs are used only to recover the failed nodes. In our previous work, we have implemented a lightweight logging protocol, called remote logging, on the SDSM for fault tolerance, which incurs low logging overhead with a fast network and a remote memory for back-up data. In this paper, we propose two practical schemes for the logs, which enhance our based remote logging protocol. In these proposed schemes, the logs are applicable to reduce the stalled times for updating the invalid pages, minimizing the failure-free execution time.
Many DRM(Digital Rights Management) systems have provided solutions to protect and manage only rights of media distributor against purchasers in B2C environment. However, they hardly consider the rights of the other d...
详细信息
ISBN:
(纸本)0889863806
Many DRM(Digital Rights Management) systems have provided solutions to protect and manage only rights of media distributor against purchasers in B2C environment. However, they hardly consider the rights of the other distribution subjects in content value chain such as creator, rights holder, and creation provider. This paper suggests Distribution Information Management System (DIMS) for protecting the rights of these distribution subjects, which supports environment to make a contact and to enforce the contract. Especially, this paper suggests new extensible enforcement Markup Language (XeML) that defines enforceable items of the contract.
Maintenance categories differ too much in order to be covered by one and the same generic process model. Too general process models do not give enough guidance when building process models and when measuring processes...
详细信息
Maintenance categories differ too much in order to be covered by one and the same generic process model. Too general process models do not give enough guidance when building process models and when measuring processes. They often invite subjectivity and imprecision. In this paper, we suggest a detailed taxonomy of the activities for one of the processes essential within corrective maintenance - Problem Management Process. Together with other taxonomies of the processes inherent within corrective maintenance, this taxonomy should constitute a platform for defining corrective maintenance process models and an interim reference model for future measurements of corrective software maintenance.
For real-time systems, UML sequence diagrams describe interaction among objects, which show the scenarios of system behaviour. In this paper, we give the solution for timing analysis of simple UML sequence diagrams wh...
ISBN:
(纸本)9783540667124
For real-time systems, UML sequence diagrams describe interaction among objects, which show the scenarios of system behaviour. In this paper, we give the solution for timing analysis of simple UML sequence diagrams which describe exactly one scenario without any alternatives and loops, and develop an algorithm for checking the comp.sitions of UML sequence diagrams, which describe multiple scenarios, for timing consistency.
To provide rigorous validation and verification of autonomous software, the authors apply two analytic-verification approaches: Design-time model checking and runtime behavior auditing.
To provide rigorous validation and verification of autonomous software, the authors apply two analytic-verification approaches: Design-time model checking and runtime behavior auditing.
暂无评论