Gregor v. Bochmann, University of Ottawa Based on Powerpoint slides by Gunter Mussbacher(2009) with material from Amyot User Requirements Notation (URN)

Slides:



Advertisements
Similar presentations
Fraunhofer FOKUS Competence Center MOTION FOKUS VIEW ON MODEL-BASED TEST DESCRIPTION LANGUAGES (TDLS) Alain-G. Vouffo Feudjio.
Advertisements

International Telecommunication Union © ITU-T Study Group 17 Integrated Application of URN Daniel Amyot University of Ottawa, Canada
Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva
Profiles Construction Eclipse ECESIS Project Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040,
UML an overview.
Based on Powerpoint slides by Gunter Mussbacher, Gregor v. Bochmann User Requirements Notation (URN) SEG3101 (Fall 2010)
Architecture Representation
ARCH-05 Application Prophecy UML 101 Peter Varhol Principal Product Manager.
Daniel Amyot, PhD student, University of Ottawa Scenarios As First-Class Entities Functional Entities Mapping Scenarios on Functional Entities Network.
UML Profile for Goal-oriented Modelling Muhammad Rizwan Abid Supervising Professors: Daniel Amyot Stéphane Sotèg Somé.
Modified from Sommerville’s originalsSoftware Engineering, 7th edition. Chapter 8 Slide 1 System models.
Introduction to UML Visual modeling Models and its importance
UML CASE Tool. ABSTRACT Domain analysis enables identifying families of applications and capturing their terminology in order to assist and guide system.
Creating Architectural Descriptions. Outline Standardizing architectural descriptions: The IEEE has published, “Recommended Practice for Architectural.
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.
Sharif University of Technology1 Design and Use-case Realization Software Engineering Laboratory Fall 2006.
1 REQUIREMENTS ENGINEERING and SYSTEMS ANALYSIS Elements and Definitions.
The Software Product Life Cycle. Views of the Software Product Life Cycle  Management  Software engineering  Engineering design  Architectural design.
Course Instructor: Aisha Azeem
Using UML Models for the Performance Analysis of Network Systems Nico de Wet and Pieter Kritzinger Department of Computer Science University of Cape Town.
Company LOGO Business Process Monitoring and Alignment An Approach Based on the User Requirements Notation and Business Intelligence Tools Pengfei Chen.
International Telecommunication Union ITU-T Study Group 17, Moscow, 30 March – 8 April 2005 New Recommendations on ODP Arve Meisingset Rapporteur Q15.
Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.
S CHOOL OF I NFORMATION T ECHNOLOGY AND E NGINEERING U NIVERSITY OF O TTAWA, C ANADA Daniel Amyot Q.18/17 Rapporteur SITE, University of Ottawa, Canada.
1 IBM Software Group ® Mastering Object-Oriented Analysis and Design with UML 2.0 Module 1: Best Practices of Software Engineering.
Workshop on Integrated Application of Formal Languages, Geneva J.Fischer Mappings, Use of MOF for Language Families Joachim Fischer Workshop on.
Integration of User Requirements Notation (URN) and DOORS with URNtoDOORS SEG3201 Fall 2006.
TOWARDS ADVANCED GOAL MODEL ANALYSIS WITH JUCMNAV Daniel Amyot, Azalia Shamsaei, Jason Kealey, Etienne Tremblay, Andrew Miga, Gunter Mussbacher, and Mohammad.
1 GRL Tools JUCMNav vs. OpenOME CSI5112 – Project Winter 2008 Bo Peng, Li Chen, Yessine Daadaa.
Jan 20-21, 2005Weiss and Amyot, MCETECH 051 Designing and Evolving Business Models with the User Requirements Notation Michael Weiss (Carleton University)
Object Management Group (OMG) Specifies open standards for every aspect of distributed computing Multiplatform Model Driven Architecture (MDA)
S CHOOL OF I NFORMATION T ECHNOLOGY AND E NGINEERING U NIVERSITY OF O TTAWA, C ANADA Daniel Amyot Q18/17 (URN) Rapporteur User Requirements.
Ch.2 Part C: Message Sequence Charts, UML EECE **** Embedded System Design.
Model-Driven Analysis Frameworks for Embedded Systems George Edwards USC Center for Systems and Software Engineering
Abstract Use Case Map (UCM) scenarios are useful for elicitation and analysis of software requirements However, they must be used in cooperation with complementary.
Selected Topics in Software Engineering - Distributed Software Development.
1 Introduction to Software Engineering Lecture 1.
Illustrations and Answers for TDT4252 exam, June
Evaluation of Development Tools for Domain-Specific Modeling Languages D. Amyot, H. Farah, J.-F. Roy with contributions from Y. Chu and N. Janmohamed SAM.
For Goal-Driven Business Process Modeling Saeed A.Behnam,  Daniel Amyot, Gunter Mussbacher SITE, University of.
A Lightweight GRL Profile for i* Modeling Presenter: Alexei Lapouchnian Daniel Amyot, Jennifer Horkoff, Daniel Gross, and Gunter Mussbacher {damyot,
Object-Oriented Software Engineering using Java, Patterns &UML. Presented by: E.S. Mbokane Department of System Development Faculty of ICT Tshwane University.
FDT Foil no 1 On Methodology from Domain to System Descriptions by Rolv Bræk NTNU Workshop on Philosophy and Applicablitiy of Formal Languages Geneve 15.
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.
Logical view –show classes and objects Process view –models the executables Implementation view –Files, configuration and versions Deployment view –Physical.
1 Overview of the project: Requirement-Driven Development of Distributed Applications School of Information Technology and Engineering (SITE) University.
CSC480 Software Engineering Lecture 8-9 September 20, 2002.
Requirements Engineering-Based Conceptual Modelling From: Requirements Engineering E. Insfran, O. Pastor and R. Wieringa Presented by Chin-Yi Tsai.
ITU-T SDOs Amardeo Sarma Co-Chairman, ITU-T Study Group 17.
Requirement Engineering. Recap Elaboration Behavioral Modeling State Diagram Sequence Diagram Negotiation.
Generating Software Documentation in Use Case Maps from Filtered Execution Traces Edna Braun, Daniel Amyot, Timothy Lethbridge University of Ottawa, Canada.
1 Technical & Business Writing (ENG-715) Muhammad Bilal Bashir UIIT, Rawalpindi.
Lecture 14 22/10/15. The Object-Oriented Analysis and Design  Process of progressively developing representation of a system component (or object) through.
S CHOOL OF I NFORMATION T ECHNOLOGY AND E NGINEERING U NIVERSITY OF O TTAWA, C ANADA Daniel Amyot Q18/17 (URN) Rapporteur User Requirements.
International Telecommunication Union © ITU-T Study Group 17 Integrated Application of SDL Amardeo Sarma NEC Europe Ltd.
Prof. Hany H. Ammar, CSEE, WVU, and
Slide no. 1  =====!"§!“!Nova§ ITU-T work on technical languages and general software issues Amardeo Sarma Chairman, ITU-T Study Group 10.
21/1/ Analysis - Model of real-world situation - What ? System Design - Overall architecture (sub-systems) Object Design - Refinement of Design.
Requirement Engineering with URN: Integrating Goals and Scenarios Jean-François Roy Thesis Defense February 16, 2007.
Daniel Amyot, University of Ottawa Based on Powerpoint slides by Gunter Mussbacher (2009) with material from: Jo Atlee, Dan Berry (both University of Waterloo);
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.
1 Towards Integrated Tool Support for the User Requirements Notation Jean-François Roy
Miguel Garzón, University of Ottawa Based on Powerpoint slides by Gunter Mussbacher (2009) with material from: Jo Atlee, Dan Berry (both University of.
Introduction to Software Engineering 1. Software Engineering Failures – Complexity – Change 2. What is Software Engineering? – Using engineering approaches.
Object-Oriented Analysis and Design
SysML v2 Formalism: Requirements & Benefits
Daniel Amyot and Jun Biao Yan
Model-Driven Analysis Frameworks for Embedded Systems
Presentation transcript:

Gregor v. Bochmann, University of Ottawa Based on Powerpoint slides by Gunter Mussbacher(2009) with material from Amyot User Requirements Notation (URN) SEG3101 (Fall 2010)

SEG3101 (Fall 2010). URN Overview 2 Table of Contents Introduction to the User Requirements Notation (URN) User Requirements Notation jUCMNav Tool Goals and Rationale Goal-oriented Requirement Notation (GRL) GRL Basics Evaluations Examples Tools Metamodel All models are false but some models are useful. 1 [1] George Edward Pelham Box (1919-)

SEG3101 (Fall 2010). URN Overview Modeling Puzzle – Common View Structural Diagrams: SDL, eODL, or UML class, object, component, & deployment diagrams Informal Requirements, Textual Use Cases Behavioral Diagrams: MSC/SDL, or UML sequence, collaboration, & statechart diagrams Testing and Performance Languages: TTCN, LQN,... MSC, UML Use Case & Activity Diagrams DATA Can we do better to bridge this gap?

Introduction to the User Requirements Notation (URN)

SEG3101 (Fall 2010). URN Overview 5 URN: jUCMNav: Virtual Library: URN Overview (1) URN is a semi-formal, lightweight graphical language for modeling and analyzing requirements in the form of goals and scenarios and the links between them Combines two existing notations Goal-oriented Requirement Language (GRL) (based on i* & NFR Framework) Use Case Maps (UCMs) Support for the elicitation, analysis, specification, and validation of requirements Allows systems, software, and requirements engineers to discover and specify requirements for a proposed system or an evolving system, and analyse such requirements for correctness and completeness User Requirements Notation jUCMNav Goals and Rationale GRL Basics Evaluations Examples Tools Metamodel

SEG3101 (Fall 2010). URN Overview 6 URN Overview (2) URN models can be used to specify and analyze various types of reactive systems, business processes, and telecommunications standards jUCMNav URN editor & analysis tool Eclipse plug-in Open source project User Requirements Notation jUCMNav Goals and Rationale GRL Basics Evaluations Examples Tools Metamodel

SEG3101 (Fall 2010). URN Overview URN Overview (3) vision more detailed models Model & test use cases; investigate high level architecture; transform to more detailed models UCM Model business goals, stakeholders’ priorities, alternative solutions, rationale, and decisions GRL called strategies, compared with GRL evaluation mechanism traceability with URN links with UCM traversal mechanism based on UCM scenario definitions extensible with metadata A GRL / UCM model visually communicates business objectives and constraints / high-level functional requirements to all stakeholders User Requirements Notation jUCMNav Goals and Rationale GRL Basics Evaluations Examples Tools Metamodel

SEG3101 (Fall 2010). URN Overview 8 Combination of Goals and Scenarios URN combines two complementary parts: The Goal-oriented Requirement Language (GRL) For modelling goals and other intentional concepts (mainly for non- functional requirements, quality attributes, and reasoning about alternatives and tradeoffs) The Use Case Map (UCM) notation For modelling scenario concepts (mainly for operational requirements, functional requirements, and performance and architectural reasoning) URN offers concepts for the specification of stakeholders, goals, non-functional requirements, rationales, behaviour, scenarios, scenario participants (actors), and high-level architectural structure User Requirements Notation jUCMNav Goals and Rationale GRL Basics Evaluations Examples Tools Metamodel

SEG3101 (Fall 2010). URN Overview 9 URN – Main Objectives Focus on early stages of development with goals and scenarios From user requirements to functional and non-functional system requirements No messages, components, or component states required Reusability of argumentations (goal patterns and analysis) of scenarios (patterns and architectural alternatives) Early performance analysis Traceability and transformations to other languages Particularly MSC, SDL, TTCN, and UML Also to LQN, LOTOS, and others User Requirements Notation jUCMNav Goals and Rationale GRL Basics Evaluations Examples Tools Metamodel

SEG3101 (Fall 2010). URN Overview 10 ITU-T Z.151: URN – Language Definition URN is the first and currently only standard which explicitly addresses goals (non-functional requirements with GRL) in addition to scenarios (functional requirements with UCMs) in a graphical way in one unified language International Telecommunication Union (ITU-T Z.150 series) ITU-T Z.150 (02/03): User Requirements Notation (URN) - Language requirements and framework ITU-T Z.151 (11/08): User requirements notation (URN) - Language definition Part of the ITU family of languages: SDL, MSC, TTCN-3… Definition of URN in Recommendation Z.151 (approved November 2008) Metamodel, abstract/concrete syntaxes, semantics… ITU-T Z.150: ITU-T Z.151: User Requirements Notation jUCMNav Goals and Rationale GRL Basics Evaluations Examples Tools Metamodel

SEG3101 (Fall 2010). URN Overview 11 About ITU-T International Telecommunication Union United Nations organization 191 countries + hundreds of member companies Free access to the definition of many standard languages Question 13 (Formal languages and telecommunication software) of Study Group 17 (Security) Z.15x User Requirements Notation (URN) Also SDL, MSC, and profiles Other international bodies standardize languages ANSI (C, C++), W3C (HTML, XML), IEEE (VHDL), ISO (LOTOS), OMG (UML), OASIS (XACML), etc. User Requirements Notation jUCMNav Goals and Rationale GRL Basics Evaluations Examples Tools Metamodel

SEG3101 (Fall 2010). URN Overview 12 ITU-T Languages SDL: Specification and Description Language For defining and executing complete reactive systems MSC: Message Sequence Charts For defining message-oriented scenarios ASN.1: Abstract Syntax Notation One For defining data types/packets TTCN-3: Testing and Test Control Notation For defining test cases and test environments URN: User Requirements Notation Goal-oriented Requirements Language (GRL) Use Case Map notation (UCM) For defining abstract goals, scenarios, and requirements UML 2.0 profiles for some of these languages on their way… User Requirements Notation jUCMNav Goals and Rationale GRL Basics Evaluations Examples Tools Metamodel

SEG3101 (Fall 2010). URN Overview UML Puzzle Alternatives in GRL are linked with more detailed models described as UCMs. UCMs represent visually use cases in terms of causal responsibilities. UCMs provide a framework for making high level and detailed design decisions. UCMs visually associate behavior with structure at the system level. UCMs enable functional testing and allow the generation of test purposes. UML 2.0 Structural Diagrams Goal-oriented Requirement Language (GRL) Use Cases and UML 2.0 Use Case Diagrams UML 2.0 Behavioral Diagrams Testing Language ? Use Case Maps (UCMs) GRL captures stakeholders’ business goals, alternatives, decisions, and rationales. UML 2.0 Activity Diagrams User Requirements Notation jUCMNav Goals and Rationale GRL Basics Evaluations Examples Tools Metamodel

SEG3101 (Fall 2010). URN Overview ITU Puzzle Alternatives in GRL are linked with more detailed models described as UCMs. UCMs represent visually use cases in terms of causal responsibilities. UCMs provide a framework for making high level and detailed design decisions. UCMs visually associate behavior with structure at the system level. UCMs enable functional testing and allow the generation of test purposes. Structural Diagrams: SDL (Z.100) Goal-oriented Requirement Language (GRL) Informal Require- ments, Textual Use Cases (M.3020) Behavioral Dia- grams: SDL, MSC (Z.120) Testing Language: TTCN (Z.140) Use Case Maps (UCMs) GRL captures stakeholders’ business goals, alternatives, decisions, and rationales. Data ASN.1 (X.680) where appropriate User Requirements Notation jUCMNav Goals and Rationale GRL Basics Evaluations Examples Tools Metamodel

SEG3101 (Fall 2010). URN Overview Transformations Transformations connect URN models to other models Some transformations discussed in publications or implemented in jUCMNav’s predecessor UCMNav have not yet been implemented in jUCMNav Test Cases (Fitnesse, TTCN) UML activity/sequence/state/use case diagrams SDL * Stéphane Somé’s UCEd: Requirements Management (Telelogic DOORS) User Requirements Notation (jUCMNav) Textual Use Cases (UCEd *) Core Scenario Model (CSM) Message Sequence Charts (MSC Viewer) (for performance modeling) User Requirements Notation jUCMNav Goals and Rationale GRL Basics Evaluations Examples Tools Metamodel

SEG3101 (Fall 2010). URN Overview 16 Summary The User Requirements Notation (URN) is an ITU-T standard Modeling with the Goal-oriented Requirement Language Focuses on answering “why” questions Intentions, functional / non-functional requirements, rationales Modeling with Use Case Maps Focuses on answering “what” questions Scenarios, services, architectures While modelling with URN as a whole, goals are operationalized into tasks, and tasks are elaborated in scenarios (mapped to UCM path elements) Moving towards answering “how” questions Can guide the selection of an architecture or scenarios Enables the elicitation/specification of systems, standards, & products, analysis from various angles, & transformations User Requirements Notation jUCMNav Goals and Rationale GRL Basics Evaluations Examples Tools Metamodel

SEG3101 (Fall 2010). URN Overview 17 URN Tool: jUCMNav – Juice Up Your Modeling! GRL Strategies Evaluation UCMs Scenario Definition Scenario Execution Test Suite MSC Generation Export to DOORS Export to CSM Pronounced: juicy – em – nav User Requirements Notation jUCMNav Goals and Rationale GRL Basics Evaluations Examples Tools Metamodel

SEG3101 (Fall 2010). URN Overview 18 URN Tool: jUCMNav – Overview (1) Free (EPL), open-source plug-in for Eclipse Based on Eclipse Modeling Framework (EMF) and the Graphical Editing Framework (GEF) Supports most of GRL and UCM notation elements Extensible architecture for customized GRL and UCM analysis techniques 4 GRL evaluation algorithms, with color highlight 1 UCM path traversal mechanism, with export to flat UCMs and MSCs Integrated MSC viewer User Requirements Notation jUCMNav Goals and Rationale GRL Basics Evaluations Examples Tools Metamodel

SEG3101 (Fall 2010). URN Overview 19 URN Tool: jUCMNav – Overview (2) Other features Export performance models to CSM Integration with DOORS for requirements management Extensions for Business Process Modeling, Monitoring, and Adaptation Extensions for aspect-oriented modeling with AoURN Verification of user-defined (OCL) rules Report generation (PDF, HTML) Export of diagrams to various bitmap formats User Requirements Notation jUCMNav Goals and Rationale GRL Basics Evaluations Examples Tools Metamodel

SEG3101 (Fall 2009). User Requirements Notation. © 2009 Gunter Mussbacher GRL Editor with Strategy Evaluation Navigator view Outline view Editor Scenarios and Strategies view Properties view Toolbar Palette

SEG3101 (Fall 2010). URN Overview UCM Editor with Scenario Traversal Perspective Graphical Outline Problems view

SEG3101 (Fall 2010). URN Overview Integrated MSC Viewer for Exported UCM Scenarios Outline view MSC viewer