Transformation-Oriented Programming: A Development Methodology for High Assurance Software

Victor L. Winter; Steve Roach; Greg Wickstrom

doi:10.1016/S0065-2458(03)58002-0

Transformation-Oriented Programming: A Development Methodology for High Assurance Software

Victor L. Winter, Steve Roach, Greg Wickstrom

Research output: Contribution to journal › Review article › peer-review

1 Scopus citations

Abstract

A software development paradigm known as Transformation-Oriented Programming (TOP) is introduced. In TOP, software development consists of constructing a sequence of transformations capable of systematically constructing a software implementation from a given formal specification. As such TOP falls under the category of formal methods. The general theory and techniques upon which TOP is built is presented. The High Assurance Transformation System (HATS) is described. The use of the HATS tool to implement a portion of the functionality of a classloader needed by the Sandia Secure Processor (SSP) is described.

Original language	English (US)
Pages (from-to)	47-116
Number of pages	70
Journal	ADVANCES IN COMPUTERS
Volume	58
Issue number	C
DOIs	https://doi.org/10.1016/S0065-2458(03)58002-0
State	Published - 2003
Externally published	Yes

ASJC Scopus subject areas

Computer Science(all)

Access to Document

10.1016/S0065-2458(03)58002-0

Cite this

@article{a2df2a87e21d49c394934fd4af0f9606,

title = "Transformation-Oriented Programming: A Development Methodology for High Assurance Software",

abstract = "A software development paradigm known as Transformation-Oriented Programming (TOP) is introduced. In TOP, software development consists of constructing a sequence of transformations capable of systematically constructing a software implementation from a given formal specification. As such TOP falls under the category of formal methods. The general theory and techniques upon which TOP is built is presented. The High Assurance Transformation System (HATS) is described. The use of the HATS tool to implement a portion of the functionality of a classloader needed by the Sandia Secure Processor (SSP) is described.",

author = "Winter, {Victor L.} and Steve Roach and Greg Wickstrom",

note = "Funding Information: This work was supported by the United States Department of Energy under Contract DE-AC04-94AL85000. Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy. Victor Winter was also partially supported by NSF grant number CCR-0209187. ",

year = "2003",

doi = "10.1016/S0065-2458(03)58002-0",

language = "English (US)",

volume = "58",

pages = "47--116",

journal = "ADVANCES IN COMPUTERS",

issn = "0065-2458",

publisher = "Academic Press Inc.",

number = "C",

}

TY - JOUR

T1 - Transformation-Oriented Programming

T2 - A Development Methodology for High Assurance Software

AU - Winter, Victor L.

AU - Roach, Steve

AU - Wickstrom, Greg

N1 - Funding Information: This work was supported by the United States Department of Energy under Contract DE-AC04-94AL85000. Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy. Victor Winter was also partially supported by NSF grant number CCR-0209187.

PY - 2003

Y1 - 2003

N2 - A software development paradigm known as Transformation-Oriented Programming (TOP) is introduced. In TOP, software development consists of constructing a sequence of transformations capable of systematically constructing a software implementation from a given formal specification. As such TOP falls under the category of formal methods. The general theory and techniques upon which TOP is built is presented. The High Assurance Transformation System (HATS) is described. The use of the HATS tool to implement a portion of the functionality of a classloader needed by the Sandia Secure Processor (SSP) is described.

AB - A software development paradigm known as Transformation-Oriented Programming (TOP) is introduced. In TOP, software development consists of constructing a sequence of transformations capable of systematically constructing a software implementation from a given formal specification. As such TOP falls under the category of formal methods. The general theory and techniques upon which TOP is built is presented. The High Assurance Transformation System (HATS) is described. The use of the HATS tool to implement a portion of the functionality of a classloader needed by the Sandia Secure Processor (SSP) is described.

UR - http://www.scopus.com/inward/record.url?scp=77956749049&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77956749049&partnerID=8YFLogxK

U2 - 10.1016/S0065-2458(03)58002-0

DO - 10.1016/S0065-2458(03)58002-0

M3 - Review article

AN - SCOPUS:77956749049

SN - 0065-2458

VL - 58

SP - 47

EP - 116

JO - ADVANCES IN COMPUTERS

JF - ADVANCES IN COMPUTERS

IS - C

ER -

Transformation-Oriented Programming: A Development Methodology for High Assurance Software

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this