Now showing items 1-14 of 14

    • Annotated BPMN models for optimised healthcare resource planning 

      Bowles, Juliana Kuster Filipe; Czekster, Ricardo; Webber, Thais (Springer, 2018) - Conference item
      There is an unquestionable need to improve healthcare processes across all levels of care in order to optimise the use of resources whilst guaranteeing high quality care to patients. However, healthcare processes are ...
    • Avoiding medication conflicts for patients with multimorbidities 

      Kovalov, Andrii; Bowles, Juliana Kuster Filipe (Springer, 2016) - Conference item
      Clinical pathways are care plans which detail essential steps in the care of patients with a specific clinical problem, usually a chronic disease. A pathway includes recommendations of medications prescribed at different ...
    • Correct composition of dephased behavioural models 

      Bowles, Juliana Kuster Filipe; Caminati, Marco Bright (Springer, 2017) - Conference item
      Scenarios of execution are commonly used to specify partial behaviour and interactions between different objects and components in a system. To avoid overall inconsistency in specifications, various automated methods have ...
    • Estimating capacity and resource allocation in healthcare settings using business process modelling and simulation 

      Redeker, Guilherme; Webber, Thais; Czekster, Ricardo; Quickert, Sandra; Bowles, Juliana Kuster Filipe (Sociedade Brasileira de Computação (SBC), 2017-07-02) - Conference item
      Healthcare involves complex decision making from planning to resource management. Resources in hospitals are usually allocated by experienced managers,however, due to an inherent process complexity, decisions are surrounded ...
    • A flexible approach for finding optimal paths with minimal conflicts 

      Bowles, Juliana Kuster Filipe; Caminati, Marco Bright (Springer, 2017) - Conference item
      Complex systems are usually modelled through a combination of structural and behavioural models, where separate behavioural models make it easier to design and understand partial behaviour. When partial models are combined, ...
    • Formal verification of CNL health recommendations 

      Rahman, Fahrurrozi; Bowles, Juliana Kuster Filipe (Springer, 2017) - Conference item
      Clinical texts, such as therapy algorithms, are often described in natural language and may include hidden inconsistencies, gaps and potential deadlocks. In this paper, we propose an approach to identify such problems with ...
    • An integrated framework for verifying multiple care pathways 

      Bowles, Juliana Kuster Filipe; Caminati, Marco Bright; Cha, Suhyun (IEEE Computer Society, 2018-02-07) - Conference item
      Common chronic conditions are routinely treated following standardised procedures known as clinical pathways. For patients suffering from two or more chronic conditions, referred to as multimorbidities, several pathways ...
    • A logical approach for behavioural composition of scenario-based models 

      Bowles, Juliana Kuster Filipe; Bordbar, Behzad; Alwanain, Mohammed (Springer, 2015) - Conference item
      As modern systems become more complex, design approaches model different aspects of the system separately. When considering (intra and inter) system interactions, it is usual to model individual scenarios using UML’s ...
    • Matching and merging scenarios automatically with Alloy 

      Bowles, Juliana Kuster Filipe; Alwanain, Mohammed; Bordbar, Behzad; Chen, Y. (Springer, 2015) - Book item
      The design of large systems often involves the creation of models that describe partial specifications. Model composition is the process of combining partial models to create a single coherent model. This paper presents ...
    • Mind the gap : addressing behavioural inconsistencies with formal methods 

      Bowles, Juliana Kuster Filipe; Caminati, Marco Bright (IEEE Computer Society, 2016-12-06) - Conference item
      In complex system design, it is important to construct several design models focusing on different aspects of a system to gain a better understanding of individual component structure and behaviour. Scenarios of execution ...
    • Model checking cancer automata 

      Bowles, Juliana Kuster Filipe; Silvina, Agastya (Institute of Electrical and Electronics Engineers Inc., 2016-04-18) - Conference item
      Cancer is a chronic disease where cells grow and multiply in an uncontrollable manner ultimately spreading and invading surrounding tissue, and metastasising in other parts or organs of the body. Automata can be used to ...
    • Transformation and composition of software design models for Model Driven Development 

      Meedeniya, Dulani Apeksha; Perera, Galhenage Indika Udaya Shantha; Bowles, Juliana Kuster Filipe (IEEE, 2015-12-18) - Conference item
      Software models play a significant role with the growth of software system development based on Model Driven Development (MDD) approach. Model transformations and compositions are the heart of MDD and allow the development ...
    • A verified algorithm enumerating event structures 

      Bowles, Juliana Kuster Filipe; Caminati, Marco Bright (Springer, 2017) - Conference item
      An event structure is a mathematical abstraction modeling concepts as causality, conflict and concurrency between events. While many other mathematical structures, including groups, topological spaces, rings, abound with ...
    • Weaving true-concurrent aspects using constraint solvers 

      Bowles, Juliana Kuster Filipe; Bordbar, Behzad; Alwanain, Mohammed (IEEE Computer Society, 2017-02-03) - Conference item
      Large system models usually consist of several simpler models that can be understood more easily. Making changes to the behaviour of a component will likely affect several models and could introduce accidental errors. ...