@inproceedings{a08fc630dfb7421e9f59440d2ee9f0ca,
title = "Formal Modeling and Analysis of Time-and Resource-Sensitive Simple Busineb Procebes",
abstract = "A time-and resource-sensitive simple businebproceb (TR-SBP) consists of a finite set of finite series ofactivities that have timing and resource constraints. A TRSBPseems simple, but its analysis needs to consider whatare not explicitly mentioned as activities and may introducea non-negligible number of intermediate states. In this sense, the analysis has similarities with security protocol analysisthat needs to consider intruders. We formalize TR-SBPs asa round-based model, and describe how to specify and analyzeformalized TR-SBPs (Formal TR-SBPs) using Alloy.",
keywords = "Alloy, Time, busineb proceb, formal analysis, resource, round-based model",
author = "Kazuhiro Ogata and Thapana Chaimanont and Min Zhang",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 2nd International Symposium on Dependable Computing and Internet of Things, DCIT 2015 ; Conference date: 16-11-2015 Through 19-11-2015",
year = "2016",
month = mar,
day = "15",
doi = "10.1109/DCIT.2015.23",
language = "英语",
series = "Proceedings - 2015 2nd International Symposium on Dependable Computing and Internet of Things, DCIT 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "1--10",
booktitle = "Proceedings - 2015 2nd International Symposium on Dependable Computing and Internet of Things, DCIT 2015",
address = "美国",
}