@inproceedings{bd4242b67e65411195d20b9d7faebbbe,
title = "Spatial alloy: An alloy extension for modeling spatial properties",
abstract = "Alloy is a simple and effective language which has been widely used to model the essential structures and constraints of software systems. In this paper, we present a Spatial Alloy for modelling the properties of spatial relationships between different entities of software systems. This is achieved through Alloy and the methodology of spatial logic. The Spatial Alloy is proposed by three steps. First, we propose the basic spatial operators based on the ideology of set theory and build the spatial relations based on these operators. Second, we incorporate the internal logic with the spatial relations to construct the spatial logic for Alloy. Third, we present a proof procedure to verify the computational complexity of this new spatial logic is in polynomial time. The experiments on a urban railway system demonstrate that the proposed spatial Alloy: 1) can describe the spatial properties adequately, 2) proves these properties automatically, 3) has simple and succinct codes.",
keywords = "Alloy, Spatial logic, Spatial operators, Spatial relations",
author = "Fei Tang and Jing Liu and Tingliang Zhou and Junfeng Sun and Haiying Sun",
note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 16th IEEE International Conference on Computer and Information Technology, CIT 2016 ; Conference date: 07-12-2016 Through 10-12-2016",
year = "2017",
month = mar,
day = "10",
doi = "10.1109/CIT.2016.78",
language = "英语",
series = "Proceedings - 2016 16th IEEE International Conference on Computer and Information Technology, CIT 2016, 2016 6th International Symposium on Cloud and Service Computing, IEEE SC2 2016 and 2016 International Symposium on Security and Privacy in Social Networks and Big Data, SocialSec 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "42--49",
booktitle = "Proceedings - 2016 16th IEEE International Conference on Computer and Information Technology, CIT 2016, 2016 6th International Symposium on Cloud and Service Computing, IEEE SC2 2016 and 2016 International Symposium on Security and Privacy in Social Networks and Big Data, SocialSec 2016",
address = "美国",
}