Skip to main content
SpringerLink
Log in
Book cover

Practical Foundations of Business System Specifications pp 215–229Cite as

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

  • 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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 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. Haeckel, S., Adaptive Enterprise: Creating and Leading Sense-and-Respond Organizations, Harvard Business School Press, Boston, MA, 1999.

    Google Scholar 

  5. 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.

    Article  Google Scholar 

  6. Hevner, A. and Mills, H., “Box Structured Methods for Systems Development with Objects,” IBM Systems Journal, 32 (2), 1993, pp. 232–251.

    Article  Google Scholar 

  7. 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. 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. 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. 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.

    Book  Google Scholar 

  13. Leymann, F. and Roller, D., Production Workflow: Concepts and Techniques, Prentice-Hall PTR, Upper Saddle River, NJ, 2000.

    MATH  Google Scholar 

  14. Linger, R., Mills, H., and Witt, B. Structured Programming: Theory and Practice, Addison-Wesley, Inc., Reading, MA, 1979.

    Google Scholar 

  15. 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. 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. Mills, H., “Stepwise Refinement and Verification in Box-Structured Systems,” IEEE Computer, Vol. 21, No. 6, June 1988, pp. 23–36.

    Article  Google Scholar 

  18. Mills, H., Linger, R., and Hevner, A., Principles of Information Systems Analysis and Design, Academic Press, Inc., 1986.

    Google Scholar 

  19. Mills, H. and Linger, R., “Cleanroom Software Engineering,” Wiley Encyclopedia of Software Engineering: Second Edition, Wiley, New York, 2002.

    Google Scholar 

  20. 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. 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. Pleszkoch, M., Linger, R., Walton, G., and Hevner, A., Semantic Foundations for Flow Structures, in preparation, 2002.

    Google Scholar 

  23. Prowell, S., Trammell, C., Linger, R., and Poore, J., Cleanroom Software Engineering: Technology and Process, Addison-Wesley, 1999.

    Google Scholar 

  24. Schmidt, M., “The Evolution of Workflow Standards,” IEEE Concurrency, July-September 1999, pp. 44–52.

    Google Scholar 

  25. Siegrist, K., “Reliability of Systems with Markov Transfer of Control,” IEEE Transactions on Software Engineering, Vol. 14, No. 9, September 1988, pp. 1049–1053.

    Article  MathSciNet  Google Scholar 

  26. 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. Walton, G., Hevner, A., Linger, R., and Pleszkoch, M., Computational Quality Attributes for Distributed System Operation, in preparation, 2002.

    Google Scholar 

  28. 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 

Download references

Author information

Authors and Affiliations

  1. Information Systems & Decision Sciences Department College of Business Administration , University of South Florida, Tampa, FL, USA

    Alan R. Hevner

  2. Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, USA

    Richard C. Linger

  3. IBM Corporation, Charlottesville, VA, USA

    Mark G. Pleszkoch

  4. School of Electrical Engineering & Computer Science, University of Central Florida, Orlando, FL, USA

    Gwendolyn H. Walton

Authors
  1. Alan R. Hevner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Richard C. Linger
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mark G. Pleszkoch
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Gwendolyn H. Walton
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Millington, NJ, USA

    Haim Kilov (Independent consultant, Affiliate Professor) (Independent consultant, Affiliate Professor)

  2. Stevens Institute of Technology, Hoboken, NJ, USA

    Haim Kilov (Independent consultant, Affiliate Professor) (Independent consultant, Affiliate Professor)

  3. College of Computer Science, Northeastern University, Boston, MA, USA

    Kenneth Baclawski (Associate Professor) (Associate Professor)

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Hevner, A.R., Linger, R.C., Pleszkoch, M.G., Walton, G.H. (2003). Flow-Service-Quality (FSQ) Engineering for the Specification of Complex Systems. In: Kilov, H., Baclawski, K. (eds) Practical Foundations of Business System Specifications. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2740-2_11

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-2740-2_11

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-6367-0

  • Online ISBN: 978-94-017-2740-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation