267 Hits in 4.5 sec

Model Checking Healthcare Workflows Using Alloy

Xiaoliang Wang, Adrian Rutle
2014 Procedia Computer Science  
From workflow models, one can use model transformations to generate workflow software.  ...  We automatically translate the workflow metamodel into a model transformation specification in Alloy.  ...  Most of these works use model checking to verify the workflow system while we use Alloy, based on relation logic and a satisfiability solver.  ... 
doi:10.1016/j.procs.2014.08.072 fatcat:zg6xjhdfyve5reee5gpqyoqumi

A User-friendly Tool for Model Checking Healthcare Workflows

Adrian Rutle, Fazle Rabbi, Wendy MacCaull, Yngve Lamo
2013 Procedia Computer Science  
The inherent agility of the MDE approach is especially useful in a healthcare setting because workflows, even for widely used clinical guidelines, generally need to be customized to local settings and  ...  check behavioural properties.  ...  While a number of initiatives have used model checking to verify healthcare processes, model checking was originally developed for use by computer scientists, and current software requires a great deal  ... 
doi:10.1016/j.procs.2013.09.042 fatcat:hz6gbohvfzh7jmkzi7wrqsubfq

Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications

Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
2015 Norsk Informatikkonferanse  
In this paper, we focus on modelling distributed healthcare applications and present an example from the healthcare domain.  ...  Model Driven Engineering (MDE) uses formal methods to build mathematically rigorous models of complex systems.  ...  MacCaull et al [16] developed a workflow management tool suite called NOVA Workflow where one can graphically design a workflow model using a visual editor and can write task specifications using the  ... 
dblp:conf/nik/RabbiLYK15 fatcat:sevomdngwvdp7ovek6zqivfh5i


2014 Procedia Computer Science  
the Five Rights of Medication Administration Maali Alabdulhafith, Srinivas Sampalli Model Checking Healthcare Workflows using Alloy Xiaoliang Wang, Adrian Rutle PSCare Workshop Privacy Threat Modeling  ...  Vittorio Astarita, Giuseppe Guido, Vincenzo Pasquale Giofrè Synthesizing Population for Microsimulation-Based Integrated Transport Models using Atlantic Canada Micro-Data Mohammad Hesam Hafezi and Muhammad  ... 
doi:10.1016/j.procs.2014.08.001 fatcat:sqwmai5uvfcjtcvvywjupqinq4

A Model Driven Approach to the Design of a Gamified e-Learning System for Clinical Guidelines

Job N Nyameino, Fazle Rabbi, Khalid A Mughal, Martin C Were, Yngve Lamo
2019 Studies in Health Technology and Informatics  
Our approach involves the use of models for different aspects of the system, an entity model for the clinical domain, a workflow model for the clinical processes and a game model to manage the training  ...  A game engine instantiates a training session by coupling the workflow and entity models to automatically generate questions based on the data in the model instances.  ...  In future, we will enhance the technique presented in [20] and use Alloy to randomly produce valid guideline scenarios.  ... 
doi:10.3233/shti190320 pmid:31438021 fatcat:zf3m5lgj5ndfnc37g2d3ptfd7u

Applying corel to an excerpt of HIPAA: a critical discussion

Marwane El Kharbili
2013 2013 6th International Workshop on Requirements Engineering and Law (RELAW)  
CoReL is a visual business policy modelling language which was proposed in recent research by the author.  ...  In this paper, we make an initial attempt at studying the modeling support that CoReL provides to real-world regulations, in particular, the HIPAA Act.  ...  We use the Alloy formalization to conduct analysis of processes modeled in Alloy and conduct compliance checks.  ... 
doi:10.1109/relaw.2013.6671348 dblp:conf/re/Kharbili13 fatcat:4d3qenbvzfgo5khkjy2exgvaau

Model to Program and Blockchain Approaches for Business Processes and Workflows in Finance

Meriem Kherbouche, Galena Pisoni, Bálint Molnár
2022 Applied System Innovation  
We investigate the utilization of blockchain technology for model checking of Workflow, Business Processes to ensure consistency, integrity, and security in a dynamically changing business environment.  ...  We overview the opportunities for the application of blockchain in Business Process Management and Modeling in Finance and we focus on in-depth analysis of claim process in insurance as a use case.  ...  One of them is formal model checking and transformations of models represented in UML using Alloy [34] , where we transformed our UML activity diagram model into an Alloy program to benefit from the Alloy  ... 
doi:10.3390/asi5010010 fatcat:64sbcwzoqrc7lcnvmleaox3k4i

Challenges and directions in formalizing the semantics of modeling languages

Barrett Bryant, Jeff Gray, Marjan Mernik, Peter Clarke, Robert France, Gabor Karsai
2011 Computer Science and Information Systems  
This paper discusses possible semantics-based approaches for the formalization of modeling languages and describes how this formalism may be used to automate the construction of modeling tools.  ...  Even though there has been much work in formalizing programming languages, with many successful tools constructed using such formalisms, there has been little work in formalizing modeling languages for  ...  CAREER CPA-1052616, CCF-0811630, CCF-1018711, HRD-0833093, OISE-0730065, and OISE-0968596, and programs by the Defense Advanced Research Project Agency: the Evolutionary Design of Complex Systems and Model-based  ... 
doi:10.2298/csis110114012b fatcat:qnaldl2gzrbr5irholqq5asiqi

Intelligent systems for users' automated guidance

Elena Kushnareva
2014 2014 IEEE Eighth International Conference on Research Challenges in Information Science (RCIS)  
We propose to combine a declarative approach for process design and the use of formal methods to enable a set of automated techniques for process analysis and validation based on model checking and theorem  ...  Future developments for case management must evolve from the current systems based on rigid, workflow based processes into context-aware, agile dynamic structures.  ...  In the future, we will focus on the COSOC use case.  ... 
doi:10.1109/rcis.2014.6861082 dblp:conf/rcis/Kushnareva14 fatcat:kvkxopnhlfbzjlbcnktayxldpu

Automated conflict detection between medical care pathways

Philip Weber, João Bosco Ferreira Filho, Behzad Bordbar, Mark Lee, Ian Litchfield, Ruth Backman
2017 Journal of Software: Evolution and Process  
[88] ) to allow efficient analysis using SAT and SMT solvers such as Alloy [38] or Z3-SMT [39] .  ...  Modelling Care Pathway Data in BPMN The Workflow Graph subset of BPMN we use for modelling the control-flow structure underling care pathways, corresponds closely to Workflow nets [36, 47] .  ... 
doi:10.1002/smr.1898 fatcat:c6zgrbmgonhpbc2bwfzlgogeei

Books Received

2011 Science  
The structural design of the MIR-S100C incorporates antibacterial copper alloy stainless steel for the shaker section, with a small window that can be used for spraying disinfectant inside.  ...  GE Healthcare Bio-Sciences AB, Björkgatan 30, 751 84 Uppsala, Sweden.  ... 
doi:10.1126/science.334.6055.455-b fatcat:6rqnt7y2zfcixn6g7agkftvgte

Expressing Access Control Policies with an Event-Based Approach [chapter]

Pierre Konopacki, Marc Frappier, Régine Laleau
2011 Lecture Notes in Business Information Processing  
Finally, we present the architecture of the tool used to interpret EB 3 SEC models.  ...  In this paper, we present EB 3 SEC, a language used to formally model and interpret access control policies in information systems.  ...  Alloy [37] will surely be the tool we will consider. The first step will be to transform EB 3 SEC models into Alloy models.  ... 
doi:10.1007/978-3-642-22056-2_63 fatcat:zeeegywwfrby3lpo4ziuadqzum

Mechanical properties modeling of severely plastically deformed biodegradable ZK60 magnesium alloy for bone implants

Yan Zhang, Ning Wang, Jingyi Li, Mohsen Mesbah, Kuan Yew Wong, Alireza Fallahpour, Bahman Nasiri-Tabrizi, Jiangfei Yang
2020 Latin American Journal of Solids and Structures  
Here, the effort is directed to model the mechanical performance of severely plastically deformed biodegradable ZK60 Mg alloy in bone regeneration protocols.  ...  deformed biodegradable ZK60 magnesium alloy for bone implants Yan Zhang et al.  ...  In this section, a general workflow for mechanical behavior modeling of biodegradable Mg-based alloys based on ML methods, involving descriptor generation and dimensionality reduction, model creation,  ... 
doi:10.1590/1679-78256151 fatcat:ch3cmaiy2vbtzon3mugpb2kc74

The Modern and Digital Transformation of Oral Health Care: A Mini Review

Muhammad Syafiq Alauddin, Ahmad Syukran Baharuddin, Mohd Ifwat Mohd Ghazali
2021 Healthcare  
The interplay between these sophisticated digital aspects has dramatically changed the healthcare and biomedical sectors, especially for dentistry.  ...  This myriad of applications of technologies will not only be able to streamline oral health care, facilitate workflow, increase oral health at a fraction of the current conventional cost, relieve dentist  ...  The figure shows a planned implant placement using R2 Gate™ (R2 Gate, Megagen, South Korea). Figure 3 . 3 Schematic workflow of static guided surgery.  ... 
doi:10.3390/healthcare9020118 pmid:33503807 fatcat:53z4aha4tvfnll6quuh43f2d5u

Rapid Personalised Virtual Planning and On-Demand Surgery for Acute Spinal Trauma Using 3D-Printing, Biomodelling and Patient-Specific Implant Manufacture

Ralph Jasper Mobbs, William C. H. Parr, Christopher Huang, Tajrian Amin
2022 Journal of Personalized Medicine  
Three-dimensional-printed (3DP) patient-specific implants (PSIs) offer multiple potential benefits over generic alternatives, with their use increasingly being described in the spinal literature.  ...  This approach may represent the next phase of efficient surgical planning and workflow, as well as the possible future of personalised healthcare in trauma, orthopaedics and reconstructive surgery.  ...  The PSI was 3DP using direct metal laser solidification (DMLS) of Ti6Al4V (Biomedical Grade 5) titanium alloy powder (EOS, Krailling, Germany).  ... 
doi:10.3390/jpm12060997 pmid:35743781 pmcid:PMC9224763 fatcat:q4b5ke7y6zbxbnrfh6gfxly7ma
« Previous Showing results 1 — 15 out of 267 results