Early Verification and Validation in Model-Based Design
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Sysml Distilled: a Brief Guide to the Systems Modeling Language
ptg11539604 Praise for SysML Distilled “In keeping with the outstanding tradition of Addison-Wesley’s techni- cal publications, Lenny Delligatti’s SysML Distilled does not disappoint. Lenny has done a masterful job of capturing the spirit of OMG SysML as a practical, standards-based modeling language to help systems engi- neers address growing system complexity. This book is loaded with matter-of-fact insights, starting with basic MBSE concepts to distin- guishing the subtle differences between use cases and scenarios to illu- mination on namespaces and SysML packages, and even speaks to some of the more esoteric SysML semantics such as token flows.” — Jeff Estefan, Principal Engineer, NASA’s Jet Propulsion Laboratory “The power of a modeling language, such as SysML, is that it facilitates communication not only within systems engineering but across disci- plines and across the development life cycle. Many languages have the ptg11539604 potential to increase communication, but without an effective guide, they can fall short of that objective. In SysML Distilled, Lenny Delligatti combines just the right amount of technology with a common-sense approach to utilizing SysML toward achieving that communication. Having worked in systems and software engineering across many do- mains for the last 30 years, and having taught computer languages, UML, and SysML to many organizations and within the college setting, I find Lenny’s book an invaluable resource. He presents the concepts clearly and provides useful and pragmatic examples to get you off the ground quickly and enables you to be an effective modeler.” — Thomas W. Fargnoli, Lead Member of the Engineering Staff, Lockheed Martin “This book provides an excellent introduction to SysML. -
Using Telelogic DOORS and Microsoft Visio to Model and Visualize
Using DOORS & Visio to Model and Visualize Complex Business Processes Bob Sherman - [email protected] [email protected] Using Telelogic DOORS and Microsoft Visio to Model and Visualize Complex Business Processes - v1.0 © 2005 Galactic Solutions Group LLC – Authors: Bob Sherman ([email protected]), [email protected] 1 © Telelogic AB Agenda • The Unmet Need • The Solution – Strategy: Business Driven Application Lifecycle – Tactics: Business Modeling via DOORS & VISIO – Tactics: DOORS/VISIO Integration • Case Study Results Using Telelogic DOORS and Microsoft Visio to Model and Visualize Complex Business Processes - v1.0 © 2005 Galactic Solutions Group LLC – Authors: Bob Sherman ([email protected]), [email protected] 2 © Telelogic AB Chronic IT Project Problems Top IT Project Problems • User/Stakeholder Engagement Outages • Unclear Objectives • Incomplete or Changing Requirements *Standish Group Chaos Studies Using Telelogic DOORS and Microsoft Visio to Model and Visualize Complex Business Processes - v1.0 © 2005 Galactic Solutions Group LLC – Authors: Bob Sherman ([email protected]), [email protected] 3 © Telelogic AB Chronic IT Project Problems Rework • 35-65% of project budget *Standish Group spent on rework. • ~50% of rework is due to requirements errors * IEEE & University of Southern California Using Telelogic DOORS and Microsoft Visio to Model and Visualize Complex Business Processes - v1.0 © 2005 Galactic Solutions Group LLC – Authors: -
Using Telelogic DOORS and Microsoft Visio to Model and Visualize Complex Business Processes
Using Telelogic DOORS and Microsoft Visio to Model and Visualize Complex Business Processes “The Business Driven Application Lifecycle” Bob Sherman Procter & Gamble Pharmaceuticals [email protected] Michael Sutherland Galactic Solutions Group, LLC [email protected] Prepared for the Telelogic 2005 User Group Conference, Americas & Asia/Pacific http://www.telelogic.com/news/usergroup/us2005/index.cfm 24 October 2005 Abstract: The fact that most Information Technology (IT) projects fail as a result of requirements management problems is common knowledge. What is not commonly recognized is that the widely haled “use case” and Object Oriented Analysis and Design (OOAD) phenomenon have resulted in little (if any) abatement of IT project failures. In fact, ten years after the advent of these methods, every major IT industry research group remains aligned on the fact that these projects are still failing at an alarming rate (less than a 30% success rate). Ironically, the popularity of use case and OOAD (e.g. UML) methods may be doing more harm than good by diverting our attention away from addressing the real root cause of IT project failures (when you have a new hammer, everything looks like a nail). This paper asserts that, the real root cause of IT project failures centers around the failure to map requirements to an accurate, precise, comprehensive, optimized business model. This argument will be supported by a using a brief recap of the history of use case and OOAD methods to identify differences between the problems these methods were intended to address and the challenges of today’s IT projects. -
Case No COMP/M.4747 Œ IBM / TELELOGIC REGULATION (EC)
EN This text is made available for information purposes only. A summary of this decision is published in all Community languages in the Official Journal of the European Union. Case No COMP/M.4747 – IBM / TELELOGIC Only the English text is authentic. REGULATION (EC) No 139/2004 MERGER PROCEDURE Article 8(1) Date: 05/03/2008 Brussels, 05/03/2008 C(2008) 823 final PUBLIC VERSION COMMISSION DECISION of 05/03/2008 declaring a concentration to be compatible with the common market and the EEA Agreement (Case No COMP/M.4747 - IBM/ TELELOGIC) COMMISSION DECISION of 05/03/2008 declaring a concentration to be compatible with the common market and the EEA Agreement (Case No COMP/M.4747 - IBM/ TELELOGIC) (Only the English text is authentic) (Text with EEA relevance) THE COMMISSION OF THE EUROPEAN COMMUNITIES, Having regard to the Treaty establishing the European Community, Having regard to the Agreement on the European Economic Area, and in particular Article 57 thereof, Having regard to Council Regulation (EC) No 139/2004 of 20 January 2004 on the control of concentrations between undertakings1, and in particular Article 8(1) thereof, Having regard to the Commission's decision of 3 October 2007 to initiate proceedings in this case, After consulting the Advisory Committee on Concentrations2, Having regard to the final report of the Hearing Officer in this case3, Whereas: 1 OJ L 24, 29.1.2004, p. 1 2 OJ C ...,...200. , p.... 3 OJ C ...,...200. , p.... 2 I. INTRODUCTION 1. On 29 August 2007, the Commission received a notification of a proposed concentration pursuant to Article 4 and following a referral pursuant to Article 4(5) of Council Regulation (EC) No 139/2004 ("the Merger Regulation") by which the undertaking International Business Machines Corporation ("IBM", USA) acquires within the meaning of Article 3(1)(b) of the Council Regulation control of the whole of the undertaking Telelogic AB ("Telelogic", Sweden) by way of a public bid which was announced on 11 June 2007. -
Real Time UML
Fr 5 January 22th-26th, 2007, Munich/Germany Real Time UML Bruce Powel Douglass Organized by: Lindlaustr. 2c, 53842 Troisdorf, Tel.: +49 (0)2241 2341-100, Fax.: +49 (0)2241 2341-199 www.oopconference.com RealReal--TimeTime UMLUML Bruce Powel Douglass, PhD Chief Evangelist Telelogic Systems and Software Modeling Division www.telelogic.com/modeling groups.yahoo.com/group/RT-UML 1 Real-Time UML © Telelogic AB Basics of UML • What is UML? – How do we capture requirements using UML? – How do we describe structure using UML? – How do we model communication using UML? – How do we describe behavior using UML? • The “Real-Time UML” Profile • The Harmony Process 2 Real-Time UML © Telelogic AB What is UML? 3 Real-Time UML © Telelogic AB What is UML? • Unified Modeling Language • Comprehensive full life-cycle 3rd Generation modeling language – Standardized in 1997 by the OMG – Created by a consortium of 12 companies from various domains – Telelogic/I-Logix a key contributor to the UML including the definition of behavioral modeling • Incorporates state of the art Software and Systems A&D concepts • Matches the growing complexity of real-time systems – Large scale systems, Networking, Web enabling, Data management • Extensible and configurable • Unprecedented inter-disciplinary market penetration – Used for both software and systems engineering • UML 2.0 is latest version (2.1 in process…) 4 Real-Time UML © Telelogic AB UML supports Key Technologies for Development Iterative Development Real-Time Frameworks Visual Modeling Automated Requirements- -
Introduction to OMG's Unified Modeling Language (UML) a Little
07.02.2006 Introduction to OMG's Unified Modeling Language (UML) Dominic Hillenbrand CES - Chair for Embedded Systems (Prof. Dr. Jörg Henkel) Department of Computer Science University of Karlsruhe Chair for Embedded Systems Universität Karlsruhe (TH) <your Name> WS 2005-06 Software Engineering for Embedded Systems A Little History Late 1960s: ¾ Emergence of OO programming languages (Simula-67 language) ¾ Appearance of first OOA&D methodologies 1980s and early 1990s: ¾ Smalltalk (1972) ¾ Many competing general development methods and modelling languages (over 50) Alan Curtis Kay ¾ The “methods wars” „The best way to predict the Excursion: Structured Analysis & future is to Design together with structured invent it." programming preceded the OO- paradigm! Chair for Embedded Systems Universität Karlsruhe (TH) Dominic Hillenbrand WS 2005-06 1 07.02.2006 Software Engineering for Embedded Systems How things got started The Three Amigos and their three prominent key methods (mid 1990s): ¾ Grady Booch (Booch ’93 “OO Analysis and Design) ¾ Rumbaugh (Object Modelling Technique) ¾ Ivar Jacobson (OO Software Engineering) Chair for Embedded Systems Universität Karlsruhe (TH) Dominic Hillenbrand WS 2005-06 Software Engineering for Embedded Systems More Background 1995: Rumbaugh, Booch and Jacobson join forces in Rational: ¾ Develop the (Rational) Unified Process ¾ Develop the Unified Modelling Language (UML) Object Management Group (OMG): ¾ not-for-profit consortium ¾ produces and maintains computer industry specifications ¾ flagship specification is the multi- platform Model Driven Architecture (MDA) Chair for Embedded Systems Universität Karlsruhe (TH) Dominic Hillenbrand WS 2005-06 2 07.02.2006 Software Engineering for Embedded Systems What is UML? UML is a language –semantics& syntax ¾ Not a methodology! (like RUP; Waterfall & Spiral-Model) UML can be used to ¾ specify ¾ visualize ¾ document software artifacts Built upon fundamental OO concepts “industry’s best” engineering practices 13 types of diagrams Usually textual specifications in automobile industry. -
Software & Systems Process Engineering Metamodel
Date : October 2007 Software & Systems Process Engineering Metamodel Specification, v2.0 (Beta 2) OMG Adopted Specification with change bars OMG Document Number: ptc/2007-08-07 Standard document URL: http://www.omg.org/spec/SPEM/2.0/Beta2/PDF Associated Schema Files: (original .zip files: ptc/07-08-08, ptc/07-08-09) http://www.omg.org/spec/SPEM/20071101/SPEM2-Process-Behavior-Content.merged.cmof http://www.omg.org/spec/SPEM/20071101/Infrastructure.cmof http://www.omg.org/spec/SPEM/20071101/LM.cmof http://www.omg.org/spec/SPEM/20071101/SoftwareProcessEngineeringMetamodel.cmof http://www.omg.org/spec/SPEM/20071101/SPEM2-Method-Content.cmof http://www.omg.org/spec/SPEM/20071101/SPEM2-Process-Behavior-Content.cmof http://www.omg.org/spec/SPEM/20071101/SPEM2.cmof http://www.omg.org/spec/SPEM/20071101/SPEM2.merged.cmof http://www.omg.org/spec/SPEM/20071101/SPEM2-Method-Content.merged.cmof http://www.omg.org/spec/SPEM/20071101/SPEM 2.0 Base Plugin Profile.xmi http://www.omg.org/spec/SPEM/20071101/SPEM 2.0 UML2 Profile.xmi Copyright © 2004-2007, Adaptive Ltd. Copyright © 2004-2007, Fujitsu Copyright © 2004-2007, Fundacion European Software Institute Copyright © 2004-2007, International Business Machines Corporations Copyright © 1997-2007, Object Management Group Copyright © 2004-2007, Softeam USE OF SPECIFICATION - TERMS, CONDITIONS & NOTICES The material in this document details an Object Management Group specification in accordance with the terms, conditions and notices set forth below. This document does not represent a commitment to implement any portion of this specification in any company's products. The information contained in this document is subject to change without notice. -
A Capability Maturity Model Integration (Cmmi ) Solution Using Telelogic Products and Services
A CAPABILITY MATURITY MODEL INTEGRATION (CMMISM) SOLUTION USING TELELOGIC PRODUCTS AND SERVICES by Jeffery T. Chandler Telelogic Prepared for the 2004 Telelogic Americas User Group Conference Abstract A CAPABILITY MATURITY MODEL INTEGRATION (CMMI) SOLUTION USING TELELOGIC PRODUCTS AND SERVICES CMMI best practices enable organizations to do the following: • more explicitly link management and engineering activities to business objectives • expand the scope of and visibility into the product life cycle and engineering activities to ensure that the product or service meets customer expectations • incorporate lessons learned from additional areas of best practice (e.g., measurement, risk management, and supplier management) • implement more robust high-maturity practices • address additional organizational functions critical to its products and services • more fully comply with relevant ISO standards Telelogic is the world-leading provider of solutions for advanced software and systems development. Integrating new technology and operational changes into an existing system often leads to extended costs and schedule overruns. Systems engineering can be adopted to provide the necessary engineering traceability throughout a project's development lifecycle and ensure that new technology successfully integrates with legacy systems. With world-class products and professional services, Telelogic provides a means to help organizations automate the best practices of CMMI. Telelogic has at least two roles: 1. Telelogic can Help with the CMMI Assessment 2. Telelogic can be Part of the CMMI Solution Author Biography Jeffery T. Chandler Jeff is a Senior Application Engineer with Telelogic North America. Currently, he provides technical support to sales for the Government Solutions Sales Team. He has over 7 years of experience in systems engineering and development with DoD contractors and 12 years of experience as an Army Officer, serving in the Field Artillery and the Acquisition Corps Branches. -
& Evocean Bridging the Enterprise Architecture to IT Architecture
& Evocean Bridging the Enterprise Architecture to IT Architecture Gap Presented by Jog Raj 31st January 2008 © Telelogic AB Agenda • Introductions • The Business Challenge • What is Enterprise Architecture • Bridging the Business and IT gap • Service Orientated Architectures • Role of Tools in Architecture • Demonstration • Questions & Answers • Summary © Telelogic AB Telelogic At A Glance • Founded 1983 • HQ Malmö, Sweden • US HQ Irvine, California • Public Company Listed in 1999 • Development Sites USA, Sweden, UK, India © Telelogic AB Global Presence Over 40 offices around the world As of September 2004 © Telelogic AB Bridging the Enterprise Architecture to IT Architecture Gap © Telelogic AB Current Business Challenges • Hypercompetitive Market – Innovation – Ability to implement ideas • Mergers and Acquisitions • Governance and Compliance • Reduce Cost – Operational costs – IT Asset Management • Reuse of assets • Application Integration Costs • Risk Reduction and Mitigation © Telelogic AB A Growing Divide? Business Challenges and Opportunities Business Process Adaptability The Internet 1990s 2000s © Telelogic AB What is Enterprise Architecture? • A description of business and IT domains: – Mission, Strategy, Landscape, Organization, People, Locations – Processes, Technology, Information, Data, Applications • A description of the relationships between them • A set of graphical and textual models and artefacts that can be communicated in a common manner • An Enterprise Architecture supports an operating business in achieving its goals -
Telelogic Tau 3.1 UML Tutorial © 2002-2007 Copyright Telelogic AB
Telelogic Tau 3.1 UML Tutorial © 2002-2007 Copyright Telelogic AB. Terms of use Telelogic grants you the right to use the Program and the Documentation on one computer or in one local computer net- work at any one time according to the terms and conditions in the License. The Program and the Documentation are owned by Telelogic and are protected by national copyright laws and international copyright treaties. This License does not con- vey to you an interest in the Program or the Documentation, but only a limited right of use in accordance with the terms of this License. No part of this Documentation may be reproduced, transmitted, transcribed, stored in a retrieval system or translated into any language in any form except as provided in this License. Telelogic does not warrant that the Documentation will meet your requirements or that the operation of the Program will be according to the Documentation, uninterrupted and error free. You are solely responsible for the selection and operation of the Program to achieve your intended results and for the results actually obtained. Information in this Documentation is subject to change without notice. Trademarks Telelogic®, Telelogic DOORS®, Telelogic TAU®, Telelogic DocExpress®, Telelogic DOORSnet® and Telelogic Ac- tiveCM® are the registered trademarks of Telelogic. Telelogic DOORS®/Analyst™, Telelogic DOORS® XT™, Telelogic TAU®/Architect™ , Telelogic TAU®/Develop- er™ , Telelogic TAU®/Tester™ , Telelogic TAU®/Model Author™ , Telelogic SYNERGY™ , Telelogic SYNER- GY™/CM , Telelogic SYNERGY™/Change, Telelogic Dashboard™ and Telelogic Logiscope™ are trademarks of Tele- logic. All other trademarks are the properties of respective holders. ii Telelogic Tau 3.1 User Guide May 2007 How to contact Customer Support The Help Desk is the single point of contact for all support related commu- nication regarding the Telelogic Tau products: • Telelogic Help Desk at our offices. -
Metamodelling for MDA
Metamodelling for MDA First International Workshop York, UK, November 2003 Proceedings Edited by Andy Evans Paul Sammut James S. Willans Table of Contents Preface ........................................................ 4 Principles Calling a Spade a Spade in the MDA Infrastructure ................... 9 Colin Atkinson and Thomas K¨uhne Do MDA Transformations Preserve Meaning? An investigation into preservingsemantics ........................................... 13 Anneke Kleppe and Jos Warmer MDA components: Challenges and Opportunities ..................... 23 Jean B´ezivin, S´ebastien G´erard, Pierre-Alain Muller and Laurent Rioux SafetyChallengesforModelDrivenDevelopment ..................... 42 N. Audsley, P. M. Conmy, S. K. Crook-Dawkins and R. Hawkins Invited talk: UML2 - a language for MDA (putting the U, M and L intoUML)?................................................... 61 Alan Moore Languages and Applications Using an MDA approach to model traceability within a modelling framework .................................................... 62 John Dalton, Peter W Norman, Steve Whittle, and T Eshan Rajabally Services integration by models annotation and transformation .......... 77 Olivier Nano and Mireille Blay-Fornarino 1 A Metamodel of Prototypical Instances .............................. 93 Andy Evans, Girish Maskeri, Alan Moore Paul Sammut and James S. Willans Metamodelling of Transaction Configurations ......................... 106 StenLoecherandHeinrichHussmann Invitedtalk:MarketingtheMDAToolChain......................... 109 Stephen -
UML Distilled Third Edition UML Distilled Third Edition
Praise for UML Distilled “UML Distilled remains the best introduction to UML notation. Martin’s agile and pragmatic approach hits the sweet spot, and I wholeheartedly recommend it!” —Craig Larman Author of Applying UML and Patterns “Fowler cuts through the complexity of UML to get users started quickly.” —Jim Rumbaugh Author and originator of UML “Martin Fowler’s UML Distilled is an excellent way to get started with UML. In fact for most users, UML Distilled contains all you need to apply UML suc- cessfully. As Martin points out, UML can be used in many ways, but the most common is as a widely recognized notation for sketching designs. This book does an excellent job of distilling the essence of UML. Highly recommended.” —Steve Cook Software Architect Microsoft Corporation “Short books on UML are better than long books on UML. This is still the best short book on UML. In fact, it’s the best short book on many subjects.” —Alistair Cockburn Author and President, Humans and Technology “The book is immensely useful, readable, and—one of its great virtues— delightfully concise for the immense scope of its subject. If you only buy one book on UML, this should be it.” —Andy Carmichael BetterSoftwareFaster, Ltd. “If you’re using UML, this book should never be out of reach.” —John Crupi Distinguished Engineer, Sun Microsystems Coauthor of Core J2EE™ Patterns “Anyone doing UML modeling, learning UML, reading UML, or building UML tools should have this latest edition. (I own all editions.) There is lots of good, useful information; generally, just enough to be useful, but not too much to be dry.