Reengineered PFA: An Approach for Reinvention of Behaviorally-rich Systems

Reuven Gallant, Leah Goldin

2012

Abstract

In this Position Paper, one considers application of a reengineered PFA as a means of reinvent critical parts of a particular class of behaviorally-rich systems. The implementation of such systems, although not necessarily the outgrowth of PFA, could plausibly have been such an outgrowth because of the nature of their behavior and the way they were modeled. The goal of reengineered PFA application for such a system would be to re-examine and re-design critical behaviors. In particular, if the behaviors of such a system have been modeled by statechart diagrams, these diagrams can be leveraged to catalyze examination of whether the as-built behavior is in fact the desired behavior.

References

  1. Jackson, M.A., 1996. Software Requirements & Specifications, Addison-Wesley, Boston, MA, USA.
  2. Jackson, M.A., 2001. Problem Frames: Analysing and Structuring Software Development Problems, Addison-Wesley, Boston, MA, USA.
  3. Jackson, M.A., 2007. “The Problem Frames Approach to Software Engineering”, in Proc. APSEC 2007, 14th Asia-Pacific Software Engineering Conference.
Download


Paper Citation


in Harvard Style

Gallant R. and Goldin L. (2012). Reengineered PFA: An Approach for Reinvention of Behaviorally-rich Systems . In Proceedings of the 3rd International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2012) ISBN 978-989-8565-32-7, pages 71-78. DOI: 10.5220/0004181400710078


in Bibtex Style

@conference{sky12,
author={Reuven Gallant and Leah Goldin},
title={Reengineered PFA: An Approach for Reinvention of Behaviorally-rich Systems},
booktitle={Proceedings of the 3rd International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2012)},
year={2012},
pages={71-78},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004181400710078},
isbn={978-989-8565-32-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2012)
TI - Reengineered PFA: An Approach for Reinvention of Behaviorally-rich Systems
SN - 978-989-8565-32-7
AU - Gallant R.
AU - Goldin L.
PY - 2012
SP - 71
EP - 78
DO - 10.5220/0004181400710078