Applying OCL for Model Validation in MagicDraw UML. Principal MagicDraw UML No Magic Europe
|
|
- Charlene York
- 7 years ago
- Views:
Transcription
1 Applying OCL for Model Validation in MagicDraw UML Dr. Darius Šilingas Principal MagicDraw UML No Magic Europe
2 About MagicDraw UML A visual UML modeling editor Domain-specific language (DSL) engine Roundtrip code engineering g for Java, C++, C#, Modeling teamwork control system Model documentation and report generation tool A modeling environment and model repository for Enterprise Architecture and Model-Driven Architecture paradigm Model validation engine using Dresden OCL Toolkit Developed since 1998 second oldest UML tool in the market! Sold in >70 countries, used in different business domains Widely regarded as the most standard-compliant UML tool 2
3 Disclaimer I use term model validation because it is used in MagicDraw user interface and documentation manuals In precise computer science terminology, I will discuss model verification since it is based on precisely defined rules Validate Verify 3
4 Model Validation: Correctness and Completeness Modeling like programming is an error-prone process A user model can be either incorrect (it breaks some rules) orincomplete (it lacks some required information) Rules defined in UML specification are automated in MagicDraw However, a specific modeling method typically implies additional rules Restriction to single generalization for classes Compulsory role names on navigable association ends Each use case must be documented with owned comment MagicDraw provides a way to define validation rules and validate models Validation rules can be specified on OCL 2.0 or Java 4
5 MagicDraw Validation Profile <<profile>> Validation Profile A special validation suite that is always active in the background Provides grouping for related validation rules so that they can be invoked together <<stereotype>> validationsuite [Package] <<stereotype>> validationrule [Constraint] abbreviation : String [0..1] errormessage : String [0..1] severity : SeverityKind [1] = error implementation : String [0..1] <<stereotype>> activevalidationsuite [Package] <<enumeration>> SeverityKind debug info warning error fatal Provides rule specification, against which model must to be checked Defines validation error significance levels 5
6 Validation Rule Properties <<metaclass>> Constraint constrainedelement : Element [0..*] specification : ValueSpecification [1] Defines meta-class, class or stereotype for which rule is applied Defines invariant specification in OCL 2 <<stereotype>> validationrule [Constraint] abbreviation : String [0..1] errormessage : String [0..1] severity : SeverityKind [1] = error implementation : String [0..1] Attributes for displaying and filtering validation errors A special attribute for indicating operation or class in case the rule is specified in Java 6
7 Validation Suite vs. Active Validation Suite Validation rules that are collected in a validation suite either by nesting or element import relationship are invoked by user This is a typical case for model completeness validation Validation suite is re-initialized on every invocation Validation rules that are collected in an active validation suite are invoked automatically when user changes the model This is a typical case for model correctness validation It is implemented in an intelligent way so that they fire only when relevant changes in model are performed For better performance, it is recommended to specify them in Java Active validation suite is initialized at project load time 7
8 Simple Model Validation Demo 8
9 A Case Study for Various Validation Rule Examples 1. An university needs a system MagicTest, which automates test assessments. 2. Teachers specify and maintain questions. 3. Each question must be applicable for 1 or more courses. 4. A question can be closed or open. 5. A closed question defines an ordered set of answer options, where at least one answer option is correct and at least one is incorrect. 6. An open question defines an expected correct answer. 7. Teachers define tests for particular classes that they are running. 8. A test collects a number of questions. 9. A test author also specifies test title, instructions, and allowed time. 10. Students participate in test assessments by providing answers to test questions. 11. MagicTest calculates test assessment evaluations. 12. Data about teachers, students, courses and classes are provided by University Data System (UDS). 9
10 Validation Rules with Constrained Meta-Classes COMPLETENESS Each use case must be documented with an owned comment context UseCase inv UseCaseDocumentation ownedcomment->size()>0 CORRECTNESS Each action cannot have more than one incoming control flow context Action inv SingleIncomingControlFlow incoming->size()<2 10
11 Missing Use Case Documentation Student Take Test Assessment <<include>> <<documentation>> Takes student through a test, prepared by teacher, collects student's answers and calculates test assessment grade. Review Test Assessment Evaluation In MagicDraw UML the first owned comment is treated as official model element documentation. 11
12 Select Assigned Test Assessment Multiple Incoming Control Flows Display Test Instructions Start Test Assessment Register Test Assessment Start Display Question Provide Answer at (timeout) I will demonstrate later how to implement an auto-resolution for this validation rule violations. However, this must be done in Java as OCL is effect-free free language and we need to fix the model Register Answer [more questions available] End Test Assessment [no more questions available] Review Test Assessment Evaluation
13 Validation Rules with Constrained Stereotypes We will be using robustness analysis method, which requires a profile with stereotypes «boundary», «control», «entity» CORRECTNESS Boundary components can use only boundary and control components Control components can use only control and entity components Entity components can use only entity components context entity inv UseOnlyEntities clientdependency->forall(cd cd.supplier->forall(s s.ocliskindof(entity))) 13
14 Incorrect Dependency from Entity to Control <<boundary>> TestAssessmentDialog <<control>> TestService <<entity>> TestAssessment <<boundary>> TestSetupDialog <<boundary>> QuestionBrowser <<control>> DataService <<entity>> Test <<entity>> Question MagicDraw provides DSL engine, which enables modelers to enforce such stereotype-specific rules without OCL 14
15 Validation Rules with Constraints on Classes COMPLETENESS CORRECTNESS A closed question defines an ordered set of answer options, where at least one answer option is correct and at least one is incorrect 15
16 Data Structure Design <<enumeration>> TestStatus status Test author : Teacher [1] test DRAFT 1 1 assignedto : Class [1] 1 PREPARED title : String ACTIVE instructions : String... EXPIRED 0..* TestAssessment author : Student [1] grade : Integer... 1 status 1 <<enumeration>> TestAssessmentStatus ASSIGNED IN_PROGRESS PAUSED COMPLETED 0..* 1 questions 1..* {ordered} answers 0..* {ordered} Question Answer question subjects : Course [1..*] registered : date author : Teacher [1] 1 0..* description : String OpenQuestion expectedanswer : String ClosedQuestion {options->collect(correct)->includes(true) o ect) c ue) and options->collect(correct)->includes(false)} SelectionAnswer input : String InputAnswer 1 options 2..* AnswerOption statement : String correct : Boolean selectedoptions 1..* 1 16
17 Data Sample: Instance Specifications supervisor = Darius Darius : Teacher Applying UML 2 with MagicDraw : Course MagicDraw UML@D Dresden : Class course = Applying UML 2 with MagicDraw instructor = Darius location = "Technical University Dresden" participants = Matthias UML Basics : Test author = Darius questions = Metaclasses, Diagrams status = ACTIVE Metaclasses : OpenQuestion Diagrams : ClosedQuestion description = "UML2 defines... metaclasses" description = "UML2 defines... diagrams" expectedanswer = "249" options = 7, 11 7 : AnswerOption 11 : AnswerOption correct = false correct = false Matthias : Student 249 : InputAnswer question = Metaclasses 11 : SelectionAnswer question = Diagrams answers = 249, 11 grade = 1 status = COMPLETED test = UML Basics UML Basics by Matthias : TestAssessment 17
18 Ideas for Future OCL-Driven Features in MagicDraw Update to the most recent version of Dresden OCL toolkit Needs a bridge from MOF-based to EMF-based model Integrate intelligent OCL editor into constraint specification Easier specification and debugging of OCL 2.0 expressions Support implicit model element relationship analysis Specify criteria in OCL for dependency matrix and related elements finder Generate code for operation bodies from OCL expressions Applicable for query operations, test cases 18
19 Thank You for Attention! Questions??? Let s Keep in Touch: Dr. Darius Šilingas darius.silingas@nomagic.com Skype: darius.silingas Phone:
State of Practice in Modeling and Model-Driven Development
State of Practice in Modeling and Model-Driven Development Dr. Darius Šilingas Head of Solutions Department @ No Magic Europe darius.silingas@nomagic.com About Lecturer Dr. Darius Šilingas ü Head of Solutions
More informationUML PROFILING AND DSL
UML PROFILING AND DSL version 17.0.1 user guide No Magic, Inc. 2011 All material contained herein is considered proprietary information owned by No Magic, Inc. and is not to be shared, copied, or reproduced
More informationAppendix... B. The Object Constraint
UML 2.0 in a Nutshell Appendix B. The Object Constraint Pub Date: June 2005 Language The Object Constraint Language 2.0 (OCL) is an addition to the UML 2.0 specification that provides you with a way to
More informationA Tool Suite for the Generation and Validation of Configurations for Software Availability
A Tool Suite for the Generation and Validation of Configurations for Software Availability A. Gherbi 1, A. Kanso 1, F. Khendek 1, M. Toeroe 2 and A. Hamou-Lhadj 1 1 Concordia University, Montréal, Canada
More informationHome Assignment 4 OCL
Home Assignment 4 OCL This home assignment is about writing formal specifications using the Object Constraint Language. You will exercise formulating conditions/invariants on domain models that go beyond
More informationRules and Business Rules
OCEB White Paper on Business Rules, Decisions, and PRR Version 1.1, December 2008 Paul Vincent, co-chair OMG PRR FTF TIBCO Software Abstract The Object Management Group s work on standards for business
More informationEfficient Data Structures for Decision Diagrams
Artificial Intelligence Laboratory Efficient Data Structures for Decision Diagrams Master Thesis Nacereddine Ouaret Professor: Supervisors: Boi Faltings Thomas Léauté Radoslaw Szymanek Contents Introduction...
More informationAnalysis of the Specifics for a Business Rules Engine Based Projects
Analysis of the Specifics for a Business Rules Engine Based Projects By Dmitri Ilkaev and Dan Meenan Introduction In recent years business rules engines (BRE) have become a key component in almost every
More informationAuditing UML Models. This booklet explains the Auditing feature of Enterprise Architect. Copyright 1998-2010 Sparx Systems Pty Ltd
Auditing UML Models Enterprise Architect is an intuitive, flexible and powerful UML analysis and design tool for building robust and maintainable software. This booklet explains the Auditing feature of
More informationModel-Driven Development - From Frontend to Code
Model-Driven Development - From Frontend to Code Sven Efftinge sven@efftinge.de www.efftinge.de Bernd Kolb bernd@kolbware.de www.kolbware.de Markus Völter voelter@acm.org www.voelter.de -1- Model Driven
More informationAutomatic Generation Between UML and Code. Fande Kong and Liang Zhang Computer Science department
Automatic Generation Between UML and Code Fande Kong and Liang Zhang Computer Science department Outline The motivation why we need to do the generation between the UML and code. What other people have
More informationMeta Model Based Integration of Role-Based and Discretionary Access Control Using Path Expressions
Meta Model Based Integration of Role-Based and Discretionary Access Control Using Path Expressions Kathrin Lehmann, Florian Matthes Chair for Software Engineering for Business Information Systems Technische
More informationModelling the Railway Control Domain rigorously with a UML 2.0 Profile
Modelling the Railway Control Domain rigorously with a UML 2.0 Profile Kirsten Berkenkötter Ulrich Hannemann Germany kirsten,ulrichh@informatik.uni-bremen.de Outline Outline 1. Context 2. Railway Control
More informationComparison of Model-Driven Architecture and Software Factories in the Context of Model-Driven Development
Comparison of Model-Driven Architecture and Software Factories in the Context of Model-Driven Development Ahmet Demir Technische Universität München Department of Informatics Munich, Germany AhmetDemir@gmx.de
More informationOracle BI 11g R1: Build Repositories
Oracle University Contact Us: 1.800.529.0165 Oracle BI 11g R1: Build Repositories Duration: 5 Days What you will learn This Oracle BI 11g R1: Build Repositories training is based on OBI EE release 11.1.1.7.
More informationThe WebShop e-commerce framework
The WebShop e-commerce framework Marcus Fontoura 1, Wolfgang Pree 2, and Bernhard Rumpe 3 1 Cyberspace and Web Technology Department, IBM Almaden Research Center 650 Harry Rd., San Jose, CA, 91520, U.S.A
More informationStructure of Presentation. Stages in Teaching Formal Methods. Motivation (1) Motivation (2) The Scope of Formal Methods (1)
Stages in Teaching Formal Methods A. J. Cowling Structure of Presentation Introduction to Issues Motivation for this work. Analysis of the Role of Formal Methods Define their scope; Review their treatment
More informationDesign by Contract beyond class modelling
Design by Contract beyond class modelling Introduction Design by Contract (DbC) or Programming by Contract is an approach to designing software. It says that designers should define precise and verifiable
More informationEMC Documentum Interactive Delivery Services Accelerated: Step-by-Step Setup Guide
White Paper EMC Documentum Interactive Delivery Services Accelerated: Step-by-Step Setup Guide A Detailed Review Abstract This white paper is a step-by-step setup guide for users who would like to utilize
More informationUML Profile For Software Product Lines
Towards a UML Profile for Software Product Lines Tewfik Ziadi, Loïc Hélouët, and Jean-Marc Jézéquel 2 IRISA-INRIA, Campus de Beaulieu 35042 Rennes Cedex, France {tziadi,lhelouet}@irisa.fr 2 IRISA-Rennes
More informationINTEGRATION WITH OPTIMALJ. user s guide
user s guide No Magic, Inc. January, 2007 CONTENTS 1 MagicDraw UML OptimalJ Edition installation 3 Editions requirements 3 MagicDraw and OptimalJ integration 3 Model exchange between OptimalJ and MagicDraw
More informationMaking the Most of an Enterprise Architecture Modeling Tool
` Making the Most of an Enterprise Architecture Modeling Tool Aurelijus Morkevicius Product Manager for the UPDM plugin for MagicDraw and Cameo Enterprise Architecture aurelijus.morkevicius@nomagic.com
More informationModeling Turnpike: a Model-Driven Framework for Domain-Specific Software Development *
for Domain-Specific Software Development * Hiroshi Wada Advisor: Junichi Suzuki Department of Computer Science University of Massachusetts, Boston hiroshi_wada@otij.org and jxs@cs.umb.edu Abstract. This
More informationModel-Driven Health Tools (MDHT) CDA Tools Overview. http://mdht.projects.openhealthtools.org
Model-Driven Health Tools (MDHT) CDA Tools Overview http://mdht.projects.openhealthtools.org CDA Tools Objectives Accelerate and lower cost of adopting CDAr2 standard Define new CDA templates and implementation
More informationmdwfs Model-driven Schema Translation for Integrating Heterogeneous Geospatial Data
mdwfs Model-driven Schema Translation for Integrating Heterogeneous Geospatial Data Tatjana Kutzner, Andreas Donaubauer Chair of Geoinformatics kutzner@tum.de INSPIRE KEN Schema Transformation Workshop,
More informationSEARCH The National Consortium for Justice Information and Statistics. Model-driven Development of NIEM Information Exchange Package Documentation
Technical Brief April 2011 The National Consortium for Justice Information and Statistics Model-driven Development of NIEM Information Exchange Package Documentation By Andrew Owen and Scott Came Since
More informationExtending UML 2 Activity Diagrams with Business Intelligence Objects *
Extending UML 2 Activity Diagrams with Business Intelligence Objects * Veronika Stefanov, Beate List, Birgit Korherr Women s Postgraduate College for Internet Technologies Institute of Software Technology
More informationJava (12 Weeks) Introduction to Java Programming Language
Java (12 Weeks) Topic Lecture No. Introduction to Java Programming Language 1 An Introduction to Java o Java as a Programming Platform, The Java "White Paper" Buzzwords, Java and the Internet, A Short
More informationProject VIDE Challenges of Executable Modelling of Business Applications
Project VIDE Challenges of Executable Modelling of Business Applications Radoslaw Adamus *, Grzegorz Falda *, Piotr Habela *, Krzysztof Kaczmarski #*, Krzysztof Stencel *+, Kazimierz Subieta * * Polish-Japanese
More informationLanguage-Independent Model Transformation Verification K. Lano, S. Kolahdouz-Rahimi, T. Clark King s College London; University of Middlesex
Language-Independent Model Transformation Verification K. Lano, S. Kolahdouz-Rahimi, T. Clark King s College London; University of Middlesex 1 Language-independent MT verification One hinderance to MT
More informationUML-Intensive Framework for Modeling Software Requirements
UML-Intensive Framework for Modeling Software Requirements Dr. Darius Silingas, Prof. Rimantas Butleris Department of Information Systems, Kaunas University of Technology Darius.Silingas@bpi.lt, Rimantas.Butleris@ktu.lt
More informationIntegration of data validation and user interface concerns in a DSL for web applications
Softw Syst Model (2013) 12:35 52 DOI 10.1007/s10270-010-0173-9 THEME SECTION Integration of data validation and user interface concerns in a DSL for web applications Danny M. Groenewegen Eelco Visser Received:
More informationWhat is a metamodel: the OMG s metamodeling infrastructure
Modeling and metamodeling in Model Driven Development Warsaw, May 14-15th 2009 Gonzalo Génova ggenova@inf.uc3m.es http://www.kr.inf.uc3m.es/ggenova/ Knowledge Reuse Group Universidad Carlos III de Madrid
More informationSYSML PLUGIN. version 17.0.1. user guide
SYSML PLUGIN version 17.0.1 user guide No Magic, Inc. 2011 All material contained herein is considered proprietary information owned by No Magic, Inc. and is not to be shared, copied, or reproduced by
More informationUnit & Live Testing for SSIS
Unit & Live Testing for SSIS SSIS Tester is the framework that makes unit and integration testing of SSIS packages possible Test implementation follows common methodology as seen in MS Test or Nunit Use
More informationVerification of Good Design Style of UML Models
Verification of Good Design Style of UML Models Bogumiła Hnatkowska 1 1 Institute of Applied Informatics, Wrocław University of Technology, Wybrzeże Wyspiańskiego 27, 50-370 Wrocław, Poland Bogumila.Hnatkowska@pwr.wroc.pl
More informationValidation, Transformation & Loading Solution (VTL)
VTL High-quality Plant Asset Data Handover Validation, Transformation & Loading Solution (VTL) Tom Arsenovic Vice President, PP&M EMIA Services & Business Development Adrian Park, Global Executive Director,
More information1. Visual Paradigm for UML
Summary 1. Visual Paradigm for UML... 1 2. Creating the GeoProfile... 2 3. Applying Icons to Stereotypes... 11 4. Applying the GeoProfile... 12 1. Visual Paradigm for UML Visual Paradigm for UML (Visual
More informationLibrary Management System
Library Management System UNDER THE GUIDANCE OF Mr. E.mitra Submitted to :-Head of training & Placement dept Submitted By: -Seema jajoria ACKNOWLEDGEMENT We are extremely grateful and remain indebted to
More informationCompliance and Requirement Traceability for SysML v.1.0a
1. Introduction: Compliance and Traceability for SysML v.1.0a This document provides a formal statement of compliance and associated requirement traceability for the SysML v. 1.0 alpha specification, which
More informationIn this Lecture you will Learn: Implementation. Software Implementation Tools. Software Implementation Tools
In this Lecture you will Learn: Implementation Chapter 19 About tools used in software implementation How to draw component diagrams How to draw deployment diagrams The tasks involved in testing a system
More informationi. Node Y Represented by a block or part. SysML::Block,
OMG SysML Requirements Traceability (informative) This document has been published as OMG document ptc/07-03-09 so it can be referenced by Annex E of the OMG SysML specification. This document describes
More informationTowards a Common Metamodel for the Development of Web Applications
Towards a Common Metamodel for the Development of Web Applications Nora Koch and Andreas Kraus Ludwig-Maximilians-Universität Munich, Germany Motivation Overwhelming diversity of Web methodologies Goal:
More informationDSL Design. Model Transformations. Model Transformations. Language g Implementation Strategies
DSL Design Generic Language g Technology 2IS15 Model Transformations Language g Implementation Strategies Stand-alone Marcel van Amstel Embedding Translation / Software Engineering and Technology 9-1-2012
More informationCHAPTER 2 LITERATURE SURVEY
CHAPTER 2 LITERATURE SURVEY This chapter describes the survey of existing literature on multiple views. Later, it presents literature survey conducted on frameworks for tool comparison and stakeholder
More informationTest Automation Architectures: Planning for Test Automation
Test Automation Architectures: Planning for Test Automation Douglas Hoffman Software Quality Methods, LLC. 24646 Heather Heights Place Saratoga, California 95070-9710 Phone 408-741-4830 Fax 408-867-4550
More informationBusiness Process Modeling with Structured Scenarios
Business Process Modeling with Structured Scenarios Doug Rosenberg ICONIX Software Engineering, Inc. In 2008, based on our experience with a number of business process engineering projects over the last
More informationSoftware Component Specification Using Design by Contract
Software Component Specification Using Design by Contract Yi Liu and H. Conrad Cunningham Department of Computer and Information Science University of Mississippi 237 Kinard Hall University, MS 38677 USA
More informationUML for the C programming language.
Functional-based modeling White paper June 2009 UML for the C programming language. Bruce Powel Douglass, PhD, IBM Page 2 Contents 2 Executive summary 3 FunctionalC UML profile 4 Functional development
More informationWeb Services - Consultant s View. From IT Stategy to IT Architecture. Agenda. Introduction
Web Services - A Consultant s View From IT Stategy to IT Architecture Hans-Peter Hoidn, Timothy Jones, Jürg Baumann, Oliver Vogel February 12, 2003 Copyright IBM Corporation 2002 Agenda Introduction I.
More informationMimioStudio ActivityWizard
MimioStudio ActivityWizard MimioStudio ActivityWizard Build better activities in minutes Easiest and most intelligent activity builder available Automates the activity and lesson building process Calls
More informationModel-driven development solutions To support your business objectives. IBM Rational Rhapsody edition comparison matrix
Model-driven development solutions To support your business objectives IBM Rhapsody edition comparison matrix IBM Rhapsody 7.5 edition: capabilities and comparisons The enclosed table compares the capabilities
More informationVisual Paradigm product adoption roadmap
Visual Paradigm product adoption roadmap Model-Code-Deploy Platform Easy and Intelligent Business Process Modeler Streamlined Design and Development Environment Access Database with Object- Oriented Technology
More informationModel Driven Interoperability through Semantic Annotations using SoaML and ODM
Model Driven Interoperability through Semantic Annotations using SoaML and ODM JiuCheng Xu*, ZhaoYang Bai*, Arne J.Berre*, Odd Christer Brovig** *SINTEF, Pb. 124 Blindern, NO-0314 Oslo, Norway (e-mail:
More informationAbstract www.softmetaware.com/whitepapers.html
Abstract We would like to understand the interests of our target audience. Please register at www.softmetaware.com/whitepapers.html to provide us with some information about yourself, and to obtain access
More informationOrganization of DSLE part. Overview of DSLE. Model driven software engineering. Engineering. Tooling. Topics:
Organization of DSLE part Domain Specific Language Engineering Tooling Eclipse plus EMF Xtext, Xtend, Xpand, QVTo and ATL Prof.dr. Mark van den Brand GLT 2010/11 Topics: Meta-modeling Model transformations
More informationSoftware Testing Modeling Tools
The Certification of Software Tools with respect to Software Standards Panuchart Bunyakiati, Anthony Finkelstein and David Rosenblum Dept. of Computer Science, University College London London W1CE 6BT
More informationBUSINESS RULES CONCEPTS... 2 BUSINESS RULE ENGINE ARCHITECTURE... 4. By using the RETE Algorithm... 5. Benefits of RETE Algorithm...
1 Table of Contents BUSINESS RULES CONCEPTS... 2 BUSINESS RULES... 2 RULE INFERENCE CONCEPT... 2 BASIC BUSINESS RULES CONCEPT... 3 BUSINESS RULE ENGINE ARCHITECTURE... 4 BUSINESS RULE ENGINE ARCHITECTURE...
More informationSoftware Engineering. System Modeling
Software Engineering System Modeling 1 System modeling System modeling is the process of developing abstract models of a system, with each model presenting a different view or perspective of that system.
More informationA tool environment for quality assurance based on the Eclipse Modeling Framework
Autom Softw Eng (2013) 20:141 184 DOI 10.1007/s10515-012-0114-7 A tool environment for quality assurance based on the Eclipse Modeling Framework Thorsten Arendt Gabriele Taentzer Received: 30 March 2012
More informationShopping Cart. Analysis & Design. Author:John Smith P08/22-43. Version:1.7 Status:Draft Publication:23/05/2013 Copyright:Modeliosoft
P08/22-43 Shopping Cart Analysis & Design Author:John Smith Version:1.7 Status:Draft Publication:23/05/2013 Copyright: 21, avenue Victor Hugo, 75016 Paris Table of Contents 1 Introduction... 4 2 Use Cases...
More informationMDE Adoption in Industry: Challenges and Success Criteria
MDE Adoption in Industry: Challenges and Success Criteria Parastoo Mohagheghi 1, Miguel A. Fernandez 2, Juan A. Martell 2, Mathias Fritzsche 3 and Wasif Gilani 3 1 SINTEF, P.O.Box 124-Blindern, N-0314
More informationConstraint Support in MDA tools: a Survey
Constraint Support in MDA tools: a Survey Jordi Cabot 1 and Ernest Teniente 2 1 Estudis d'informàtica i Multimèdia, Universitat Oberta de Catalunya jcabot@uoc.edu 2 Dept. Llenguatges i Sistemes Informàtics,
More informationGenerating Edit Operations for Profiled UML Models
Generating Edit Operations for Profiled UML Models Timo Kehrer, Michaela Rindt, Pit Pietsch, Udo Kelter Software Engineering Group University of Siegen {kehrer,mrindt,pietsch,kelter}@informatik.uni-siegen.de
More informationSalesforce Classic Guide for iphone
Salesforce Classic Guide for iphone Version 37.0, Summer 16 @salesforcedocs Last updated: July 12, 2016 Copyright 2000 2016 salesforce.com, inc. All rights reserved. Salesforce is a registered trademark
More informationCOSC 3351 Software Design. Recap for the first quiz. Edgar Gabriel. Spring 2008. For the 1 st Quiz
COSC 3351 Software Design Recap for the first quiz Spring 2008 For the 1 st Quiz Three large topic areas: UML syntax and diagrams Software architectural styles Object oriented design principles A couple
More informationEnterprise Application Development Using UML, Java Technology and XML
Enterprise Application Development Using UML, Java Technology and XML Will Howery CTO Passage Software LLC 1 Introduction Effective management and modeling of enterprise applications Web and business-to-business
More informationRUNNING A HELPDESK CONTENTS. using HP Web Jetadmin
RUNNING A HELPDESK using HP Web Jetadmin CONTENTS Overview... 2 Helpdesk examples... 2 Viewing devices... 2 Quick Device Discovery... 3 Search... 3 Filters... 3 Columns... 4 Device Groups... 4 Troubleshooting
More informationUse of OCL in a Model Assessment Framework: An experience report
Use of OCL in a Model Assessment Framework: An experience report Joanna Chimiak Opoka, Chris Lenz Quality Engineering Research Group Institute of Computer Science, University of Innsbruck Technikerstrasse
More informationDESIGN REPORT FOR THE PROJECT INVENTORY CONTROL SYSTEM FOR CALCULATION AND ORDERING OF AVAILABLE AND PROCESSED RESOURCES
DESIGN REPORT FOR THE PROJECT INVENTORY CONTROL SYSTEM FOR CALCULATION AND ORDERING OF AVAILABLE AND PROCESSED RESOURCES (November 12, 2012) GROUP 9 SIMANT PUROHIT AKSHAY THIRKATEH BARTLOMIEJ MICZEK ROBERT
More informationBUSINESS RULES MANIPULATION MODEL 1
ISSN 1392 124X INFORMATION TECHNOLOGY AND CONTROL, 2007, Vol.36, No.3 BUSINESS RULES MANIPULATION MODEL 1 Liudas Motiejūnas, Rimantas Butleris Kaunas University of Technology Studentų St. 50, LT51368 Kaunas,
More informationTalend Metadata Manager. Reduce Risk and Friction in your Information Supply Chain
Talend Metadata Manager Reduce Risk and Friction in your Information Supply Chain Talend Metadata Manager Talend Metadata Manager provides a comprehensive set of capabilities for all facets of metadata
More informationBusiness Process Management IBM Business Process Manager V7.5
Business Process Management IBM Business Process Manager V7.5 Federated task management for BPEL processes and human tasks This presentation introduces the federated task management feature for BPEL processes
More informationIBM Rational Rhapsody NoMagic Magicdraw: Integration Page 1/9. MagicDraw UML - IBM Rational Rhapsody. Integration
IBM Rational Rhapsody NoMagic Magicdraw: Integration Page 1/9 MagicDraw UML - IBM Rational Rhapsody Integration IBM Rational Rhapsody NoMagic Magicdraw: Integration Page 2/9 Notices Copyright IBM Corporation
More informationModel Based Management of Configurations of a Complex Systems: Common Submarine Combat System
Model Based Management of Configurations of a Complex Systems: Common Submarine Combat System Case Study Saulius Pavalkis System Analyst Saulius.Pavalkis@nomagic.com Contents Introduction... 3 Challenges
More informationCompleting a Quiz in Moodle
Completing a Quiz in Moodle Completing a Quiz in Moodle Quizzes are one way that you will be assessed in your online classes. This guide will demonstrate how to interact with quizzes. Never open a quiz
More informationFormally speaking: How to apply OCL
Page 1 of 6 Copyright IBM Corporation 2004 http://www-106.ibm.com/developerworks/rational/library/5390.html Search for: within All of dw Use + - ( ) " " Search help IBM home Products & services Support
More informationHow to simplify software development with high level programming languages? Pierre-Alexandre Voye - ontologiae@gmail.com
How to simplify software development with high level programming languages? Pierre-Alexandre Voye - ontologiae@gmail.com Projects structures - Both in proprietary and open source project, steps are the
More informationA UML 2 Profile for Business Process Modelling *
A UML 2 Profile for Business Process Modelling * Beate List and Birgit Korherr Women s Postgraduate College for Internet Technologies Institute of Software Technology and Interactive Systems Vienna University
More informationSERIES M: TELECOMMUNICATION MANAGEMENT, INCLUDING TMN AND NETWORK MAINTENANCE Integrated services digital networks
International Telecommunication Union ITU-T M.3705 TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU (03/2013) SERIES M: TELECOMMUNICATION MANAGEMENT, INCLUDING TMN AND NETWORK MAINTENANCE Integrated services
More informationAll you need are models Anneke Kleppe, Klasse Objecten
Model Driven Architecture All you need are models Anneke Kleppe, Klasse Objecten Contents Limited Vision on MDA Modeling Maturity Levels Models Model Driven Development Model Driven Architecture MDA in
More informationSupporting Tools for Designing-By-Contract in Component based Applications
Supporting Tools for Designing-By-Contract in Component based Applications Antonio Coronato 1, Antonio d Acierno 2, Diego D Ambrosio 3, and Giuseppe De Pietro 3 1 DRR-CNR, Via Castellino 111, 80131 Napoli,
More informationCLC Server Command Line Tools USER MANUAL
CLC Server Command Line Tools USER MANUAL Manual for CLC Server Command Line Tools 2.5 Windows, Mac OS X and Linux September 4, 2015 This software is for research purposes only. QIAGEN Aarhus A/S Silkeborgvej
More informationSoftware Engineering. Session 3 Main Theme Requirements Definition & Management Processes and Tools Dr. Jean-Claude Franchitti
Software Engineering Session 3 Main Theme Requirements Definition & Management Processes and Tools Dr. Jean-Claude Franchitti New York University Computer Science Department Courant Institute of Mathematical
More informationAn MDA Approach for the Development of Web applications
An MDA Approach for the Development of Web applications Santiago Meliá Beigbeder and Cristina Cachero Castro {santi,ccachero}@dlsi.ua.es Univesidad de Alicante, España Abstract. The continuous advances
More informationManaging Agile Projects in TestTrack GUIDE
Managing Agile Projects in TestTrack GUIDE Table of Contents Introduction...1 Automatic Traceability...2 Setting Up TestTrack for Agile...6 Plan Your Folder Structure... 10 Building Your Product Backlog...
More informationUML-based Test Generation and Execution
UML-based Test Generation and Execution Jean Hartmann, Marlon Vieira, Herb Foster, Axel Ruder Siemens Corporate Research, Inc. 755 College Road East Princeton NJ 08540, USA jeanhartmann@siemens.com ABSTRACT
More informationCommon Warehouse Metamodel (CWM): Extending UML for Data Warehousing and Business Intelligence
Common Warehouse Metamodel (CWM): Extending UML for Data Warehousing and Business Intelligence OMG First Workshop on UML in the.com Enterprise: Modeling CORBA, Components, XML/XMI and Metadata November
More informationAgent Languages. Overview. Requirements. Java. Tcl/Tk. Telescript. Evaluation. Artificial Intelligence Intelligent Agents
Agent Languages Requirements Overview Java Tcl/Tk Telescript Evaluation Franz J. Kurfess, Cal Poly SLO 211 Requirements for agent Languages distributed programming large-scale (tens of thousands of computers)
More informationD83167 Oracle Data Integrator 12c: Integration and Administration
D83167 Oracle Data Integrator 12c: Integration and Administration Learn To: Use Oracle Data Integrator to perform transformation of data among various platforms. Design ODI Mappings, Procedures, and Packages
More informationBridging the Generic Modeling Environment (GME) and the Eclipse Modeling Framework (EMF)
Bridging the Generic ing Environment () and the Eclipse ing Framework (EMF) Jean Bézivin (), Christian Brunette (2), Régis Chevrel (), Frédéric Jouault (), Ivan Kurtev () () ATLAS Group (INRIA & LINA,
More informationUtilizing Domain-Specific Modelling for Software Testing
Utilizing Domain-Specific Modelling for Software Testing Olli-Pekka Puolitaival, Teemu Kanstrén VTT Technical Research Centre of Finland Oulu, Finland {olli-pekka.puolitaival, teemu.kanstren}@vtt.fi Abstract
More informationDEFINING CONTRACTS WITH DIFFERENT TOOLS IN SOFTWARE DEVELOPMENT
Annales Univ. Sci. Budapest., Sect. Comp. 36 (2012) 323 339 DEFINING CONTRACTS WITH DIFFERENT TOOLS IN SOFTWARE DEVELOPMENT György Orbán and László Kozma (Budapest, Hungary) Communicated by Zoltán Horváth
More informationMulti-objective Design Space Exploration based on UML
Multi-objective Design Space Exploration based on UML Marcio F. da S. Oliveira, Eduardo W. Brião, Francisco A. Nascimento, Instituto de Informática, Universidade Federal do Rio Grande do Sul (UFRGS), Brazil
More informationOVERVIEW OF THE PROJECT USAGE MAP. ` Four Key Improvements When Managing the Teamwork Server Repository
` Four Key Improvements When Managing the Teamwork Server Repository OVERVIEW OF THE PROJECT USAGE MAP SauliusPavalkis System Analyst for the MagicDraw saulius.pavalkis@nomagic.com Contents Introduction...
More informationCo-Creation of Models and Metamodels for Enterprise. Architecture Projects.
Co-Creation of Models and Metamodels for Enterprise Architecture Projects Paola Gómez pa.gomez398@uniandes.edu.co Hector Florez ha.florez39@uniandes.edu.co ABSTRACT The linguistic conformance and the ontological
More informationUse Case Diagrams. Tutorial
Use Case Diagrams Tutorial What is a use case? A requirements analysis concept A case of a use of the system/product Describes the system's actions from a the point of view of a user Tells a story A sequence
More informationModeling Turnpike Frontend System: a Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Programming *
Modeling Turnpike Frontend System: a Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Programming Hiroshi Wada and Junichi Suzuki Department of Computer Science University
More informationClasses and Objects. Agenda. Quiz 7/1/2008. The Background of the Object-Oriented Approach. Class. Object. Package and import
Classes and Objects 2 4 pm Tuesday 7/1/2008 @JD2211 1 Agenda The Background of the Object-Oriented Approach Class Object Package and import 2 Quiz Who was the oldest profession in the world? 1. Physician
More informationOverview. Stakes. Context. Model-Based Development of Safety-Critical Systems
1 2 Model-Based Development of -Critical Systems Miguel A. de Miguel 5/6,, 2006 modeling Stakes 3 Context 4 To increase the industrial competitiveness in the domain of software systems To face the growing
More information