Distributive Collaborative play-out of Live Sequence Charts

Slides:



Advertisements
Similar presentations
ARCH-05 Application Prophecy UML 101 Peter Varhol Principal Product Manager.
Advertisements

Scenario Based Resolution of Aspect Interactions with Aspect Interaction Charts Shubhanan Bakre, Tzilla Elrad Illinois Institute of Technology.
Automated creation of verification models for C-programs Yury Yusupov Saint-Petersburg State Polytechnic University The Second Spring Young Researchers.
Logic Based LSC Consistency Testing Presenter: Anup Niroula.
Introduction to UML Part 2 Behavioral Modeling. Sequence (event) diagram Describes object interaction Typically captures behavior of a single use case.
1 UML – an overview What is UML? UML stands for Unified Modelling Language. ”The Unified Modelling Language is a visual language for specifying, constructing.
COST G9 - Work group 2 Cadastral science meeting Aalborg, Dk Modeling methodology for real estate transactions Radoš Šumrada Faculty.
HAS. Patterns The use of patterns is essentially the reuse of well established good ideas. A pattern is a named well understood good solution to a common.
Lab 6 CPIT 250 System Analysis and Design.
UML Diagrams: Sequence Diagrams The Requirements Model, and The Dynamic Analysis Model Prof. Hany H. Ammar, CSEE, WVU, and Dept. of Computer Science, Faculty.
02/06/05 “Investigating a Finite–State Machine Notation for Discrete–Event Systems” Nikolay Stoimenov.
Assessing the Suitability of UML for Modeling Software Architectures Nenad Medvidovic Computer Science Department University of Southern California Los.
Eng. Mohammed Timraz Electronics & Communication Engineer University of Palestine Faculty of Engineering and Urban planning Software Engineering Department.
METACASE. WHAT THIS PRESENTATION IS ABOUT  What’s META MODELING?  What’s METACASE?  METAEDIT+ 5.1 EVALUTION PROGRAM  Diagram and its kinds.
Object-Oriented Analysis and Design An Introduction.
Object Management Group (OMG) Specifies open standards for every aspect of distributed computing Multiplatform Model Driven Architecture (MDA)
UML Diagrams: Sequence Diagrams The Requirements Model, and The Dynamic Analysis Model Instructor: Dr. Hany H. Ammar Dept. of Computer Science and Electrical.
SWEN 5130 REQUIREMENTS ENGINEERING Unified Modeling Language Short Tutorial By Yuvaraj Mani Teaching Assistant SWEN 5130 Spring semester 2006.
Ch.2 Part C: Message Sequence Charts, UML EECE **** Embedded System Design.
For accurate communication, since a project can have several participants, each from different background. Represent a given aspect of the system We will.
UML diagrams What is UML UML diagrams –Static modeoing –Dynamic modeling 1.
ניתוח מערכות מידע 1 Unified Modeling Language (UML) § § The Unified Modeling Language (UML) is the industry-standard language for: Specifying, Visualizing,
UML Use Case Diagramming Guidelines. What is UML? The Unified Modeling Language (UML) is a standard language for specifying, visualizing, constructing,
CS-2852 Data Structures LECTURE 3B Andrew J. Wozniewicz Image copyright © 2010 andyjphoto.com.
Introduction To OOP 1.0 Fundamentals Of Java Programming Language 2.0 Exception Handling 3.0 Classes, Inheritance And Polymorphism © 2011 | PN AZRINA.
CS 772: Global Knowledge Networks V. “Juggy” Jagannathan CSEE, West Virginia University.
UML as a Specification Language for Embedded Systems. By, Mir Ahmed Ali, Asst. Professor, ECM department, SNIST. By, Prof. Narsiah sir, Director of School.
Logical view –show classes and objects Process view –models the executables Implementation view –Files, configuration and versions Deployment view –Physical.
OMT Modeling 1. Object Model : presented by the object model and the data dictionary. 2. Dynamic Model: presented by the state diagrams and event flow.
University of Toronto at Scarborough © Kersti Wain-Bantin CSCC40 UML 1 UML unified modeling language 1994 first attempts - largely theoretical 1997 UML.
Prof. Hany H. Ammar, CSEE, WVU, and
ANALISA & PERANCANGAN SISTEM Disusun Oleh : Dr. Lily Wulandari Program Pasca Sarjana Magister Sistem Informasi Universitas Gunadarma.
UML Course Instructor: Rizwana Noor. Overview  Modeling  What is UML?  Why UML?  UML Diagrams  Use Case  Components  Relationships  Notations.
04 - OOD Intro.CSC4071 Software Design ‘Requirements’ defines –The goals the system needs to satisfy. ‘Specification’ defines –The externally-observable.
Rational Rose For System Design What is Rational Rose? Rational Rose is the visual modeling software solution that lets you create, analyze, design,
Toward product architecture oriented requirements analysis for product line development in systems engineering Kei Kurakawa Nara Institute of Science and.
Specifying and executing behavioral requirements The play-in/play-out approach David Harel, Rami Marelly Weizmann Institute of Science, Israel An interpretation.
UML. Model An abstract representation of a system. Types of model 1.Use case model 2.Domain model 3.Analysis object model 4.Implementation model 5.Test.
By Mashael AlDayel Introduction to UML. What is UML? UML (Unified Modeling Language) is a graphical language that is suit-able to express software or.
Software Architecture
UML(Unified Modeling Language)
Instructor: Dr. Hany H. Ammar
UML Diagrams By Daniel Damaris Novarianto S..
Evolution of UML.
Course Outcomes of Object Oriented Modeling Design (17630,C604)
Object-Oriented Analysis and Design
System Development Process
Software Architecture
Sequence Diagram.
Introduction to UML Tutorial 1.
UML Diagrams Jung Woo.
Business System Development
Software Architecture & Design Pattern
Visualizing Design Patterns in Their Applications and Compositions
Rational Worldwide Software Symposium
Interactions.
Object Oriented Analysis and Design
Systems Analysis Overview.
Introduction to UML.
Unified Modeling Language
UML Diagrams: Sequence Diagrams Dynamic Analysis Model
Rational Worldwide Software Symposium
Appendix A Object-Oriented Analysis and Design
Software Design Lecture : 15.
Dynamic Modeling Lecture # 37.
An Introduction to Embedded Software Architecture and Design
Rational Worldwide Software Symposium
Appendix A Object-Oriented Analysis and Design
Segments Introduction: slides minutes
Software Architecture
Presentation transcript:

Distributive Collaborative play-out of Live Sequence Charts Playing Together: Distributive Collaborative play-out of Live Sequence Charts Ron Merom Supervisor: Prof. David Harel Weizmann Institute of Sciences, May 2005

LSC Example

Outline Background Motivation Naïve Solution and its problems Local synchronization Future Work Optional: formal part

Live Sequence Charts (LSCs) An extension to Message Sequence Charts (MSCs) a.k.a. UML Sequence Diagrams Domain: interactive software systems A visual graphical language for specifying requirements

LSC and Play-Out Example LSC Example Keyboard Ant Screen Press(‘*’) Press(‘SND’) ShowMenu Open StartTX

LSC and Play-Out Example LSC Example Keyboard Screen Press(‘*’) Press(‘SND’) ShowMenu Ant Open StartTX AntennaOpens Ant Screen Blink Open Set AntIcon(On) Violation occurs when an action is performed while not on the cut

Research Question: Scalability

Safety Completeness

LSC Example Keyboard Ant Screen Press(‘*’) Press(‘SND’) ShowMenu Open

Previous Work

Proposed Architecture

Naïve Solution

Problems with Naïve solution

Global Synchronization

Local Synchronization

Other Features of the Language

Proof Concept of Basic Protocol

Future Work

Feedback: Privacy Policy Feedback
Do Not Sell My Personal Information
About project: SlidePlayer Terms of Service

© 2025 SlidePlayer.com. Inc. All rights reserved.