Now showing items 1-2 of 2

    • Model Checking Healthcare Workflows Using Alloy 

      Wang, Xiaoliang; Rutle, Adrian (Elsevier B.V., 2014)
      Workflows are used to organize business processes, and workflow management tools are used to guide users in which order these processes should be performed. These tools increase organizational efficiency and enable users ...
      Conference object
    • Towards Correct Modelling and Model Transformation in DPF 

      Wang, Xiaoliang (The University of Bergen, 2016-06-14)
      Model-driven engineering (MDE) is a model-centric software development methodology. It promotes models as first-class entities in software de- velopment. Models are used to represent software along software devel- opment ...
      Doctoral thesis