Clinical Practice Guidelines (CPGs) include recommendations aimed at optimising patient care, informed by a review of the available clinical evidence. To achieve their potential benefits, CPG should ...be readily available at the point of care. This can be done by translating CPG recommendations into one of the languages for Computer-Interpretable Guidelines (CIGs). This is a difficult task for which the collaboration of clinical and technical staff is crucial. However, in general CIG languages are not accessible to non-technical staff. We propose to support the modelling of CPG processes (and hence the authoring of CIGs) based on a transformation, from a preliminary specification in a more accessible language into an implementation in a CIG language. In this paper, we approach this transformation following the Model-Driven Development (MDD) paradigm, in which models and transformations are key elements for software development. To demonstrate the approach, we implemented and tested an algorithm for the transformation from the BPMN language for business processes to the PROforma CIG language. This implementation uses transformations defined in the ATLAS Transformation Language. Additionally, we conducted a small experiment to assess the hypothesis that a language such as BPMN can facilitate the modelling of CPG processes by clinical and technical staff.
•Modelling processes using computer-interpretable guideline (CIG) languages is complex.•Furthermore, clinicians should be involved in the modelling process.•To achieve this, we propose first to describe clinical processes in the BPMN notation.•Then, a transformation of BPMN models can be applied to obtain the final CIG models.•The Model-Driven Development paradigm can be used to implement such transformation.
The article deal with the modelling of processes in the area of the raw material processing using service oriented architecture (SOA) in the web services (WS) form, as well. There are analysed ...processes and their models with aim to describe elementary processes in the area of processing the raw materials. At the base on analysis there are suggested support tools and elementary models of the mixing, combustion, and heating processes. In the next part there is principle of SOA with using WS. For each elementary model there are designed and implemented web service description, server and client part. There are also described possibilities of creating complexed models connecting the elementary models and means of the support. In conclusion there are examples of simulation models as web services.
'Robustness' is an important concept used in quality engineering for the improvement of quality in a manufacturing process. A process which is insensitive to noise variation is called a robust ...process. The robustness is modelled by several researchers and practioners for its design and implementation in a manufacturing process. A review of all these approaches is essential in order to assess their strengths, limitations and applicability under different process conditions and constraints. Over the years, many of these approaches have found widespread application in measuring, assessing and modelling of process robustness in manufacturing and other industries. In this paper, an attempt has been made to review critically the existing approaches as proposed and applied for measuring and evaluating robustness of manufacturing processes. Based on the critical appraisal, the key issues are identified and a generic framework for modelling and measuring of process robustness in single- and multi-stage manufacturing processes is presented.
We proposed a mechanism for the transformation of the supramolecular structure of the lingo-carbohydrate matrix in the modified birch wood after treatment with a pulsed magnetic field. The parameters ...of the dynamics of changes in the surface hardness of the biocomposite after a treatment with a pulsed magnetic field are determined in the framework of classical thermodynamics based on the analysis of the Nash–Sutcliffe efficiency criterion.
We describe methods for improving the competitiveness of aramid textile materials, based on mathematical modeling and qualitative analysis of their performance/consumer and functional properties.
The problems of the reliability of the prediction of the relaxation and deformation properties of polymer materials in the region of action of nondestructive loads close to the conditions of their ...operation are considered on the basis of mathematical modeling of the relaxation and creep processes. For practical evaluation of the reliability of this prediction, integral criteria are obtained on the basis of the determining equations of deformation and relaxation processes of these materials.
Methods of mathematical modeling and qualitative analysis of geotextile nonwoven creep processes using computer programming of these processes are described. Qualitative analysis of geotextile ...nonwoven creep processes is the foundation for enhancing their competitiveness.
Methods for mathematical modeling of deformation-relaxation processes of aramid textile materials are described. It is shown that the increase in the competitiveness of these materials is closely ...tied to qualitative analysis methods of their operational-consumer and functional properties.
Implementing semantics-aware services, which includes semantic Web services, requires novel techniques for modeling and analysis. The problems include automated support for service discovery, ...selection, negotiation, and composition. In addition, support for automated service contracting and contract execution is crucial for any large scale service environment where multiple clients and service providers interact. Many problems in this area involve reasoning, and a number of logic-based methods to handle these problems have emerged in the field of Semantic Web Services. In this paper, we lay down theoretical foundations for service modeling, contracting, and reasoning, which we call ServLog, by developing novel techniques for modeling and reasoning about service contracts with the help of Concurrent Transaction Logic. With this framework, we significantly extend the modeling power of the previous work by allowing expressive data constraints and iterative processes in the specification of services. This approach not only captures typical procedural constructs found in established business process languages, but also greatly extends their functionality, enables declarative specification and reasoning about services, and opens a way for automatic generation of executable business processes from service contracts.