Flow-Service-Quality (FSQ) Engineering: Foundations for Network System Analysis and Development
نویسندگان
چکیده
...................................................................................................................v 1 Network System Realities...............................................................................1 2 Flow-Service-Quality Engineering..................................................................5 3 Flow Structure Semantics............................................................................. 11 3.1 The Semantic Model ............................................................................... 11 3.2 FSQ Theorems........................................................................................15 4 Flow Structure Engineering Operations ......................................................19 4.1 Flow Engineering for Uncertainty Factors................................................19 4.2 Flow Abstraction and Refinement ............................................................20 4.3 Flow Verification ......................................................................................22 4.4 Flow Transitivity Analysis.........................................................................23 4.5 FlowSets in Large-Scale Systems ...........................................................24 4.6 Flow Security and Survivability Analysis ..................................................25 5 Computational Quality Attributes.................................................................27 5.1 The CQA approach..................................................................................27 5.2 CQA Definition.........................................................................................29 5.3 Flow Request Analysis ............................................................................29 5.4 A CQA Example ......................................................................................31 5.5 Considerations for CQA Analysis.............................................................32 5.6 Dynamic Updates of Computational Quality Attributes............................. 33 6 Flow Management Architectures..................................................................35 7 Conclusion.....................................................................................................37 8 References.....................................................................................................39
منابع مشابه
Flow-Service-Quality (FSQ) Requirements Engineering For High-Assurance Systems
Modern society could hardly function without the largescale, network-centric information systems that pervade government, defense, and industry. These systems exhibit shifting boundaries, often-unknown component behavior, constantly varying function and usage, and pervasive asynchronous operations. Their complexity challenges intellectual control, and their survivability has become an urgent pr...
متن کاملThe Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems
Modern enterprises are irreversibly dependent on large-scale, adaptive, component-based information systems whose complexity frequently exceeds current engineering capabilities for intellectual control, resulting in persistent difficulties in system development, management, and evolution. We propose an innovative framework of engineering representation and reasoning methods for developing these...
متن کاملApplying FSQ Engineering Foundations to Automated Calculation of Program Behavior
...............................................................................................................v 1 The Problem of Understanding Program Behavior....................................1 2 Background: Function-Theoretic Foundations of FSQ Flow Structures..3 3 Function-Theoretic Calculation of Program Behavior ...............................6 4 The Architecture of an Abstraction Engin...
متن کاملBehavioral Analysis of Traffic Flow for an Effective Network Traffic Identification
Fast and accurate network traffic identification is becoming essential for network management, high quality of service control and early detection of network traffic abnormalities. Techniques based on statistical features of packet flows have recently become popular for network classification due to the limitations of traditional port and payload based methods. In this paper, we propose a metho...
متن کاملDesign of a Reliable Facility Location Model for Health Service Networks
This paper proposes a novel facility location model for health service network design by considering different key elements including the reliability aspects, service capacity, congestion, service quality, surrounding public infrastructures, geographical accessibility and several types of cost such as investment, transportation and operational costs. We formulate the problem as a robust scenari...
متن کامل