POELog: a Prolog-based engine for Problem Oriented Engineering

Hall, Jon G. and Rapanotti, Lucia (2008). POELog: a Prolog-based engine for Problem Oriented Engineering. Technical Report 2008/07; Department of Computing, The Open University.

DOI: https://doi.org/10.21954/ou.ro.00016081

Abstract

Problem Oriented Engineering (POE) is a formal system for engineering design. In previous work, we have successfully applied POE to a variety of problems in the context of software engineering. However, even for design problems of modest complexity, the need for an automated tool to keep track of all design artefacts has become apparent. For scalability to real-world problems a tool is imperative. This paper presents a first generation tool for POE based on Prolog. It argues how the Gentzen-style basis of POE allows for a compact and elegant Prolog encoding, which we call POElog. A LaTeX based front-end provides a convenient user interface to POElog for development and testing.

Viewing alternatives

Metrics

Item Actions

Export

You can export this page using these formats Digital Object Identifier - DOI