In distributed computing environment,workflow technologies have been continuously developed.Recently,there is an attempt to apply these technologies to context-aware services in ubiquitous computing environment.The mi...In distributed computing environment,workflow technologies have been continuously developed.Recently,there is an attempt to apply these technologies to context-aware services in ubiquitous computing environment.The middleware,which offers services in such environments,should support the automation services suited for the user using various types of situational information around the user.In this paper,based on context-aware workflow language(CAWL),we propose a CAWL based composite workflow handler for supporting composite workflow services,which can integrate more than two service flows and handle them.The test results shows that the proposed CAWL handler can provide the user with the composite workflow services to cope with various demands on a basis of a scenario document founded on CAWL.展开更多
Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of wor...Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of workflow products and research prototypes provide the few supports for the verification of XML-based workflow model, such as free-deadlock properties, which is essential to successful application of workflow technology. In this paper, we tackle this problem by mapping the XML-based workflow model into Petri-net, a kind of well-known formalism for modeling, analyzing and verifying system. As a result, the XML-based workflow model can be automatically verified with the help of general Petri-net tools, such as DANAMICS. The presented approach not only enables end users to represent workflow model with XML-based modeling language, but also the correctness of model can be ensured, thus satisfying the needs of business processes.展开更多
基金The MSIP(Ministry of Science,ICT&Future Planning),Korea,under the ITRC(Information Technology Research Center)support program(NIPA-2013-H0301-13-2006)supervised by the NIPA(National IT Industry Promotion Agency)
文摘In distributed computing environment,workflow technologies have been continuously developed.Recently,there is an attempt to apply these technologies to context-aware services in ubiquitous computing environment.The middleware,which offers services in such environments,should support the automation services suited for the user using various types of situational information around the user.In this paper,based on context-aware workflow language(CAWL),we propose a CAWL based composite workflow handler for supporting composite workflow services,which can integrate more than two service flows and handle them.The test results shows that the proposed CAWL handler can provide the user with the composite workflow services to cope with various demands on a basis of a scenario document founded on CAWL.
文摘Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of workflow products and research prototypes provide the few supports for the verification of XML-based workflow model, such as free-deadlock properties, which is essential to successful application of workflow technology. In this paper, we tackle this problem by mapping the XML-based workflow model into Petri-net, a kind of well-known formalism for modeling, analyzing and verifying system. As a result, the XML-based workflow model can be automatically verified with the help of general Petri-net tools, such as DANAMICS. The presented approach not only enables end users to represent workflow model with XML-based modeling language, but also the correctness of model can be ensured, thus satisfying the needs of business processes.
