Software Engineering Automation Center Software Engineering - PowerPoint PPT Presentation

Software Engineering Automation Center Software Engineering Automation Center ICSE 2003 Workshop on Software Architecture for Dependable Systems ms ICSE 2003 Workshop on Software Architecture for Dependable Syste Perspective- -based Architectural Approach based Architectural Approach Perspective for Dependable Systems for Dependable Systems Sheldon X. Liang, J. Puett, Luqi Naval Postgraduate School May 2003 1 May 19, 2003 Naval Postgraduate School, 833 Dyer Road, Monterey, CA 93943-5118 Tel: (831) 656-3195 Email: seac@nps.navy.mil http://seac.nps.navy.mil/ Fax: (831) 656-3225

Software Engineering Automation Center Software Engineering Automation Center ICSE 2003 Workshop on Software Architecture for Dependable Systems ms ICSE 2003 Workshop on Software Architecture for Dependable Syste Perspective- -based Architectural Approach based Architectural Approach Perspective for Dependable Systems for Dependable Systems � Overview � Perspective-based Architecting � Dependable Compositional Patterns � Conclusion 2 May 19, 2003 Naval Postgraduate School, 833 Dyer Road, Monterey, CA 93943-5118 Tel: (831) 656-3195 Email: seac@nps.navy.mil http://seac.nps.navy.mil/ Fax: (831) 656-3225

Software Engineering Automation Center Software Engineering Automation Center ICSE 2003 Workshop on Software Architecture for Dependable Systems ms ICSE 2003 Workshop on Software Architecture for Dependable Syste � Objectives � to develop a method known as PBA 1 � to incorporate rapid system prototyping (RSP) � to build a synthesizing approach that enables � explicitly architecting HDSIS 2 � consistently engineering HDSIS 1 PBA: Perspective-Based Architectural Approach 2 HDSIS: Highly Dependable Software-Intensive Systems 3 May 19, 2003 Naval Postgraduate School, 833 Dyer Road, Monterey, CA 93943-5118 Tel: (831) 656-3195 Email: seac@nps.navy.mil http://seac.nps.navy.mil/ Fax: (831) 656-3225

Software Engineering Automation Center Software Engineering Automation Center ICSE 2003 Workshop on Software Architecture for Dependable Systems ms ICSE 2003 Workshop on Software Architecture for Dependable Syste � Barriers Barriers � Perspective confusion problem � Model construction problem � Constraint localization problem � Software tool support problem 4 May 19, 2003 Naval Postgraduate School, 833 Dyer Road, Monterey, CA 93943-5118 Tel: (831) 656-3195 Email: seac@nps.navy.mil http://seac.nps.navy.mil/ Fax: (831) 656-3225

Software Engineering Automation Center Software Engineering Automation Center ICSE 2003 Workshop on Software Architecture for Dependable Systems ms ICSE 2003 Workshop on Software Architecture for Dependable Syste Perspective Confusion Increased uncertainty about requirements Customer Customer Flexible Configuration in Architect Architect Organization Implementer Implementer Rapid Application Development They are not always coincident concerns for all stakeholders, sometimes they are even contradictory for customer, architect and implementer, respectively. 5 May 19, 2003 Naval Postgraduate School, 833 Dyer Road, Monterey, CA 93943-5118 Tel: (831) 656-3195 Email: seac@nps.navy.mil http://seac.nps.navy.mil/ Fax: (831) 656-3225

Software Engineering Automation Center Software Engineering Automation Center ICSE 2003 Workshop on Software Architecture for Dependable Systems ms ICSE 2003 Workshop on Software Architecture for Dependable Syste Model Construction Modeling a system against different Modeling a system against different perspectives should reflect different perspectives should reflect different stakeholder’ ’ s concerns, and it is required s concerns, and it is required stakeholder that these models are compatible that these models are compatible A transitional process can be applied to change one into the other with a dependability-conserved transformation. 6 May 19, 2003 Naval Postgraduate School, 833 Dyer Road, Monterey, CA 93943-5118 Tel: (831) 656-3195 Email: seac@nps.navy.mil http://seac.nps.navy.mil/ Fax: (831) 656-3225

Software Engineering Automation Center Software Engineering Automation Center ICSE 2003 Workshop on Software Architecture for Dependable Systems ms ICSE 2003 Workshop on Software Architecture for Dependable Syste Constraints Localization Dependable properties of HDSIS, such as Dependable properties of HDSIS, such as availability , , reliability, integrity, security, maintainability , are generally translated , are generally translated into quantitative constraints into quantitative constraints How to localize these constraints becomes key issue because it is not easy to find the crucial formal argument on which constraints are localized 7 May 19, 2003 Naval Postgraduate School, 833 Dyer Road, Monterey, CA 93943-5118 Tel: (831) 656-3195 Email: seac@nps.navy.mil http://seac.nps.navy.mil/ Fax: (831) 656-3225

Software Engineering Automation Center Software Engineering Automation Center ICSE 2003 Workshop on Software Architecture for Dependable Systems ms ICSE 2003 Workshop on Software Architecture for Dependable Syste Software Tool Support Intellectual models are to be represented Intellectual models are to be represented as semantic formulas that is suitable for as semantic formulas that is suitable for reasoning and manipulation by CASE reasoning and manipulation by CASE tools and this will be the main challenge. tools and this will be the main challenge. A well-formulated description provides the mechanism for reasoning and manipulation 8 May 19, 2003 Naval Postgraduate School, 833 Dyer Road, Monterey, CA 93943-5118 Tel: (831) 656-3195 Email: seac@nps.navy.mil http://seac.nps.navy.mil/ Fax: (831) 656-3225

Software Engineering Automation Center Software Engineering Automation Center ICSE 2003 Workshop on Software Architecture for Dependable Systems ms ICSE 2003 Workshop on Software Architecture for Dependable Syste � Solutions � Modeling HDSIS via multiple perspectives � Explicit architecture via compositional patterns � Property formulation via localized constraints � System evolution via generic framework 9 May 19, 2003 Naval Postgraduate School, 833 Dyer Road, Monterey, CA 93943-5118 Tel: (831) 656-3195 Email: seac@nps.navy.mil http://seac.nps.navy.mil/ Fax: (831) 656-3225

Software Engineering Automation Center Software Engineering Automation Center ICSE 2003 Workshop on Software Architecture for Dependable Systems ms ICSE 2003 Workshop on Software Architecture for Dependable Syste PBA: Perspective-Based Architectural Approach Operational � Concept Computational Activity User’s Highly Constructing Prototyping Refining Dependable Informal (Prototype) (Model) (Coding) Needs Systems Rules / patterns for Behavioral Activities Components and Component System Connectivity Interconnections Real-time Constraints Evolving Architectural Properties Architecting � � Compositional Generating Derivational Architecture (Framework) Transformation Design Inspection 10 May 19, 2003 Naval Postgraduate School, 833 Dyer Road, Monterey, CA 93943-5118 Tel: (831) 656-3195 Email: seac@nps.navy.mil http://seac.nps.navy.mil/ Fax: (831) 656-3225

Software Engineering Automation Center Software Engineering Automation Center ICSE 2003 Workshop on Software Architecture for Dependable Systems ms ICSE 2003 Workshop on Software Architecture for Dependable Syste � Perspective-Based Architectures � Computational Activity � Compositional Architecture � Derivational Implementation � Transitional Procedure 11 May 19, 2003 Naval Postgraduate School, 833 Dyer Road, Monterey, CA 93943-5118 Tel: (831) 656-3195 Email: seac@nps.navy.mil http://seac.nps.navy.mil/ Fax: (831) 656-3225

Software Engineering Automation Center Software Engineering Automation Center ICSE 2003 Workshop on Software Architecture for Dependable Systems ms ICSE 2003 Workshop on Software Architecture for Dependable Syste Computational Activity Computational activity accounts for the Computational activity accounts for the customer perspective concerns of computation customer perspective concerns of computation and interconnection and interconnection P computation = [ C C c , I I , , Ct Ct ( ( C C c , I I )] )] P computation = [ c , c , High level in hierarchy Computational activity is used to capture the activities and Low level in hierarchy information flows that will accomplish the operational “Hole Component concept 12 May 19, 2003 Naval Postgraduate School, 833 Dyer Road, Monterey, CA 93943-5118 Tel: (831) 656-3195 Email: seac@nps.navy.mil http://seac.nps.navy.mil/ Fax: (831) 656-3225