A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Model Checking Healthcare Workflows Using Alloy
2014
Procedia Computer Science
Preserved Fulltext
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
2013
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2015
Norsk Informatikkonferanse
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
Proceedings
2014
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2019
Studies in Health Technology and Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2013
2013 6th International Workshop on Requirements Engineering and Law (RELAW)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2022
Applied System Innovation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2011
Computer Science and Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2014
2014 IEEE Eighth International Conference on Research Challenges in Information Science (RCIS)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
Journal of Software: Evolution and Process
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
[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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Lecture Notes in Business Information Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2020
Latin American Journal of Solids and Structures
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2021
Healthcare
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2022
Journal of Personalized Medicine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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