TY - GEN
T1 - An approach to generating and verifying complex scripts and procedures
AU - Rash, James L.
AU - Hinchey, Michael G.
AU - Gračanin, Denis
AU - Rouff, Christopher A.
PY - 2005
Y1 - 2005
N2 - Currently available tools and methods for system development that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" that such tools and methods leave unfilled is that the formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the classes of complex systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements expressed in restricted natural language, or appropriate graphical notations, into a provably equivalent formal model that can be used as the basis for code generation and other transformations. The same approach may be applied to address computer science aspects of bioinformatics problems. Many software tools for bioinformatics have been developed using scripting languages such as Perl and Python. Scripts are developed based on a set of requirements that can be expressed using English-like statements. Using our approach, these may be used to automatically generate and validate scripts rather than write them from scratch.
AB - Currently available tools and methods for system development that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" that such tools and methods leave unfilled is that the formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the classes of complex systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements expressed in restricted natural language, or appropriate graphical notations, into a provably equivalent formal model that can be used as the basis for code generation and other transformations. The same approach may be applied to address computer science aspects of bioinformatics problems. Many software tools for bioinformatics have been developed using scripting languages such as Perl and Python. Scripts are developed based on a set of requirements that can be expressed using English-like statements. Using our approach, these may be used to automatically generate and validate scripts rather than write them from scratch.
UR - http://www.scopus.com/inward/record.url?scp=33749041079&partnerID=8YFLogxK
U2 - 10.1109/CSBW.2005.21
DO - 10.1109/CSBW.2005.21
M3 - Conference contribution
AN - SCOPUS:33749041079
SN - 0769524427
SN - 9780769524429
T3 - 2005 IEEE Computational Systems Bioinformatics Conference, Workshops and Poster Abstracts
SP - 305
EP - 313
BT - 2005 IEEE Computational Systems Bioinformatics Conference, Workshops and Poster Abstracts
T2 - 2005 IEEE Computational Systems Bioinformatics Conference, Workshops and Poster Abstracts
Y2 - 8 August 2005 through 11 August 2005
ER -