Blar i HVL Open på forfatter "Wang, Xiaoliang"
-
Model Checking Healthcare Workflows using Alloy
Wang, Xiaoliang; Rutle, Adrian (Peer reviewed; Journal article, 2014) -
Scalable verification of model transformations
Wang, Xiaoliang; Rutle, Adrian; Lamo, Yngve (Peer reviewed; Journal article, 2014)Model transformations are crucial in model driven engineering (MDE). Automatic execution of model transformations improves software development productivity. However, model transformations should be verified to ensure that ... -
Towards user-friendly and efficient analysis with alloy
Wang, Xiaoliang; Rutle, Adrian; Lamo, Yngve (Peer reviewed; Journal article, 2015) -
Verification of Graph-based Model Transformations Using Alloy
Wang, Xiaoliang; Fabian, Büttner; Lamo, Yngve (Peer reviewed; Journal article, 2014)Model transformations are fundamental in model driven development. Thus, verification of model transformations is indispensable to ensure the quality and the reliability of transformation results. In this paper we focus ...