Page 35 -

20 HEVNER, LINGER, PLESZKOCH, PROWELL, AND WALTON
• FSQ provides systematic, scale-free semantic structures for requirements, specification,
design, verification, implementation, and maintenance.
• FSQ supports seamless decomposition from user flows, services, and quality attribute re-
quirements to flow structures, services, and quality attribute implementations, with intrinsic
traceability.
• User flows of services and quality attributes permit system development in terms of user views
of services, as opposed to strictly functional decomposition or object-based composition.
• Flow structures are deterministic for human understanding and analysis, despite the uncer-
tainties of complex, network-centric behaviors, thus enabling compositional methods of
refinement, abstraction, and verification.
• Flow structures reflect the realities of network-centric systems in dealing with the uncertainty
factors, to support enterprise risk management and system survivability.
• Flow structures support the definition of attack and intrusion flows for assessing system
vulnerabilities and compromises, as a basis for security and survivability improvements.
• Computational quality attributes reflect the realities of network-centric systems, in assessing
and reconciling quality requirements and capabilities as an intrinsically dynamic process.
• Computational quality attributes provide a scale-free, computational use-centric (rather than
system-centric) view of quality.
• Flow management architectures provide systematic and uniform methods for managing user
flow instantiation and quality attribute satisfaction in execution.
• Foundations of flow structures can stimulate research on representation and analysis of flows
at the requirements level within enterprises, and at the implementation level within system
architectures.
• Foundations of computational quality attributes can stimulate research in modeling and
dynamic evaluation of important quality attributes and metrics.

We are aggressively pursuing research directions to build the foundation theories, engineering
processes, and automated tools to support the development of complex, network-centric systems
with FSQ concepts.
REFERENCES

Hevner, A.; Linger, R.; Sobel, A.; and Walton, G. 2002. The flow-service-quality framework: unified engineer-
ing for large-scale, adaptive systems. Paper presented at the Thirty-fifth Hawaii International Conference
on System Sciences (HICSS’35), Kona, Hawaii, January 7–10.
Hoffman, D., and Weiss, D. 2001. Software Fundamentals: Collected Papers by David L. Parnas. Upper
Saddle River, NJ: Addison-Wesley.
Janicki, R., and Sekerinski, E. 2001. Foundations of the trace assertion method of module interface specifica-
tion. IEEE Transactions on Software Engineering, 27, 7, 577–598.
Linger, R.C.; Mills, H.; and Witt, B. 1979. Structured Programming: Theory and Practice. Reading, MA:
Addison-Wesley.
Linger, R.; Pleszkoch, M.; Walton, G.; and Hevner. A. 2002. Flow-service-quality engineering: foundations
for network system analysis and development. CMU/SEI-2002-TN-019, June.
Mead, N.; Ellison, R.; Linger, R.; Longstaff, T.; and McHugh, J. 2000. Survivable network analysis method.
CMU/SEI-2000-TR-013, September.
Mills, H.; Linger, R.; and Hevner. A. 1986. Principles of Information System Analysis and Design. San
Diego, CA: Academic Press.
Prowell, S., and Poore, J. 2003. Foundations of sequence-based specification. IEEE Transactions on Software
Engineering, 29, 5, 417–429.
Prowell, S.; Trammell, C.; Linger, R.; and Poore, J. 1999. Cleanroom Software Engineering: Technology
and Process. Reading, MA: Addison-Wesley.
Schneider, F. (ed). 1999. Trust in Cyberspace. Washington, DC: National Academies Press.