Reliability Support for the Model Driven Architecture Genana - - PowerPoint PPT Presentation

▶
reliability support for the model driven architecture
SMART_READER_LITE
LIVE PREVIEW

Reliability Support for the Model Driven Architecture Genana - - PowerPoint PPT Presentation

Aug 19, 2023 141 likes •270 views

Reliability Support for the Model Driven Architecture Genana Rodrigues, Graham Roberts, Wolfgang Emmerich, James Skene {G.Rodrigues|G.Roberts|W.Emmerich|J.Skene}@cs.ucl.ac.uk Department of Computer Science University College London, UK WADS

slide-1
SLIDE 1

Reliability Support for the Model Driven Architecture

Genaína Rodrigues, Graham Roberts, Wolfgang Emmerich, James Skene

{G.Rodrigues|G.Roberts|W.Emmerich|J.Skene}@cs.ucl.ac.uk

Department of Computer Science University College London, UK

WADS 2003

slide-2
SLIDE 2

Genaína Rodrigues WADS 2003 2

Motivation

No standard approach for reliability in the architectural level. Extend MDA to provide reliability support Abstract away complexity of reliability support Achieve a platform-independent reliability model Integrate formal analysis and design of reliability in a unified semantic framework

slide-3
SLIDE 3

Genaína Rodrigues WADS 2003 3

The Model Driven Architecture (MDA)

What is MDA? Model, Abstraction and Refinement Profiles: The lightweight extension mechanism

Stereotypes Tagged Values OCL

slide-4
SLIDE 4

Genaína Rodrigues WADS 2003 4

PIMs and PSMs

Problem: Technical infrastructure changes independently of business rules, but these are strongly coupled in designs. Solution: Decouple them

Platform Independent Model (PIM) Platform Specific Model (PSM) Refinement

slide-5
SLIDE 5

Genaína Rodrigues WADS 2003 5

MDA Mapping

PIM PSM PSM Source Code Analysis Results Metamodeling Language

slide-6
SLIDE 6

Genaína Rodrigues WADS 2003 6

Our Approach

Define a UML Profile for Reliability Implement the mapping from PIM to PSM for EJB Extend UML Profile for EJB Unified Framework

slide-7
SLIDE 7

Genaína Rodrigues WADS 2003 7

Our Approach

Real-Time Profile UML Specification Mapping Profile Reliability Profile Deployment Profile

slide-8
SLIDE 8

Genaína Rodrigues WADS 2003 8

A Profile for Reliability

A subset of UML meta-model: stereotypes, tagged values and OCL constraints Describe semantics of reliability mechanisms Reliability mechanisms

Clustering Persistency Message delivery assurance Atomic Transaction

slide-9
SLIDE 9

Genaína Rodrigues WADS 2003 9

A Scenario

Reliability Assurance of the System: 1-(1-c)n > a c = reliability of each component a = required reliability of the system n = replicated components to assure a If c is 75%, a is 95% then n should be at least 3

slide-10
SLIDE 10

Genaína Rodrigues WADS 2003 10

A Scenario

EJB Fail-Over Mechanism

. . .

Client

EJB Server Container

Entity Bean Instance

Container

Entity Bean Replica 1

Container

Entity Bean Replica n

slide-11
SLIDE 11

Genaína Rodrigues WADS 2003 11

Conclusion And Future Work

Conclusion

Highlighted the need to address reliability during design. Outlined an approach to integrating reliability specification into MDA

Future Work

Accomplishment of the Reliability Profile Map the J2EE reliability mechanisms in the UML/EJB profile (PSM) Automation for mappings

slide-12
SLIDE 12

Genaína Rodrigues WADS 2003 12

Questions

G.Rodrigues@cs.ucl.ac.uk http://www.cs.ucl.ac.uk/staff/g.nunesrodrigues