SlideShare ist ein Scribd-Unternehmen logo
1 von 19
Downloaden Sie, um offline zu lesen
GSSI (Italy), University of L’Aquila (Italy), Amrita University (India)
SERENE 2014, Budapest, October 2014
Ivano Malavolta, Henry Muccini, Smrithi Rekha
Download it from:
http://www.slideshare.net/henry.muccini/
Resilience
2
“The persistence of
dependability when
facing changes”
[Laprie, DSN04]
“resilience engineering is about
flexibility of people and
organisations, not just in
reacting to individual incidents
and anomalous situations, but
also in learning from them and
thus developing an ability to
react…”
[Strigini, bookChapt12 ]
Resilience
3
Resilience
Technical
Social
processes
analysis
RT monitoring
re-config
architectures
human
socio-tech coord.
GDM
impacted by
impacted by
multi-cultural factors
self-*
models
design
Sw.
Architecture
Resilience and Software Architecture
4
Resilience
Technical
Social
impacted by
impacted by
C&C
views
SA styles
ADL
ADD
GDM
ADD: Architecture Design Decisions
GDM: Group Decision Making
Goal of this work
5
by explicitly modeling Group Decision Making
mechanisms and by linking them to
architectures and other artifacts
Enhance the design of Resilient
Systems…
Architecting today
Architecting is the process of creating software
architecture knowledge and artifacts for engineering
software systems
A Software Architecture consists of
→A blueprint for the chosen solution (product)
─ A set of components and connectors communicating through
interfaces
→A set of design decisions (co-product)
─A set of architecture design decisions taken to generate the
architecture artifact
6
Architecting in a picture
7
ADD
ADD
ADD
ADD
GDM
ADD for the Fire Monitoring System
8
Design Issue 1:
how many gateways
shall be used to
collect sensored data
in a building?
Single
Gateway
1 gateway per
floor
1 Gateway per
apartment
Cost
Reliability
Availability
Design
alternatives
CriteriaDesign
issue
GDM for the Fire Monitoring System
9
Design Issue 1:
how many
gateways shall be
used to collect
sensored data in
a building?
Single
Gateway
1 gateway
per floor
1 Gateway
per
apartment
Cost
Reliability
Availability
Design
alternatives
CriteriaDesign
issue
Stakeholders’ concerns
Stakeholders’ reputation
Stakeholders’ roles
Consensus Mechanisms
Social links
Decision Patterns
GDM
Why to care about GDM?!?
> 85% of the decisions made by software architects are
made by groups
5-10 people involved in decision making
21 different roles represented
10
[Smrithi&Muccini,WICSA2014] [Smrithi&Muccini,ECSA2014]
Lack of support in
current architecture
design decisions
methods of GDM
Goal of this work (extended)
11
A. to provide a reference model for Group
Decision Making
B. to define bidirectional traceability links
between ADDs, Architectures, and other
artifacts
C. to outline a change propagation engine
A. Reference Model for GDM
12
B. Traceability Links
Tracing design decisions to/from other artifacts
We defined a DD weaving metamodel, to create traceability
links among DDs and between DDs and other artefacts
14
15
16
C. Change Impact Analysis
 OCL-based validation Engine
 With new OCL constraints that can be defined for domain-
specific validation purposes
 Inter-decisions constraints
 E.g., all members of a group have to express at least a
preference with respect to a design decision.
 Extra-decisions constraints
 E.g., each design decision must be implemented by one (or
more) components
17
Prototype Implementation
Implementation
 Eclipse plugin, extending the Atlas Model Management
Architecture (AMMA)
 Atlas Model Weaver for the weaving models
 Four different GDM components
18
Wrap up
Robust architectures come from a robust
decision-making process
When an artifact evolves, its related GDM may evolve
Our GDM model enables to capture such evolution
When a decision evolves, conflicts may arise and need to be
managed
Need of precise conflict resolution mechanisms, for rapid
convergence
Our approach supports multi-stakeholders awareness on the
made decisions
19
SERENE 2014, Budapest, October 2014
Thank you!
Download it from:
http://www.slideshare.net/henry.muccini/

Weitere ähnliche Inhalte

Ă„hnlich wie SERENE 2014 Workshop: Paper "Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles"

Chapter 7 - Desining CSCW applications
Chapter 7 - Desining CSCW applicationsChapter 7 - Desining CSCW applications
Chapter 7 - Desining CSCW applicationspichiliani
 
AEA Greenland Presentation 1 Nov 2013
AEA Greenland Presentation 1 Nov 2013AEA Greenland Presentation 1 Nov 2013
AEA Greenland Presentation 1 Nov 2013John Gøtze
 
An Evolution-by-design Approach: Toward Multi-disciplinary Life-cycle Manage...
 An Evolution-by-design Approach: Toward Multi-disciplinary Life-cycle Manage... An Evolution-by-design Approach: Toward Multi-disciplinary Life-cycle Manage...
An Evolution-by-design Approach: Toward Multi-disciplinary Life-cycle Manage...Toshihiko Yamakami
 
unit 2 Summer 2019 (11).pptx
unit 2 Summer 2019 (11).pptxunit 2 Summer 2019 (11).pptx
unit 2 Summer 2019 (11).pptxSriSusilawatiIslam
 
Resilience: a brief view on the state of the art
Resilience: a brief view on the state of the artResilience: a brief view on the state of the art
Resilience: a brief view on the state of the artHenry Muccini
 
A Model-Driven Approach to Support Cloud Migration Process- A Language Infras...
A Model-Driven Approach to Support Cloud Migration Process- A Language Infras...A Model-Driven Approach to Support Cloud Migration Process- A Language Infras...
A Model-Driven Approach to Support Cloud Migration Process- A Language Infras...Mahdi_Fahmideh
 
CD March 2015 - Interdisciplinary Design Reviews
CD March 2015 - Interdisciplinary Design ReviewsCD March 2015 - Interdisciplinary Design Reviews
CD March 2015 - Interdisciplinary Design ReviewsComit Projects Ltd
 
On the Social Dimensions of Architectural Decisions
On the Social Dimensions of Architectural Decisions On the Social Dimensions of Architectural Decisions
On the Social Dimensions of Architectural Decisions Henry Muccini
 
BIM Usage in Construction Industry and An application of Clash Detection and ...
BIM Usage in Construction Industry and An application of Clash Detection and ...BIM Usage in Construction Industry and An application of Clash Detection and ...
BIM Usage in Construction Industry and An application of Clash Detection and ...Ravindra SSK Medicharla
 
2015-11-11 research seminar
2015-11-11 research seminar2015-11-11 research seminar
2015-11-11 research seminarifi8106tlu
 
SiriusCon17 - A Graphical Approach to Modularization and Layering of Metamodels
SiriusCon17 - A Graphical Approach to Modularization and Layering of MetamodelsSiriusCon17 - A Graphical Approach to Modularization and Layering of Metamodels
SiriusCon17 - A Graphical Approach to Modularization and Layering of MetamodelsObeo
 
Chapter 5 software design
Chapter 5   software designChapter 5   software design
Chapter 5 software designGoutam Majumder
 
Software Engineering with Objects (M363) Final Revision By Kuwait10
Software Engineering with Objects (M363) Final Revision By Kuwait10Software Engineering with Objects (M363) Final Revision By Kuwait10
Software Engineering with Objects (M363) Final Revision By Kuwait10Kuwait10
 
Architecture Design Decisions and Group Decision Making
Architecture Design Decisions and Group Decision MakingArchitecture Design Decisions and Group Decision Making
Architecture Design Decisions and Group Decision MakingHenry Muccini
 
Software Architecture Views and Viewpoints
Software Architecture Views and ViewpointsSoftware Architecture Views and Viewpoints
Software Architecture Views and ViewpointsHenry Muccini
 
Collaborative Modeling of Processes and Ontologies with MoKi
Collaborative Modeling of Processes and Ontologies with MoKiCollaborative Modeling of Processes and Ontologies with MoKi
Collaborative Modeling of Processes and Ontologies with MoKiMauro Dragoni
 
Improvement opportunity in agile methodology and a survey on the adoption rat...
Improvement opportunity in agile methodology and a survey on the adoption rat...Improvement opportunity in agile methodology and a survey on the adoption rat...
Improvement opportunity in agile methodology and a survey on the adoption rat...Alexander Decker
 

Ă„hnlich wie SERENE 2014 Workshop: Paper "Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles" (20)

Chapter 7 - Desining CSCW applications
Chapter 7 - Desining CSCW applicationsChapter 7 - Desining CSCW applications
Chapter 7 - Desining CSCW applications
 
AEA Greenland Presentation 1 Nov 2013
AEA Greenland Presentation 1 Nov 2013AEA Greenland Presentation 1 Nov 2013
AEA Greenland Presentation 1 Nov 2013
 
An Evolution-by-design Approach: Toward Multi-disciplinary Life-cycle Manage...
 An Evolution-by-design Approach: Toward Multi-disciplinary Life-cycle Manage... An Evolution-by-design Approach: Toward Multi-disciplinary Life-cycle Manage...
An Evolution-by-design Approach: Toward Multi-disciplinary Life-cycle Manage...
 
unit 2 Summer 2019 (11).pptx
unit 2 Summer 2019 (11).pptxunit 2 Summer 2019 (11).pptx
unit 2 Summer 2019 (11).pptx
 
Resilience: a brief view on the state of the art
Resilience: a brief view on the state of the artResilience: a brief view on the state of the art
Resilience: a brief view on the state of the art
 
A Model-Driven Approach to Support Cloud Migration Process- A Language Infras...
A Model-Driven Approach to Support Cloud Migration Process- A Language Infras...A Model-Driven Approach to Support Cloud Migration Process- A Language Infras...
A Model-Driven Approach to Support Cloud Migration Process- A Language Infras...
 
CD March 2015 - Interdisciplinary Design Reviews
CD March 2015 - Interdisciplinary Design ReviewsCD March 2015 - Interdisciplinary Design Reviews
CD March 2015 - Interdisciplinary Design Reviews
 
On the Social Dimensions of Architectural Decisions
On the Social Dimensions of Architectural Decisions On the Social Dimensions of Architectural Decisions
On the Social Dimensions of Architectural Decisions
 
Unit 3
Unit 3Unit 3
Unit 3
 
BIM Usage in Construction Industry and An application of Clash Detection and ...
BIM Usage in Construction Industry and An application of Clash Detection and ...BIM Usage in Construction Industry and An application of Clash Detection and ...
BIM Usage in Construction Industry and An application of Clash Detection and ...
 
Articulo acm
Articulo acmArticulo acm
Articulo acm
 
2015-11-11 research seminar
2015-11-11 research seminar2015-11-11 research seminar
2015-11-11 research seminar
 
CESESA2016_BDelicado
CESESA2016_BDelicadoCESESA2016_BDelicado
CESESA2016_BDelicado
 
SiriusCon17 - A Graphical Approach to Modularization and Layering of Metamodels
SiriusCon17 - A Graphical Approach to Modularization and Layering of MetamodelsSiriusCon17 - A Graphical Approach to Modularization and Layering of Metamodels
SiriusCon17 - A Graphical Approach to Modularization and Layering of Metamodels
 
Chapter 5 software design
Chapter 5   software designChapter 5   software design
Chapter 5 software design
 
Software Engineering with Objects (M363) Final Revision By Kuwait10
Software Engineering with Objects (M363) Final Revision By Kuwait10Software Engineering with Objects (M363) Final Revision By Kuwait10
Software Engineering with Objects (M363) Final Revision By Kuwait10
 
Architecture Design Decisions and Group Decision Making
Architecture Design Decisions and Group Decision MakingArchitecture Design Decisions and Group Decision Making
Architecture Design Decisions and Group Decision Making
 
Software Architecture Views and Viewpoints
Software Architecture Views and ViewpointsSoftware Architecture Views and Viewpoints
Software Architecture Views and Viewpoints
 
Collaborative Modeling of Processes and Ontologies with MoKi
Collaborative Modeling of Processes and Ontologies with MoKiCollaborative Modeling of Processes and Ontologies with MoKi
Collaborative Modeling of Processes and Ontologies with MoKi
 
Improvement opportunity in agile methodology and a survey on the adoption rat...
Improvement opportunity in agile methodology and a survey on the adoption rat...Improvement opportunity in agile methodology and a survey on the adoption rat...
Improvement opportunity in agile methodology and a survey on the adoption rat...
 

Mehr von SERENEWorkshop

Hot Stand-By Disaster Recovery Solutions for Ensuring the Resilience of Railw...
Hot Stand-By Disaster Recovery Solutions for Ensuring the Resilience of Railw...Hot Stand-By Disaster Recovery Solutions for Ensuring the Resilience of Railw...
Hot Stand-By Disaster Recovery Solutions for Ensuring the Resilience of Railw...SERENEWorkshop
 
Considering Execution Environment Resilience: A White-Box Approach
Considering Execution Environment Resilience: A White-Box ApproachConsidering Execution Environment Resilience: A White-Box Approach
Considering Execution Environment Resilience: A White-Box ApproachSERENEWorkshop
 
Towards Robust and Safe Autonomous Drones
Towards Robust and Safe Autonomous DronesTowards Robust and Safe Autonomous Drones
Towards Robust and Safe Autonomous DronesSERENEWorkshop
 
Engineering Cross-Layer Fault Tolerance in Many-Core Systems
Engineering Cross-Layer Fault Tolerance in Many-Core SystemsEngineering Cross-Layer Fault Tolerance in Many-Core Systems
Engineering Cross-Layer Fault Tolerance in Many-Core SystemsSERENEWorkshop
 
Risk Assessment Based Cloudification
Risk Assessment Based CloudificationRisk Assessment Based Cloudification
Risk Assessment Based CloudificationSERENEWorkshop
 
Biological Immunity and Software Resilience: Two Faces of the Same Coin?
Biological Immunity and Software Resilience: Two Faces of the Same Coin?Biological Immunity and Software Resilience: Two Faces of the Same Coin?
Biological Immunity and Software Resilience: Two Faces of the Same Coin?SERENEWorkshop
 
SERENE 2014 School: System management overview
SERENE 2014 School: System management overviewSERENE 2014 School: System management overview
SERENE 2014 School: System management overviewSERENEWorkshop
 
SERENE 2014 School: System-Level Concurrent Error Detection
SERENE 2014 School: System-Level Concurrent Error Detection SERENE 2014 School: System-Level Concurrent Error Detection
SERENE 2014 School: System-Level Concurrent Error Detection SERENEWorkshop
 
SERENE 2014 School: Measurement-Driven Resilience Design of Cloud-Based Cyber...
SERENE 2014 School: Measurement-Driven Resilience Design of Cloud-Based Cyber...SERENE 2014 School: Measurement-Driven Resilience Design of Cloud-Based Cyber...
SERENE 2014 School: Measurement-Driven Resilience Design of Cloud-Based Cyber...SERENEWorkshop
 
SERENE 2014 School: Incremental Model Queries over the Cloud
SERENE 2014 School: Incremental Model Queries over the CloudSERENE 2014 School: Incremental Model Queries over the Cloud
SERENE 2014 School: Incremental Model Queries over the CloudSERENEWorkshop
 
SERENE 2014 School: Challenges in Cyber-Physical Systems
SERENE 2014 School: Challenges in Cyber-Physical SystemsSERENE 2014 School: Challenges in Cyber-Physical Systems
SERENE 2014 School: Challenges in Cyber-Physical SystemsSERENEWorkshop
 
SERENE 2014 School: Resilience in Cyber-Physical Systems: Challenges and Oppo...
SERENE 2014 School: Resilience in Cyber-Physical Systems: Challenges and Oppo...SERENE 2014 School: Resilience in Cyber-Physical Systems: Challenges and Oppo...
SERENE 2014 School: Resilience in Cyber-Physical Systems: Challenges and Oppo...SERENEWorkshop
 
SERENE 2014 Workshop: Panel on "Views on Runtime Resilience Assessment of Dyn...
SERENE 2014 Workshop: Panel on "Views on Runtime Resilience Assessment of Dyn...SERENE 2014 Workshop: Panel on "Views on Runtime Resilience Assessment of Dyn...
SERENE 2014 Workshop: Panel on "Views on Runtime Resilience Assessment of Dyn...SERENEWorkshop
 
SERENE 2014 Workshop: Paper "Combined Error Propagation Analysis and Runtime ...
SERENE 2014 Workshop: Paper "Combined Error Propagation Analysis and Runtime ...SERENE 2014 Workshop: Paper "Combined Error Propagation Analysis and Runtime ...
SERENE 2014 Workshop: Paper "Combined Error Propagation Analysis and Runtime ...SERENEWorkshop
 
SERENE 2014 Workshop: Paper "Simulation Testing and Model Checking: A Case St...
SERENE 2014 Workshop: Paper "Simulation Testing and Model Checking: A Case St...SERENE 2014 Workshop: Paper "Simulation Testing and Model Checking: A Case St...
SERENE 2014 Workshop: Paper "Simulation Testing and Model Checking: A Case St...SERENEWorkshop
 
SERENE 2014 Workshop: Paper "Adaptive Domain-Specific Service Monitoring"
SERENE 2014 Workshop: Paper "Adaptive Domain-Specific Service Monitoring"SERENE 2014 Workshop: Paper "Adaptive Domain-Specific Service Monitoring"
SERENE 2014 Workshop: Paper "Adaptive Domain-Specific Service Monitoring"SERENEWorkshop
 
SERENE 2014 Workshop: Paper "Verification and Validation of a Pressure Contro...
SERENE 2014 Workshop: Paper "Verification and Validation of a Pressure Contro...SERENE 2014 Workshop: Paper "Verification and Validation of a Pressure Contro...
SERENE 2014 Workshop: Paper "Verification and Validation of a Pressure Contro...SERENEWorkshop
 
SERENE 2014 Workshop: Paper "Using Instrumentation for Quality Assessment of ...
SERENE 2014 Workshop: Paper "Using Instrumentation for Quality Assessment of ...SERENE 2014 Workshop: Paper "Using Instrumentation for Quality Assessment of ...
SERENE 2014 Workshop: Paper "Using Instrumentation for Quality Assessment of ...SERENEWorkshop
 
SERENE 2014 Workshop: Paper "Advanced Modelling, Simulation and Verification ...
SERENE 2014 Workshop: Paper "Advanced Modelling, Simulation and Verification ...SERENE 2014 Workshop: Paper "Advanced Modelling, Simulation and Verification ...
SERENE 2014 Workshop: Paper "Advanced Modelling, Simulation and Verification ...SERENEWorkshop
 
SERENE 2014 Workshop: Paper "Formal Fault Tolerance Analysis of Algorithms fo...
SERENE 2014 Workshop: Paper "Formal Fault Tolerance Analysis of Algorithms fo...SERENE 2014 Workshop: Paper "Formal Fault Tolerance Analysis of Algorithms fo...
SERENE 2014 Workshop: Paper "Formal Fault Tolerance Analysis of Algorithms fo...SERENEWorkshop
 

Mehr von SERENEWorkshop (20)

Hot Stand-By Disaster Recovery Solutions for Ensuring the Resilience of Railw...
Hot Stand-By Disaster Recovery Solutions for Ensuring the Resilience of Railw...Hot Stand-By Disaster Recovery Solutions for Ensuring the Resilience of Railw...
Hot Stand-By Disaster Recovery Solutions for Ensuring the Resilience of Railw...
 
Considering Execution Environment Resilience: A White-Box Approach
Considering Execution Environment Resilience: A White-Box ApproachConsidering Execution Environment Resilience: A White-Box Approach
Considering Execution Environment Resilience: A White-Box Approach
 
Towards Robust and Safe Autonomous Drones
Towards Robust and Safe Autonomous DronesTowards Robust and Safe Autonomous Drones
Towards Robust and Safe Autonomous Drones
 
Engineering Cross-Layer Fault Tolerance in Many-Core Systems
Engineering Cross-Layer Fault Tolerance in Many-Core SystemsEngineering Cross-Layer Fault Tolerance in Many-Core Systems
Engineering Cross-Layer Fault Tolerance in Many-Core Systems
 
Risk Assessment Based Cloudification
Risk Assessment Based CloudificationRisk Assessment Based Cloudification
Risk Assessment Based Cloudification
 
Biological Immunity and Software Resilience: Two Faces of the Same Coin?
Biological Immunity and Software Resilience: Two Faces of the Same Coin?Biological Immunity and Software Resilience: Two Faces of the Same Coin?
Biological Immunity and Software Resilience: Two Faces of the Same Coin?
 
SERENE 2014 School: System management overview
SERENE 2014 School: System management overviewSERENE 2014 School: System management overview
SERENE 2014 School: System management overview
 
SERENE 2014 School: System-Level Concurrent Error Detection
SERENE 2014 School: System-Level Concurrent Error Detection SERENE 2014 School: System-Level Concurrent Error Detection
SERENE 2014 School: System-Level Concurrent Error Detection
 
SERENE 2014 School: Measurement-Driven Resilience Design of Cloud-Based Cyber...
SERENE 2014 School: Measurement-Driven Resilience Design of Cloud-Based Cyber...SERENE 2014 School: Measurement-Driven Resilience Design of Cloud-Based Cyber...
SERENE 2014 School: Measurement-Driven Resilience Design of Cloud-Based Cyber...
 
SERENE 2014 School: Incremental Model Queries over the Cloud
SERENE 2014 School: Incremental Model Queries over the CloudSERENE 2014 School: Incremental Model Queries over the Cloud
SERENE 2014 School: Incremental Model Queries over the Cloud
 
SERENE 2014 School: Challenges in Cyber-Physical Systems
SERENE 2014 School: Challenges in Cyber-Physical SystemsSERENE 2014 School: Challenges in Cyber-Physical Systems
SERENE 2014 School: Challenges in Cyber-Physical Systems
 
SERENE 2014 School: Resilience in Cyber-Physical Systems: Challenges and Oppo...
SERENE 2014 School: Resilience in Cyber-Physical Systems: Challenges and Oppo...SERENE 2014 School: Resilience in Cyber-Physical Systems: Challenges and Oppo...
SERENE 2014 School: Resilience in Cyber-Physical Systems: Challenges and Oppo...
 
SERENE 2014 Workshop: Panel on "Views on Runtime Resilience Assessment of Dyn...
SERENE 2014 Workshop: Panel on "Views on Runtime Resilience Assessment of Dyn...SERENE 2014 Workshop: Panel on "Views on Runtime Resilience Assessment of Dyn...
SERENE 2014 Workshop: Panel on "Views on Runtime Resilience Assessment of Dyn...
 
SERENE 2014 Workshop: Paper "Combined Error Propagation Analysis and Runtime ...
SERENE 2014 Workshop: Paper "Combined Error Propagation Analysis and Runtime ...SERENE 2014 Workshop: Paper "Combined Error Propagation Analysis and Runtime ...
SERENE 2014 Workshop: Paper "Combined Error Propagation Analysis and Runtime ...
 
SERENE 2014 Workshop: Paper "Simulation Testing and Model Checking: A Case St...
SERENE 2014 Workshop: Paper "Simulation Testing and Model Checking: A Case St...SERENE 2014 Workshop: Paper "Simulation Testing and Model Checking: A Case St...
SERENE 2014 Workshop: Paper "Simulation Testing and Model Checking: A Case St...
 
SERENE 2014 Workshop: Paper "Adaptive Domain-Specific Service Monitoring"
SERENE 2014 Workshop: Paper "Adaptive Domain-Specific Service Monitoring"SERENE 2014 Workshop: Paper "Adaptive Domain-Specific Service Monitoring"
SERENE 2014 Workshop: Paper "Adaptive Domain-Specific Service Monitoring"
 
SERENE 2014 Workshop: Paper "Verification and Validation of a Pressure Contro...
SERENE 2014 Workshop: Paper "Verification and Validation of a Pressure Contro...SERENE 2014 Workshop: Paper "Verification and Validation of a Pressure Contro...
SERENE 2014 Workshop: Paper "Verification and Validation of a Pressure Contro...
 
SERENE 2014 Workshop: Paper "Using Instrumentation for Quality Assessment of ...
SERENE 2014 Workshop: Paper "Using Instrumentation for Quality Assessment of ...SERENE 2014 Workshop: Paper "Using Instrumentation for Quality Assessment of ...
SERENE 2014 Workshop: Paper "Using Instrumentation for Quality Assessment of ...
 
SERENE 2014 Workshop: Paper "Advanced Modelling, Simulation and Verification ...
SERENE 2014 Workshop: Paper "Advanced Modelling, Simulation and Verification ...SERENE 2014 Workshop: Paper "Advanced Modelling, Simulation and Verification ...
SERENE 2014 Workshop: Paper "Advanced Modelling, Simulation and Verification ...
 
SERENE 2014 Workshop: Paper "Formal Fault Tolerance Analysis of Algorithms fo...
SERENE 2014 Workshop: Paper "Formal Fault Tolerance Analysis of Algorithms fo...SERENE 2014 Workshop: Paper "Formal Fault Tolerance Analysis of Algorithms fo...
SERENE 2014 Workshop: Paper "Formal Fault Tolerance Analysis of Algorithms fo...
 

KĂĽrzlich hochgeladen

Lucknow đź’‹ Russian Call Girls Lucknow Finest Escorts Service 8923113531 Availa...
Lucknow đź’‹ Russian Call Girls Lucknow Finest Escorts Service 8923113531 Availa...Lucknow đź’‹ Russian Call Girls Lucknow Finest Escorts Service 8923113531 Availa...
Lucknow đź’‹ Russian Call Girls Lucknow Finest Escorts Service 8923113531 Availa...anilsa9823
 
Isotopic evidence of long-lived volcanism on Io
Isotopic evidence of long-lived volcanism on IoIsotopic evidence of long-lived volcanism on Io
Isotopic evidence of long-lived volcanism on IoSĂ©rgio Sacani
 
Unlocking the Potential: Deep dive into ocean of Ceramic Magnets.pptx
Unlocking  the Potential: Deep dive into ocean of Ceramic Magnets.pptxUnlocking  the Potential: Deep dive into ocean of Ceramic Magnets.pptx
Unlocking the Potential: Deep dive into ocean of Ceramic Magnets.pptxanandsmhk
 
Pests of cotton_Borer_Pests_Binomics_Dr.UPR.pdf
Pests of cotton_Borer_Pests_Binomics_Dr.UPR.pdfPests of cotton_Borer_Pests_Binomics_Dr.UPR.pdf
Pests of cotton_Borer_Pests_Binomics_Dr.UPR.pdfPirithiRaju
 
Botany 4th semester file By Sumit Kumar yadav.pdf
Botany 4th semester file By Sumit Kumar yadav.pdfBotany 4th semester file By Sumit Kumar yadav.pdf
Botany 4th semester file By Sumit Kumar yadav.pdfSumit Kumar yadav
 
9654467111 Call Girls In Raj Nagar Delhi Short 1500 Night 6000
9654467111 Call Girls In Raj Nagar Delhi Short 1500 Night 60009654467111 Call Girls In Raj Nagar Delhi Short 1500 Night 6000
9654467111 Call Girls In Raj Nagar Delhi Short 1500 Night 6000Sapana Sha
 
Biopesticide (2).pptx .This slides helps to know the different types of biop...
Biopesticide (2).pptx  .This slides helps to know the different types of biop...Biopesticide (2).pptx  .This slides helps to know the different types of biop...
Biopesticide (2).pptx .This slides helps to know the different types of biop...RohitNehra6
 
Hire đź’• 9907093804 Hooghly Call Girls Service Call Girls Agency
Hire đź’• 9907093804 Hooghly Call Girls Service Call Girls AgencyHire đź’• 9907093804 Hooghly Call Girls Service Call Girls Agency
Hire đź’• 9907093804 Hooghly Call Girls Service Call Girls AgencySheetal Arora
 
GFP in rDNA Technology (Biotechnology).pptx
GFP in rDNA Technology (Biotechnology).pptxGFP in rDNA Technology (Biotechnology).pptx
GFP in rDNA Technology (Biotechnology).pptxAleenaTreesaSaji
 
GBSN - Biochemistry (Unit 1)
GBSN - Biochemistry (Unit 1)GBSN - Biochemistry (Unit 1)
GBSN - Biochemistry (Unit 1)Areesha Ahmad
 
Chemistry 4th semester series (krishna).pdf
Chemistry 4th semester series (krishna).pdfChemistry 4th semester series (krishna).pdf
Chemistry 4th semester series (krishna).pdfSumit Kumar yadav
 
STERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCE
STERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCESTERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCE
STERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCEPRINCE C P
 
Nanoparticles synthesis and characterization​ ​
Nanoparticles synthesis and characterization​  ​Nanoparticles synthesis and characterization​  ​
Nanoparticles synthesis and characterization​ ​kaibalyasahoo82800
 
Botany 4th semester series (krishna).pdf
Botany 4th semester series (krishna).pdfBotany 4th semester series (krishna).pdf
Botany 4th semester series (krishna).pdfSumit Kumar yadav
 
Animal Communication- Auditory and Visual.pptx
Animal Communication- Auditory and Visual.pptxAnimal Communication- Auditory and Visual.pptx
Animal Communication- Auditory and Visual.pptxUmerFayaz5
 
Raman spectroscopy.pptx M Pharm, M Sc, Advanced Spectral Analysis
Raman spectroscopy.pptx M Pharm, M Sc, Advanced Spectral AnalysisRaman spectroscopy.pptx M Pharm, M Sc, Advanced Spectral Analysis
Raman spectroscopy.pptx M Pharm, M Sc, Advanced Spectral AnalysisDiwakar Mishra
 
Zoology 4th semester series (krishna).pdf
Zoology 4th semester series (krishna).pdfZoology 4th semester series (krishna).pdf
Zoology 4th semester series (krishna).pdfSumit Kumar yadav
 
GBSN - Microbiology (Unit 2)
GBSN - Microbiology (Unit 2)GBSN - Microbiology (Unit 2)
GBSN - Microbiology (Unit 2)Areesha Ahmad
 
PossibleEoarcheanRecordsoftheGeomagneticFieldPreservedintheIsuaSupracrustalBe...
PossibleEoarcheanRecordsoftheGeomagneticFieldPreservedintheIsuaSupracrustalBe...PossibleEoarcheanRecordsoftheGeomagneticFieldPreservedintheIsuaSupracrustalBe...
PossibleEoarcheanRecordsoftheGeomagneticFieldPreservedintheIsuaSupracrustalBe...SĂ©rgio Sacani
 

KĂĽrzlich hochgeladen (20)

Lucknow đź’‹ Russian Call Girls Lucknow Finest Escorts Service 8923113531 Availa...
Lucknow đź’‹ Russian Call Girls Lucknow Finest Escorts Service 8923113531 Availa...Lucknow đź’‹ Russian Call Girls Lucknow Finest Escorts Service 8923113531 Availa...
Lucknow đź’‹ Russian Call Girls Lucknow Finest Escorts Service 8923113531 Availa...
 
Isotopic evidence of long-lived volcanism on Io
Isotopic evidence of long-lived volcanism on IoIsotopic evidence of long-lived volcanism on Io
Isotopic evidence of long-lived volcanism on Io
 
Unlocking the Potential: Deep dive into ocean of Ceramic Magnets.pptx
Unlocking  the Potential: Deep dive into ocean of Ceramic Magnets.pptxUnlocking  the Potential: Deep dive into ocean of Ceramic Magnets.pptx
Unlocking the Potential: Deep dive into ocean of Ceramic Magnets.pptx
 
Pests of cotton_Borer_Pests_Binomics_Dr.UPR.pdf
Pests of cotton_Borer_Pests_Binomics_Dr.UPR.pdfPests of cotton_Borer_Pests_Binomics_Dr.UPR.pdf
Pests of cotton_Borer_Pests_Binomics_Dr.UPR.pdf
 
Botany 4th semester file By Sumit Kumar yadav.pdf
Botany 4th semester file By Sumit Kumar yadav.pdfBotany 4th semester file By Sumit Kumar yadav.pdf
Botany 4th semester file By Sumit Kumar yadav.pdf
 
9654467111 Call Girls In Raj Nagar Delhi Short 1500 Night 6000
9654467111 Call Girls In Raj Nagar Delhi Short 1500 Night 60009654467111 Call Girls In Raj Nagar Delhi Short 1500 Night 6000
9654467111 Call Girls In Raj Nagar Delhi Short 1500 Night 6000
 
Biopesticide (2).pptx .This slides helps to know the different types of biop...
Biopesticide (2).pptx  .This slides helps to know the different types of biop...Biopesticide (2).pptx  .This slides helps to know the different types of biop...
Biopesticide (2).pptx .This slides helps to know the different types of biop...
 
Hire đź’• 9907093804 Hooghly Call Girls Service Call Girls Agency
Hire đź’• 9907093804 Hooghly Call Girls Service Call Girls AgencyHire đź’• 9907093804 Hooghly Call Girls Service Call Girls Agency
Hire đź’• 9907093804 Hooghly Call Girls Service Call Girls Agency
 
GFP in rDNA Technology (Biotechnology).pptx
GFP in rDNA Technology (Biotechnology).pptxGFP in rDNA Technology (Biotechnology).pptx
GFP in rDNA Technology (Biotechnology).pptx
 
9953056974 Young Call Girls In Mahavir enclave Indian Quality Escort service
9953056974 Young Call Girls In Mahavir enclave Indian Quality Escort service9953056974 Young Call Girls In Mahavir enclave Indian Quality Escort service
9953056974 Young Call Girls In Mahavir enclave Indian Quality Escort service
 
GBSN - Biochemistry (Unit 1)
GBSN - Biochemistry (Unit 1)GBSN - Biochemistry (Unit 1)
GBSN - Biochemistry (Unit 1)
 
Chemistry 4th semester series (krishna).pdf
Chemistry 4th semester series (krishna).pdfChemistry 4th semester series (krishna).pdf
Chemistry 4th semester series (krishna).pdf
 
STERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCE
STERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCESTERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCE
STERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCE
 
Nanoparticles synthesis and characterization​ ​
Nanoparticles synthesis and characterization​  ​Nanoparticles synthesis and characterization​  ​
Nanoparticles synthesis and characterization​ ​
 
Botany 4th semester series (krishna).pdf
Botany 4th semester series (krishna).pdfBotany 4th semester series (krishna).pdf
Botany 4th semester series (krishna).pdf
 
Animal Communication- Auditory and Visual.pptx
Animal Communication- Auditory and Visual.pptxAnimal Communication- Auditory and Visual.pptx
Animal Communication- Auditory and Visual.pptx
 
Raman spectroscopy.pptx M Pharm, M Sc, Advanced Spectral Analysis
Raman spectroscopy.pptx M Pharm, M Sc, Advanced Spectral AnalysisRaman spectroscopy.pptx M Pharm, M Sc, Advanced Spectral Analysis
Raman spectroscopy.pptx M Pharm, M Sc, Advanced Spectral Analysis
 
Zoology 4th semester series (krishna).pdf
Zoology 4th semester series (krishna).pdfZoology 4th semester series (krishna).pdf
Zoology 4th semester series (krishna).pdf
 
GBSN - Microbiology (Unit 2)
GBSN - Microbiology (Unit 2)GBSN - Microbiology (Unit 2)
GBSN - Microbiology (Unit 2)
 
PossibleEoarcheanRecordsoftheGeomagneticFieldPreservedintheIsuaSupracrustalBe...
PossibleEoarcheanRecordsoftheGeomagneticFieldPreservedintheIsuaSupracrustalBe...PossibleEoarcheanRecordsoftheGeomagneticFieldPreservedintheIsuaSupracrustalBe...
PossibleEoarcheanRecordsoftheGeomagneticFieldPreservedintheIsuaSupracrustalBe...
 

SERENE 2014 Workshop: Paper "Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles"

  • 1. GSSI (Italy), University of L’Aquila (Italy), Amrita University (India) SERENE 2014, Budapest, October 2014 Ivano Malavolta, Henry Muccini, Smrithi Rekha Download it from: http://www.slideshare.net/henry.muccini/
  • 2. Resilience 2 “The persistence of dependability when facing changes” [Laprie, DSN04] “resilience engineering is about flexibility of people and organisations, not just in reacting to individual incidents and anomalous situations, but also in learning from them and thus developing an ability to react…” [Strigini, bookChapt12 ]
  • 4. Sw. Architecture Resilience and Software Architecture 4 Resilience Technical Social impacted by impacted by C&C views SA styles ADL ADD GDM ADD: Architecture Design Decisions GDM: Group Decision Making
  • 5. Goal of this work 5 by explicitly modeling Group Decision Making mechanisms and by linking them to architectures and other artifacts Enhance the design of Resilient Systems…
  • 6. Architecting today Architecting is the process of creating software architecture knowledge and artifacts for engineering software systems A Software Architecture consists of →A blueprint for the chosen solution (product) ─ A set of components and connectors communicating through interfaces →A set of design decisions (co-product) ─A set of architecture design decisions taken to generate the architecture artifact 6
  • 7. Architecting in a picture 7 ADD ADD ADD ADD GDM
  • 8. ADD for the Fire Monitoring System 8 Design Issue 1: how many gateways shall be used to collect sensored data in a building? Single Gateway 1 gateway per floor 1 Gateway per apartment Cost Reliability Availability Design alternatives CriteriaDesign issue
  • 9. GDM for the Fire Monitoring System 9 Design Issue 1: how many gateways shall be used to collect sensored data in a building? Single Gateway 1 gateway per floor 1 Gateway per apartment Cost Reliability Availability Design alternatives CriteriaDesign issue Stakeholders’ concerns Stakeholders’ reputation Stakeholders’ roles Consensus Mechanisms Social links Decision Patterns GDM
  • 10. Why to care about GDM?!? > 85% of the decisions made by software architects are made by groups 5-10 people involved in decision making 21 different roles represented 10 [Smrithi&Muccini,WICSA2014] [Smrithi&Muccini,ECSA2014] Lack of support in current architecture design decisions methods of GDM
  • 11. Goal of this work (extended) 11 A. to provide a reference model for Group Decision Making B. to define bidirectional traceability links between ADDs, Architectures, and other artifacts C. to outline a change propagation engine
  • 12. A. Reference Model for GDM 12
  • 13. B. Traceability Links Tracing design decisions to/from other artifacts We defined a DD weaving metamodel, to create traceability links among DDs and between DDs and other artefacts 14
  • 14. 15
  • 15. 16
  • 16. C. Change Impact Analysis  OCL-based validation Engine  With new OCL constraints that can be defined for domain- specific validation purposes  Inter-decisions constraints  E.g., all members of a group have to express at least a preference with respect to a design decision.  Extra-decisions constraints  E.g., each design decision must be implemented by one (or more) components 17
  • 17. Prototype Implementation Implementation  Eclipse plugin, extending the Atlas Model Management Architecture (AMMA)  Atlas Model Weaver for the weaving models  Four different GDM components 18
  • 18. Wrap up Robust architectures come from a robust decision-making process When an artifact evolves, its related GDM may evolve Our GDM model enables to capture such evolution When a decision evolves, conflicts may arise and need to be managed Need of precise conflict resolution mechanisms, for rapid convergence Our approach supports multi-stakeholders awareness on the made decisions 19
  • 19. SERENE 2014, Budapest, October 2014 Thank you! Download it from: http://www.slideshare.net/henry.muccini/