Improving workflow modularity using a concern-specific layer on top of Unify

Workflows are a popular means of automating processes in many domains, ranging from high-level business process modeling to lower-level web service orchestration. However, state-of-the-art workflow languages offer a limited set of modularization mechanisms. This results in monolithic workflow specifications, in which different concerns are scattered across the workflow and tangled with one another. This hinders the design, evolution, and reusability of workflows expressed in these languages. We address this problem through the Unify framework. This framework enables uniform modularization of workflows by supporting the specification of all workflow concerns – including crosscutting ones – in isolation of each other. These independently specified workflow concerns are connected to each other using workflow-specific connectors. In order to further facilitate the development of workflows, we enable the definition of concern-specific languages (CSLs) on top of the Unify framework. A CSL facilitates the expression of a family of workflow concerns by offering abstractions that map well to the concerns' domain. Thus, domain experts can add concerns to a workflow using concern-specific language constructs. We exemplify the specification of a workflow in Unify, and show the definition and application of two concern-specific languages built on top of Unify.     

基于工作流的总体研制流程跟踪管理系统设计

为了满足高密度发射下总体设计研制进程管理的需求,提出并实现了基于工作流技术的总体研制流程跟踪管理系统,协同总体各专业对多任务进行设计,固化了研制流程模板知识库管理,解决了发射任务六大里程碑管理,通过与AVIDM系统计划管理模块和文档管理模块的集成,实现了对整个研制任务所有步骤进行统一跟踪、统一下发到AVIDM项目管理,最终完成研制任务的闭环管理,确保研制进度受控,减少研制风险。     

Development of a computationally efficient semi-distributed hydrologic modeling application for soil moisture,lateral flow and runoff simulation

A new automated workflow based computationally efficient hydrologic modeling application is developed for soil moisture and runoff simulation. The spatially distributed conceptual framework underpinning the Soil Moisture And Runoff simulation Toolkit (SMART) resolves water balance in large upland catchments where topography and land cover are significant drivers of rainfall-runoff transformations. SMART's computational efficiency is achieved by delineation of contiguous and topologically connected hydrologic response units and solving the water balance equation on spatially representative Equivalent Cross-Sections (ECSs). ECSs are formulated by aggregating topographic and physiographic properties of the complete or part of the first order Strahler sub-basins, thereby reducing the number of computational elements. Water balance simulations across the ECSs in two sub-basins illustrated little loss of accuracy compared to the distributed cross section delineations and soil moisture observations. A 2-dimensional Richards' equation based hydrologic model in SMART can be augmented with additional functionalities or replaced with other model structures.     

Property specification,process verification,and reporting – A case study with vehicle-commissioning processes

Testing in the automotive industry is supposed to guarantee that vehicles are shipped without any flaw. Respective processes are complex, due to the variety of components and electronic devices in modern vehicles. To achieve error-free processes, their formal analysis is required. Specifying and maintaining properties the processes must satisfy in a user-friendly way is a core requirement on any verification system. We have observed that there are few property templates that testing processes must adhere to, and we describe these templates. They depend on the context of the processes, e.g., the components of the vehicle or testing stations. We have developed a framework that instantiates the templates of properties at verification time and then verifies the process against these instances. To allow an automatic verification we develop a transformation of the commissioning process to a Petri net. Using a novel approach, we are able to report the found violations to the user in a user-friendly way. Our empirical evaluation with the industrial partner has shown that our framework does detect property violations in processes. From expert interviews we conclude that our framework is user-friendly and well suited to operate in a real production environment.     

A new verification technique for large processes based on identification of relevant tasks

Verification recently has become a challenging topic for business process languages. Verification techniques like model checking allow to ensure that a process complies with domain-specific requirements, prior to the execution. To execute full-state verification techniques like model checking, the state space of the process needs to be constructed. This tends to increase exponentially with the size of the process schema, or it can even be infinite. We address this issue by means of requirements-specific reduction techniques, i.e., reducing the size of the state space without changing the result of the verification. We present an approach that, for a given requirement the system must fulfill, identifies the tasks relevant for the verification. Our approach then uses these relevant tasks for a reduction that confines the process to regions of interest for the verification. To evaluate our new technique, we use real-world industrial processes and requirements. Mainly because these processes make heavy use of parallelization, full-state-search verification algorithms are not able to verify them. With our reduction in turn, even complex processes with many parallel branches can be verified in less than 10 s.     

定制工作流程建筑

数字化时代和信息技术已经拓展了建筑师的工具，并增加了其在物质与非物质、人与机器之间的调解能力。根据本文提出的方法，工作流程自动化（互操作工具集）促进了设计过程中的通用性和互换性，给予建筑师更多的决定权，并创建根据环境和用户开发建筑的机会。     

A linear time layout algorithm for business process models

The layout of a business process model influences how easily it can be understood. Existing layout features in process modeling tools often rely on graph representations, but do not take the specific properties of business process models into account. In this paper, we propose an algorithm that is based on a set of constraints which are specifically identified toward establishing a readable layout of a process model. Our algorithm exploits the structure of the process model and allows the computation of the final layout in linear time. We explain the algorithm, show its detailed run-time complexity, compare it to existing algorithms, and demonstrate in an empirical evaluation the acceptance of the layout generated by the algorithm. The data suggests that the proposed algorithm is well perceived by moderately experienced process modelers, both in terms of its usefulness as well as its ease of use.     

Streamlining patient consultations for sleep disorders with a knowledge-based CDSS

ObjectivesThis paper examines the workflow of sleep physicians during a patient consultation and how an innovative clinical decision support system (CDSS) provides efficiency and effectiveness gains.MethodsThe CDSS tools consisted of two input applications for patient data, with a knowledge based decision support system developed participatively with physicians and an international panel. An argument tree approach was used to produce diagnostic explanations and an evidence-based report for the physician using medically correct and shared terminology. A usability evaluation using a qualitative approach was carried out to ensure that the CDSS met the physicians׳ information needs, as well as the wider needs of a Sleep Investigation Unit.ResultsThe physicians found the CDSS both useful and usable with clear applications in triage and diagnostic decision-making, and in patient education.ConclusionThe CDSS both reduces the time and number of visits needed for consultations, and helps focus consultation on better individual patient care through informed explanation of diagnostic and treatment decisions.     

Data and process requirements for product recall coordination

When an organisation becomes aware that one of its products may pose a safety risk to customers, it must take appropriate action as soon as possible or it can be held liable. The ability to automatically trace potentially dangerous goods through the supply chain would thus help organisations fulfil their legal obligations in a timely and effective manner. Furthermore, product recall legislation requires manufacturers to separately notify various government agencies, the health department and the public about recall incidents. This duplication of effort and paperwork can introduce errors and data inconsistencies. In this paper, we examine traceability and notification requirements in the product recall domain from two perspectives: the activities carried out during the manufacturing and recall processes and the data collected during the enactment of these processes. We then propose a workflow-based coordination framework to support these data and process requirements.