Computer Assisted Manipulation of Algebraic Process Specifications (2001)
| Citations: | 16 - 3 self |
BibTeX
@MISC{Groote01computerassisted,
author = {J. F. Groote and B. Lisser and Jan Friso Groote and Bert Lisser},
title = {Computer Assisted Manipulation of Algebraic Process Specifications},
year = {2001}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Specifications of system behaviour tend to become large. Analysis of such specifications requires automated tools. Most attention hitherto has been invested in fully automatic tools. We however believe that in many cases human intervention is required and we therefore propose a number of computer tools to transform process specifications. The concrete manipulation tools that we describe can eliminate constants, redundant sum variables and parameters, and allow to split variables ranging over complex datatypes. These tools can transform specifications with large finite state spaces to variants with state spaces being a fraction of their original size, and transform specifications with infinite state spaces to those with finite state spaces. 2000 Mathematics Subject Classification: 68M14, 68Q60, 68Q85 Keywords and Phrases: Automated Reasoning, Distributed systems, Linear Process Equations, Model Checking, Verification Note: Research carried out in SEN2, with financial support of the "Systems Validation Center". 1.
