Paper written by Flavio Oquendo Presented by Ernesto Medina.

Slides:



Advertisements
Similar presentations
SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems Massimo Tivoli Computer Science Department University of.
Advertisements

Architecture Representation
Extended DEVSML as a Model Transformation Intermediary to Make UML Diagrams Executable Jianpeng Hu Dept. of Computer Science and Engineering Shanghai Jiao.
A Brief Introduction. Acknowledgements  The material in this tutorial is based in part on: Concurrency: State Models & Java Programming, by Jeff Magee.
Background information Formal verification methods based on theorem proving techniques and model­checking –to prove the absence of errors (in the formal.
® IBM Software Group © 2006 IBM Corporation Rational Software France Object-Oriented Analysis and Design with UML2 and Rational Software Modeler 04. Other.
Unified Modeling Language
Requirements Engineering n Elicit requirements from customer  Information and control needs, product function and behavior, overall product performance,
Architecture-driven Modeling and Analysis By David Garlan and Bradley Schmerl Presented by Charita Feldman.
Introduction to UML Visual modeling Models and its importance
Component and Deployment Diagrams
Major Exam II Reschedule 5:30 – 7:30 pm in Tue Dec 5 th.
1 CS/CPE 426 Senior Projects Chapter 21: State Machines Chapter 22:Advanced State Machines [Arlow and Neustadt 2005] March 24, 2009.
Software Architecture – Pipe and Filter Model
An Introduction to Rational Rose Real-Time
Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.
Software Architecture in Practice (3rd Ed) Introduction
CASE Tools And Their Effect On Software Quality Peter Geddis – pxg07u.
K. Jamroendararasame*, T. Matsuzaki, T. Suzuki, and T. Tokuda Department of Computer Science, Tokyo Institute of Technology, JAPAN Two Generators of Secure.
Requirements Analysis
Introduction to UML 1 Quick Tour Why do we model? What is the UML? Foundation elements Unifying concepts Language architecture Relation to other OMG technologies.
An Introduction to Software Architecture
Assessing the Suitability of UML for Modeling Software Architectures Nenad Medvidovic Computer Science Department University of Southern California Los.
Programming in Java Unit 3. Learning outcome:  LO2:Be able to design Java solutions  LO3:Be able to implement Java solutions Assessment criteria: 
Object Management Group (OMG) Specifies open standards for every aspect of distributed computing Multiplatform Model Driven Architecture (MDA)
Selected Topics in Software Engineering - Distributed Software Development.
An Ontological Framework for Web Service Processes By Claus Pahl and Ronan Barrett.
Modeling Component-based Software Systems with UML 2.0 George T. Edwards Jaiganesh Balasubramanian Arvind S. Krishna Vanderbilt University Nashville, TN.
ניתוח מערכות מידע 1 Unified Modeling Language (UML) § § The Unified Modeling Language (UML) is the industry-standard language for: Specifying, Visualizing,
1 Advanced Software Architecture Muhammad Bilal Bashir PhD Scholar (Computer Science) Mohammad Ali Jinnah University.
Copyright © 2013 Curt Hill UML Unified Modeling Language.
Module 1.2 Introduction to Verilog
Design Jon Walker. More UML ● What is UML again?
Dr.Basem Alkazemi
Logical view –show classes and objects Process view –models the executables Implementation view –Files, configuration and versions Deployment view –Physical.
Introduction to UML CS A470. What is UML? Unified Modeling Language –OMG Standard, Object Management Group –Based on work from Booch, Rumbaugh, Jacobson.
Ontologies Reasoning Components Agents Simulations Architectural Modeling with UML2 Composite Structures and Components Jacques Robin.
Object Oriented Analysis & Design & UML (Unified Modeling Language)1 Part VI: Design Continuous Activity Diagams State Diagrams.
©2007 · Georges Merx and Ronald J. NormanSlide 1 Chapter 15 The Unified Modeling Language: a Primer.
Software Engineering Chapter: Computer Aided Software Engineering 1 Chapter : Computer Aided Software Engineering.
Week 04 Object Oriented Analysis and Designing. What is a model? A model is quicker and easier to build A model can be used in simulations, to learn more.
ODS – Introduction to Web Services and BPEL Vakgroep Informatietechnologie Web Services & BPEL Design of Distributed Software.
Wright ADL Liz White INFT Software Architecture.
1 5/18/2007ã 2007, Spencer Rugaber Acme Architectural interchange language – CMU and ISI Extensible Tool support –AcmeStudio.
Software Quality and Safety Pascal Mbayiha.  software engineering  large, complex systems  functionality, changing requirements  development difficult.
Formal Verification. Background Information Formal verification methods based on theorem proving techniques and model­checking –To prove the absence of.
UML - Development Process 1 Software Development Process Using UML.
UML Course Instructor: Rizwana Noor. Overview  Modeling  What is UML?  Why UML?  UML Diagrams  Use Case  Components  Relationships  Notations.
Architecture Description Languages (ADLs) Cf. Architecture Analysis and Design Languages.
Object Oriented Programming and Data Abstraction Earl Huff Rowan University.
Architectural Mismatch: Why reuse is so hard? Garlan, Allen, Ockerbloom; 1994.
Introduction to UML and Rational Rose UML - Unified Modeling Language Rational Rose 98 - a GUI tool to systematically develop software through the following.
Π-AAL: An Architecture Analysis Language for Formally Specifying and Verifying Structural and Behavioral Properties of Software Architectures Presented.
© 2009 Artisan Software Tools. All rights reserved. Testing Solutions with UML/SysML Andrew Stuart, Matthew Hause.
Online Performance Analysis and Visualization of Large-Scale Parallel Applications Kai Li, Allen D. Malony, Sameer Shende, Robert Bell Performance Research.
Rhapsody 2003년 3월 12일 배대호.
CompSci 280 S Introduction to Software Development
BTS430 Systems Analysis and Design using UML
Unified Modeling Language
J. Michael, M. Shing M. Miklaski, J. Babbitt Naval Postgraduate School
University of Central Florida COP 3330 Object Oriented Programming
Online Shopping APP.
UML: Unified modeling language
Introduction to UML.
Software Design Lecture : 15.
Architecture Description Languages
Chapter 2- Visual Basic Schneider
An Introduction to Software Architecture
Paper written by Flavio Oquendo Presented by Ernesto Medina
Architectural Mismatch: Why reuse is so hard?
Presentation transcript:

Paper written by Flavio Oquendo Presented by Ernesto Medina

 Introduction to π -ADL  UML 2.0 Profile for π -ADL  Examples from case study  Tool sets  Questions  Group Exercise

 Supported Elements  Components  Connectors  Composition

Consist of:  Ports (external)  Connections between component and environment  Interface to environment  Protocols can be enforced here  Internal behavior  Send or Receive values via connections (output, input, or input-output)

 Special Purpose Components  Ports  Internal Behavior  Manage component interaction

Value Types Base Types

Constructed Types

Behaviors

Architecture

 Stereotype Icons

 Behavior  States  Transitions  Sequence Behavior  Choice  Replicated  Restricted  Recursive  Composed

UML Icon Display UML Decoration Display π -ADL

 π -ADL visual modeling tool  π -ADL verification tool  π -ADL-to-Code synthesizer  π -ADL-to-Java code generation tool

 The handout contains π -ADL syntax and the description of a Pipe connection, Filter component, and Generator component for software that computes primes. The task is to define the overall architecture using π -ADL syntax. Then create a UML 2.0 icon and decoration display for the overall architecture Here is the syntax to get you started: architecture ComputingPrimes is abstraction (n, eos : Natural ){ }