UML CASE Tool. ABSTRACT Domain analysis enables identifying families of applications and capturing their terminology in order to assist and guide system.

Slides:



Advertisements
Similar presentations
Profiles Construction Eclipse ECESIS Project Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040,
Advertisements

© 2008 by Borland Software Corp; made available under the EPL v1.0 | 17 March 2008 Introduction to the Graphical Modeling Framework Artem Tikhomirov, Borland.
Using UML, Patterns, and Java Object-Oriented Software Engineering Chapter 2, Modeling with UML, Part 4 UML 2 Metamodel.
ArchE Presented By Samanvitha Ramayanam. TOPICS 1. Introduction 2. Theoretical assumptions 3. ArchE as an expert system 4. Overall flow of ArchE 5. Key.
Practical Business Modeling in the Unified Process Tom Morgan Software Architect, Fidelity National Information Services
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 8 Slide 1 System modeling 2.
Object-Oriented Analysis and Design
Modeling Process-Oriented Integration of Services Using Patterns and Pattern Primitives Uwe Zdun and Schahram Dustdar Distributed Systems Group Institute.
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 8 Slide 1 System models.
L4-1-S1 UML Overview © M.E. Fayad SJSU -- CmpE Software Architectures Dr. M.E. Fayad, Professor Computer Engineering Department, Room #283I.
Modified from Sommerville’s originalsSoftware Engineering, 7th edition. Chapter 8 Slide 1 System models.
Whole Platform Tesi di Dottorato di: RICCARDO SOLMI Università degli Studi di Bologna Facoltà di scienze matematiche, fisiche e naturali Corso di Dottorato.
Common Mechanisms in UML
Course Instructor: Aisha Azeem
Architectural Design Establishing the overall structure of a software system Objectives To introduce architectural design and to discuss its importance.
Domain-Specific Software Engineering Alex Adamec.
Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.
Romaric GUILLERM Hamid DEMMOU LAAS-CNRS Nabil SADOU SUPELEC/IETR.
UML - Development Process 1 Software Development Process Using UML (2)
SEG4110 – Advanced Software Design and Reengineering
Slide 1 Wolfram Höpken RMSIG Reference Model Special Interest Group Second RMSIG Workshop Methodology and Process Wolfram Höpken.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 7 Slide 1 System models l Abstract descriptions of systems whose requirements are being.
Chapter 4 System Models A description of the various models that can be used to specify software systems.
Architecture-Based Runtime Software Evolution Peyman Oreizy, Nenad Medvidovic & Richard N. Taylor.
MDE Model Driven Engineering Xavier Blanc Université Pierre et Marie Curie
Introduction to MDA (Model Driven Architecture) CYT.
Tools for Diagrammatic Specifications Stian Skjerveggen Supervisors: Yngve Lamo, Adrian Rutle, Uwe Egbert Wolter.
Building Tools by Model Transformations in Eclipse Oskars Vilitis, Audris Kalnins, Edgars Celms, Elina Kalnina, Agris Sostaks, Janis Barzdins Institute.
What is MOF? The Meta Object Facility (MOF) specification provides a set of CORBA interfaces that can be used to define and manipulate a set of interoperable.
METACASE. WHAT THIS PRESENTATION IS ABOUT  What’s META MODELING?  What’s METACASE?  METAEDIT+ 5.1 EVALUTION PROGRAM  Diagram and its kinds.
Design engineering Vilnius The goal of design engineering is to produce a model that exhibits: firmness – a program should not have bugs that inhibit.
Chapter 7 System models.
Selected Topics in Software Engineering - Distributed Software Development.
Lecture 7: Requirements Engineering
Abstract We present two Model Driven Engineering (MDE) tools, namely the Eclipse Modeling Framework (EMF) and Umple. We identify the structure and characteristic.
Modified by Juan M. Gomez Software Engineering, 6th edition. Chapter 7 Slide 1 Chapter 7 System Models.
Software Engineering, 8th edition Chapter 8 1 Courtesy: ©Ian Somerville 2006 April 06 th, 2009 Lecture # 13 System models.
Sommerville 2004,Mejia-Alvarez 2009Software Engineering, 7th edition. Chapter 8 Slide 1 System models.
1 5 Nov 2002 Risto Pohjonen, Juha-Pekka Tolvanen MetaCase Consulting AUTOMATED PRODUCTION OF FAMILY MEMBERS: LESSONS LEARNED.
Software Engineering Prof. Ing. Ivo Vondrak, CSc. Dept. of Computer Science Technical University of Ostrava
Unified Modeling Language* Keng Siau University of Nebraska-Lincoln *Adapted from “Software Architecture and the UML” by Grady Booch.
Modeling Component-based Software Systems with UML 2.0 George T. Edwards Jaiganesh Balasubramanian Arvind S. Krishna Vanderbilt University Nashville, TN.
Dr. Darius Silingas | No Magic, Inc. Domain-Specific Profiles for Your UML Tool Building DSL Environments with MagicDraw UML.
ModelPedia Model Driven Engineering Graphical User Interfaces for Web 2.0 Sites Centro de Informática – CIn/UFPe ORCAS Group Eclipse GMF Fábio M. Pereira.
Graphical Modeling Framework (GMF) Richard C. Gronback Project Lead.
CIM LAB MEETING Presentation on UML Rakesh Mopidevi Kwangyeol Ryu.
1 Technical & Business Writing (ENG-715) Muhammad Bilal Bashir UIIT, Rawalpindi.
Chapter 5 System Modeling. What is System modeling? System modeling is the process of developing abstract models of a system, with each model presenting.
UML Profile BY RAEF MOUSHEIMISH. Background Model is a description of system or part of a system using well- defined language. Model is a description.
Quality Assurance in the Presence of Variability Kim Lauenroth, Andreas Metzger, Klaus Pohl Institute for Computer Science and Business Information Systems.
UML Course Instructor: Rizwana Noor. Overview  Modeling  What is UML?  Why UML?  UML Diagrams  Use Case  Components  Relationships  Notations.
Yu, et al.’s “A Model-Driven Development Framework for Enterprise Web Services” In proceedings of the 10 th IEEE Intl Enterprise Distributed Object Computing.
Using UML, Patterns, and Java Object-Oriented Software Engineering Chapter 2, Modeling with UML: UML 2 Metamodel Note to Instructor: The material in this.
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
Object Design More Design Patterns Object Constraint Language Object Design Specifying Interfaces Review Exam 2 CEN 4010 Class 18 – 11/03.
A UML-Based Pattern Specification Technique Presented by Chin-Yi Tsai IEEE TRANSACTION ON SOFTWARE ENGINEERING, VOL. 30, NO. 3, MARCH 2004 Robert B. France,
SECURE TROPOS Michalis Pavlidis 8 May Seminar Agenda  Secure Tropos  History and Foundation  Tropos  Basics  Secure Tropos  Concepts / Modelling.
A Generic Model for Software Architecture Yun Sang-hyun Rossak. W. / Kirova. V. / Jolian. L. / Lawson. H. / Zemel. T. Software, IEEE Jul/Aug.
UML AN OVERVIEW. Topics covered in this Session 1. Introducing UML. 2. What constitutes the UML. 3. Concepts of UML.
Model Checking Early Requirements Specifications in Tropos Presented by Chin-Yi Tsai.
Analysis Classes Unit 5.
SysML 2.0 Formalism: Requirement Benefits, Use Cases, and Potential Language Architectures Formalism WG December 6, 2016.
SysML v2 Formalism: Requirements & Benefits
Object-Oriented Techniques
Introduction to Unified Modeling Language (UML)
Chapter 2, Modeling with UML, Part 4 UML 2 Metamodel
Informatics 121 Software Design I
Object Oriented Analysis and Design
Software Development Process Using UML Recap
Software Architecture & Design
Presentation transcript:

UML CASE Tool

ABSTRACT Domain analysis enables identifying families of applications and capturing their terminology in order to assist and guide system developers to design specific applications in the domain. The use of domain analysis can be considered as an important type of reuse (by adopting domain artifacts to applications), validation (by checking the applications against their corresponding domains), and knowledge representation (by capturing the domain terminology).

Vision- The project aims at developing a CASE tool to support an enhanced ADOM-UML variant of the ADOM approach. The CASE tool should provide the ability to define domain models and feature model, to map between feature models and domain models, to support the instantiation of application models and their refinement, and to validate Application models vs. corresponding domain models. The tool should support all UML diagrams, as well as, incorporating OCL constraints.

The Problem Domain Domain analysis deals with identifying stakeholders and their objectives in a domain, defining selection criteria, identifying boundary conditions, examples, counter examples, main common features, and variants of the domain, defining relations to other domains, dividing the domain into sub-domains, acquiring domain information from experts, legacy systems, literature, and prototyping, describing domain terminology, and building overall domain models.

All existing techniques usually guide the application designer of how to select the required features, while validation is supported by checking whether the feature constraints defined in the domain model hold in the specific application. However, the main limitation of these methods is that they allow closed variation points and do not support adding new application-specific features which were not modeled within the domain, affecting on the completeness of the created application models.

The Application-based Domain Modeling (ADOM) The Application-based DOmain Modeling (ADOM) approach is based on a three layered framework, which is embedded within the classical framework for meta modeling presented in OMG-MOF (2003). 1.The application layer, which is the lowest layer, consists of models of particular applications, including their structure (scheme) and behavior. 2.domain layer consists of specifications of various domains, such as web applications, multi agent systems, and process control systems. 3.The language layer comprises of metamodels and specifications of modeling languages,UML 2.0 in the case of ADOM-UML.

ADOM Benefits: ADOM, which can be classified as a meta modeling domain analysis approach, has the following three main advantages over other domain analysis methods: 1.It provides a complete method that focuses on two of the main usages of domain models: creating and validating application models according to their corresponding domain models, 2.It utilizes to the fullest the expressiveness of the modeling language(UML) in particular, it uses the same languages and techniques for the application and domain layers, enables structural and behavioral specifications of domains, and bridges the gaps between the abstraction levels of these layers 3. It does not depend on a specific modeling language rather it can easily be adapted to different modeling languages with small changes (if any) to their specification or meta model.

The Unified Modeling Language (UML) UML is a graphical language for visualizing, specifying and constructing the artifacts of a software-intensive system. UML combines the best practice from data modeling concepts such as entity relationship diagrams, work flow, object modeling and component modeling.

The Object Constraint Language (OCL) The Object Constraint Language is a declarative language for describing rules that apply to UML models developed at IBM and now part of the UML standard.

Feature Modeling Feature models are a well accepted means for expressing requirements in a domain on an abstract level. They are applied to describe variable and common properties of products in a product line, and to derive and validate configurations of software systems.The feature model techniques aims at capturing the features applicable to a specific domain. The feature model serves as an external point of view of the system and should help the designer to capture the system internal structure (and functionality).

Software Context The development of the intended CASE tool will be based on the Eclipse Modeling Framework and an open source UML-based CASE tool developed on top of that framework.

EMF EMF is a modeling framework and code generation facility for building tools and other applications based on a structured data model. From a model specification described in XMI, EMF provides tools and runtime support to produce a set of Java classes for the model. In order to create this XMI, EMF provides an Ecore editor, which let us build Ecore diagrams, that represent the model we want to build and generate.

GEF - Graphical Editing Framework The Graphical Editing Framework (GEF) allows developers to create a rich graphical editor from an existing application model. TOPCASED Topcased is an integrated System/Software engineering toolkit compliant with the requirements of critical and embedded applications.

Functional Requirements 1.Creation of domain models. 2.Creation of Application Models. 3.Validation of an application model with respect to a domain model. 4.Creation of feature models. 5.Mapping features and models. 6.Association of ADOM classifiers to the features models. 7.Instantiating feature models. 8.Validate Models.

Performance constraints The following non-functional requirements are applicable for the project: 1.Each modeling operation should be ended in one second. 2.Instantiation should be completed at the most in 5 seconds. 3.Validation Should be completed in 5 seconds 4.With future prospective our Code system should be modular; allowing later changes, modifications and add- ons.

USE CASES

Stereotypes Stereotypes allow you to extend the vocabulary of the UML so that you can create new model elements, derived from existing ones, but that have specific properties that are suitable for your problem domain. They are used for classifying or marking the UML building blocks in order to introduce new building blocks that speak the language of your domain and that look like primitive, or basic, model elements.

Tagged Values Tagged values are properties for specifying keyword- Value pairs of model elements, where the keywords are attributes. They allow you to extend the properties of a UML building block so that you create new information in the specification of that element. Tagged values its value applies to the element itself and not to its instances.

Constraints Constraints are properties for specifying semantics and/or conditions that must be held true at all times for the elements of a model. They allow you to extend the semantics of a UML building block by adding new rules, or modifying existing ones.