Flow-Service-Quality (FSQ) Engineering for the Specification of Complex Systems

  • Alan R. Hevner
  • Richard C. Linger
  • Mark G. Pleszkoch
  • Gwendolyn H. Walton
Chapter

Abstract

Modern enterprises are irreversibly dependent on large-scale, component-based information systems whose complexity frequently exceeds current engineering capabilities for intellectual control, resulting in persistent difficulties in system specification, development, management, and evolution. Flow-Service-Quality (FSQ)Engineering provides an innovative solution for gaining control of complex systems development. In dynamic network information systems with constantly varying function and usage, flows and their corresponding traces of system services act as stable foundations for functional and non-functional (quality attribute) specification, design, and operational control. The objective of FSQ research and development is to provide theoretical foundations, language representations, and rigorous yet practical unified engineering methods to represent and reason about system flows as essential artifacts of system specification, design, and operation. In operation, quality attributes are treated as computational system capabilities for evaluation against quality requirements of requested flows. Therefore, it is these three first-class concepts, namely, flow, service, and quality that form the foundations for unified engineering of large-scale, adaptive systems.

Keywords

Flow Structure Quality Attribute Unify Engineering Software Engineer Institute User Flow 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BW1998]
    Brown, A. and Wallnau, K., “The Current State of CBSE,” IEEE Software, Vol. 15, No. 5, Sept./Oct. 1998, pp. 37–46.Google Scholar
  2. [EFLLLM1999]
    Ellison, R., Fisher, D., Linger, R., Lipson, F., Longstaff, T., and Mead, N., Survivable Network Systems: An Emerging Discipline, CMU/SEI-97-TR-013, November 1997, revised May 1999.Google Scholar
  3. [GT1998]
    Gokhale, S. and Trivedi, K., “Dependency Characterization in Path-based Approaches to Architecture-based Software Reliability Prediction”, Proceedings of the 1998 IEEE Workshop on Application Specific Software Engineering and Technology, ASSET ‘88, Richardson, Texas, March 26–28, 1998, pp. 86–89.Google Scholar
  4. [H1999]
    Haeckel, S., Adaptive Enterprise: Creating and Leading Sense-and-Respond Organizations, Harvard Business School Press, Boston, MA, 1999.Google Scholar
  5. [HPLH1990]
    Hausler, P., Pleszkoch, M., Linger, R., and Hevner, A., “Using Function Abstraction to Understand Program Behavior,” IEEE Software, Vol. 7, No. 1, January 1990, pp. 55–63.CrossRefGoogle Scholar
  6. [HM1993]
    Hevner, A. and Mills, H., “Box Structured Methods for Systems Development with Objects,” IBM Systems Journal, 32 (2), 1993, pp. 232–251.CrossRefGoogle Scholar
  7. [HLSW2001]
    Hevner„ A., Linger, R., Sobel, A., and Walton, G., “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.Google Scholar
  8. [HLSW2002]
    Hevner, A., Linger, R., Sobel, A., and Walton, G., “The Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems,” Proceedings of the 35th Annual Hawaii International Conference on System Science (H1CSS35), Hawaii, IEEE Computer Society Press, Los Alamitos, CA, January 2002.Google Scholar
  9. [HW2001]
    Hoffman, D and Weiss, D., Software Fundamentals: Collected Papers by David L. Parnas, Addison Wesley, Upper Saddle River, NJ, 2001.Google Scholar
  10. I1995] ISO/IEC JTC1/SC21/WG7, Reference Model of Open Distributed Processing (RMODP),ISO/IEC 10746–1: Overview, 1995.Google Scholar
  11. K20021 Kilov, H., Business Models: A Guide for Business and IT, Prentice-Hall PTR, Upper Saddle River, NJ, 2002.Google Scholar
  12. [KM1997]
    Krishnamurthy, S. and Mathru, A., “On the Estimation of Reliability of a Software System using Reliabilities of its Components,” Proceedings of Eighth International Symposium on Software Reliability Engineering (ISSRE ‘87), Albuquerque, New Mexico, November 1997, pp. 146–155.CrossRefGoogle Scholar
  13. [LR2000]
    Leymann, F. and Roller, D., Production Workflow: Concepts and Techniques, Prentice-Hall PTR, Upper Saddle River, NJ, 2000.MATHGoogle Scholar
  14. [LMW1979]
    Linger, R., Mills, H., and Witt, B. Structured Programming: Theory and Practice, Addison-Wesley, Inc., Reading, MA, 1979.Google Scholar
  15. [LPWH2002]
    Linger, R., Pleszkoch, M., Walton, G., and Hevner, A., “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.Google Scholar
  16. [MELLM2000]
    Mead, N., Ellison, R., Linger, R., Longstaff, T., and McHugh, J., Survivable Network Analysis Method, CMU/SEI-2000-TR-013, Software Engineering Institute, Carnegie Mellon University, September 2000.Google Scholar
  17. [M1988]
    Mills, H., “Stepwise Refinement and Verification in Box-Structured Systems,” IEEE Computer, Vol. 21, No. 6, June 1988, pp. 23–36.CrossRefGoogle Scholar
  18. [MLH1986]
    Mills, H., Linger, R., and Hevner, A., Principles of Information Systems Analysis and Design, Academic Press, Inc., 1986.Google Scholar
  19. [ML2002]
    Mills, H. and Linger, R., “Cleanroom Software Engineering,” Wiley Encyclopedia of Software Engineering: Second Edition, Wiley, New York, 2002.Google Scholar
  20. [MEL2001]
    Moore, A., Ellison, R. and Linger, R., Attack Modeling for Information Security and Survivability, CMU/SEI-2001-TN-001, ADA388771, Software Engineering Institute, Carnegie Mellon University, 2001.Google Scholar
  21. [PHHL1990]
    Pleszkoch, M., Hausler, P., Hevner, A., and Linger, R., “Function-Theoretic Principles of Program Understanding,” Proceedings of the 23rd Annual Hawaii International Conference on System Science (HICSS23), Hawaii, IEEE Computer Society Press, Los Alamitos, CA, January 1990, pp. 74–81.Google Scholar
  22. [PLWH2002]
    Pleszkoch, M., Linger, R., Walton, G., and Hevner, A., Semantic Foundations for Flow Structures, in preparation, 2002.Google Scholar
  23. [PTLP1999]
    Prowell, S., Trammell, C., Linger, R., and Poore, J., Cleanroom Software Engineering: Technology and Process, Addison-Wesley, 1999.Google Scholar
  24. [S1999]
    Schmidt, M., “The Evolution of Workflow Standards,” IEEE Concurrency, July-September 1999, pp. 44–52.Google Scholar
  25. [S1988]
    Siegrist, K., “Reliability of Systems with Markov Transfer of Control,” IEEE Transactions on Software Engineering, Vol. 14, No. 9, September 1988, pp. 1049–1053.MathSciNetCrossRefGoogle Scholar
  26. [SKDG1999]
    Sullivan, K., Knight, K., Du, X., and Geist, S., “Information Survivability Control Systems,” Proceedings of 21st International Conference on Software Engineering, IEEE Computer Society Press, May, 1999, pp. 184–193.Google Scholar
  27. [WHLP2002]
    Walton, G., Hevner, A., Linger, R., and Pleszkoch, M., Computational Quality Attributes for Distributed System Operation, in preparation, 2002.Google Scholar
  28. [YCA1999]
    Yacoub, S., Cukic, B., and Ammar, H., “Scenario-Based Reliability Analysis of Component-Based Software,” Proceedings of the 18IEEE Symposium on Reliable Distributed Systems, Switzerland, Oct. 1999.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2003

Authors and Affiliations

  • Alan R. Hevner
    • 1
  • Richard C. Linger
    • 2
  • Mark G. Pleszkoch
    • 3
  • Gwendolyn H. Walton
    • 4
  1. 1.Information Systems & Decision Sciences Department College of Business Administration University of South FloridaTampaUSA
  2. 2.Software Engineering InstituteCarnegie Mellon UniversityPittsburghUSA
  3. 3.IBM CorporationCharlottesvilleUSA
  4. 4.School of Electrical Engineering & Computer ScienceUniversity of Central FloridaOrlandoUSA

Personalised recommendations