Software Engineering
Alan R. Hevner	The Design of Complex Software-Intensive Systems with Flow-Service-Quality (FSQ) Concepts

Modern enterprises are irreversibly dependent on large-scale information systems built from components whose function and quality attributes are not necessarily known a priori.  The ad-hoc and network-centric nature of these systems means that a complete static analysis of such systems is difficult or impossible.  These systems grow and interconnect with other systems in ways which exceed current engineering techniques for intellectual control.  In this research we propose a new engineering framework for reasoning about and developing such systems-of-systems: the Flow-Service-Quality (FSQ) framework.  Our aim is to provide rigorous, practical engineering tools and methods to reason about system flows as first-class objects of specification, design, implementation and operation.  System flows are realized as traces of system services and their quality attributes are treated as dynamic, changing quantities which are measured during system execution.

Book Chapters

1. A. Hevner, R. Linger, M. Pleszkoch, S. Prowell, and G. Walton, “Flow-Service-Quality (FSQ) Engineering: A Discipline for Developing Systems of Systems,” Chapter in Information Systems Analysis and Design: Foundations, Methods, and Practices, Edited by R. Chiang and K. Siau, Advances in Management Information Systems Monograph Series, M.E. Sharpe, Inc., 2006.
2. A. Hevner, R. Linger, M. Pleszkoch, and G. Walton, “Flow-Service-Quality (FSQ) Engineering for the Specification of Complex Systems,” Chapter 11 in Practical Foundations of Business System Specifications, Edited by H. Kilov and K. Baclawski, Kluwer Academic Publishers, The Netherlands, 2003, pp. 215-229.

Refereed Conference Publications and Technical Reports

1. A. Hevner and R. Linger, “The Design of Complex Software-Intensive Systems: A Quest for Intellectual Control,” Proceedings of the 3rd AIS SIGSAND Workshop, St. Johns, Newfoundland, June 2004.
2. R. Linger, A. Hevner, G. Walton, and M. Pleszkoch, “Flow-Service-Quality (FSQ) Engineering: Foundations for High-Assurance Network Systems Development,” (Abstract) Eighth IEEE International Symposium on High Assurance Systems Engineering, Tampa, March 2004, pp. 265-266. (Available at http://csdl2.computer.org/comp/proceedings/hase/2004/2094/00/20940265.pdf )
3. R. Linger, G. Walton, M. Pleszkoch, and A. Hevner, “Flow-Service-Quality (FSQ) Requirements Engineering for High-Assurance Systems,” Proceedings of the International Workshop on Requirements for High Assurance Systems, Essen, Germany, September 2002, pp. 69-76.
4. R. Linger, M. Pleszkoch, G. Walton, and A. Hevner, “Flow-Service-Quality (FSQ) Engineering: Foundations for Network System Analysis and Development,” Technical Note CMU/SEI-2002-TN-019, Software Engineering Institute, Carnegie Mellon University, June 2002. (Available at http://www.sei.cmu.edu/publications/documents/02.reports/02tn019.html )
5. A. Hevner, R. Linger, A. Sobel, and G. Walton, “The Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems,” Proceedings of the 35th Annual Hawaii International Conference on System Science (HICSS35), Hawaii, January 2002.(Available at http://doi.ieeecomputersociety.org/10.1109/HICSS.2002.994480 )
6. A. Hevner, R. Linger, A. Sobel, and G. Walton, “Specifying Large-Scale, Adaptive Systems with Flow-Service-Quality (FSQ) Objects,” Proceedings of the 10th OOPSLA Workshop on Behavioral Semantics, Tampa, October 2001, pp. 110-120.
7. R. Linger, A. Hevner, A. Sobel, and G. Walton, “Semantic Foundations for Survivable System Analysis and Design,” Information System Survivability Workshop, Goteborg, Sweden, July 2001.