UML and the Unified Process Liliana Favre Universidad Nacional del Centro de la Provincia de Buenos Aires Argentina IRM Press Publisher of innovative scholarly and professional information technology titles in the cyberage Hershey • London • Melbourne • Singapore • Beijing Acquisitions Editor: Mehdi Khosrow-Pour Senior Managing Editor: Jan Travers Managing Editor: Amanda Appicello Development Editor: Michele Rossi Copy Editor: Joyce Gouger Typesetter: Amanda Appicello Cover Design: Kory Gongloff Printed at: Integrated Book Technology Published in the United States of America by IRM Press (an imprint of Idea Group Inc.) 1331 E. Chocolate Avenue, Suite 200 Hershey PA 17033-1117 Tel: 717-533-8845 Fax: 717-533-8661 E-mail: [email protected] Web site: http://www.irm-press.com and in the United Kingdom by IRM Press (an imprint of Idea Group Inc.) 3 Henrietta Street Covent Garden London WC2E 8LU Tel: 44 20 7240 0856 Fax: 44 20 7379 3313 Web site: http://www.eurospan.co.uk Copyright © 2003 by IRM Press. All rights reserved. No part of this book may be reproduced in any form or by any means, electronic or mechanical, including photocopy- ing, without written permission from the publisher. Library of Congress Cataloging-in-Publication Data Favre, Liliana. UML and the unified process / Liliana Favre. p. cm. Includes bibliographical references and index. ISBN 1-931777-44-6 1. Application software--Development. 2. UML (Computer science) 3. Computer software--Development. 4. Software engineering. 5. Web site development. I. Title. QA76.76.A65F39 2003 005.1--dc21 2002156230 eISBN 1-931777-60-8 British Cataloguing in Publication Data A Cataloguing in Publication record for this book is available from the British Library. New Releases from IRM Press • Multimedia and Interactive Digital TV: Managing the Opportunities Created by Digital Convergence/Margherita Pagani ISBN: 1-931777-38-1; eISBN: 1-931777-54-3 / US$59.95 / © 2003 • Virtual Education: Cases in Learning & Teaching Technologies/ Fawzi Albalooshi (Ed.), ISBN: 1-931777-39-X; eISBN: 1-931777-55-1 / US$59.95 / © 2003 • Managing IT in Government, Business & Communities/Gerry Gingrich (Ed.) ISBN: 1-931777-40-3; eISBN: 1-931777-56-X / US$59.95 / © 2003 • Information Management: Support Systems & Multimedia Technology/ George Ditsa (Ed.), ISBN: 1-931777-41-1; eISBN: 1-931777-57-8 / US$59.95 / © 2003 • Managing Globally with Information Technology/Sherif Kamel (Ed.) ISBN: 42-X; eISBN: 1-931777-58-6 / US$59.95 / © 2003 • Current Security Management & Ethical Issues of Information Technology/Rasool Azari (Ed.), ISBN: 1-931777-43-8; eISBN: 1-931777-59-4 / US$59.95 / © 2003 • UML and the Unified Process/Liliana Favre (Ed.) ISBN: 1-931777-44-6; eISBN: 1-931777-60-8 / US$59.95 / © 2003 • Business Strategies for Information Technology Management/Kalle Kangas (Ed.) ISBN: 1-931777-45-4; eISBN: 1-931777-61-6 / US$59.95 / © 2003 • Managing E-Commerce and Mobile Computing Technologies/Julie Mariga (Ed.) ISBN: 1-931777-46-2; eISBN: 1-931777-62-4 / US$59.95 / © 2003 • Effective Databases for Text & Document Management/Shirley A. Becker (Ed.) ISBN: 1-931777-47-0; eISBN: 1-931777-63-2 / US$59.95 / © 2003 • Technologies & Methodologies for Evaluating Information Technology in Business/ Charles K. Davis (Ed.), ISBN: 1-931777-48-9; eISBN: 1-931777-64-0 / US$59.95 / © 2003 • ERP & Data Warehousing in Organizations: Issues and Challenges/Gerald Grant (Ed.), ISBN: 1-931777-49-7; eISBN: 1-931777-65-9 / US$59.95 / © 2003 • Practicing Software Engineering in the 21st Century/Joan Peckham (Ed.) ISBN: 1-931777-50-0; eISBN: 1-931777-66-7 / US$59.95 / © 2003 • Knowledge Management: Current Issues and Challenges/Elayne Coakes (Ed.) ISBN: 1-931777-51-9; eISBN: 1-931777-67-5 / US$59.95 / © 2003 • Computing Information Technology: The Human Side/Steven Gordon (Ed.) ISBN: 1-931777-52-7; eISBN: 1-931777-68-3 / US$59.95 / © 2003 • Current Issues in IT Education/Tanya McGill (Ed.) ISBN: 1-931777-53-5; eISBN: 1-931777-69-1 / US$59.95 / © 2003 Excellent additions to your institution’s library! Recommend these titles to your Librarian! To receive a copy of the IRM Press catalog, please contact (toll free) 1/800-345-4332, fax 1/717-533-8661, or visit the IRM Press Online Bookstore at: [http://www.irm-press.com]! Note: All IRM Press books are also available as ebooks on netlibrary.com as well as other ebook sources. Contact Ms. Carrie Skovrinskie at [[email protected]] to receive a complete list of sources where you can obtain ebook information or IRM Press titles. UML and the Unified Process Table of Contents Preface ................................................................................................................... vii Liliana Favre, INTIA, Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina Chapter I. Evaluating UML Using a Generic Quality Framework ......................... 1 John Krogstie, SINTEF Telecom and Informatics and IDI, NTNU, Norway Chapter II. A Generic Framework for Defining Domain-Specific Models .................................................................................................................... 23 Arnor Solberg, SINTEF Telecom and Informatics, Norway Jon Oldevik, SINTEF Telecom and Informatics, Norway Audun Jensvoll, EDBTelesciences, Norway Chapter III. On the Application of UML to Designing On-line Business Model ...................................................................................................................... 39 Yongtae Park, Seoul National University, Korea Seonwoo Kim, Seoul National University, Korea Chapter IV. Specification of Business Components Using Temporal OCL .......... 48 Stefan Conrad, University of Düsseldorf, Germany Klaus Turowski, University of Augsburg, Germany Chapter V. Negotiating Early Reuse of Components – A Model-Based Analysis .................................................................................................................. 66 J. A. Sykes, Swinburne University of Technology, Australia Chapter VI. Enhancing RUP Business Model with Client-Oriented Requirements Models .................................................................................................................... 80 María Carmen Leonardi, INTIA, Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina Chapter VII. Introducing Non-functional Requirements in UML ......................... 116 Guadalupe Salazar-Zárate, Technical University of Catalonia, Spain Pere Botella, Technical University of Catalonia, Spain Ajantha Dahanayake, Delft University of Technology, The Netherlands Chapter VIII. Formalizing UML Class Diagrams ................................................. 129 Ana María Funes, Universidad Nacional de San Luis, Argentina Chris George, UNU/IIST, Macau Chapter IX. Forward Engineering and UML: From UML Static Models to Eiffel Code .............................................................................................................. 199 Liliana Favre, INTIA, Universidad Nacional del Centro de la Provencia de Buenos Aires, Argentina Liliana Martínez, INTIA, Universidad Nacional del Centro de la Provencia de Buenos Aires, Argentina Claudia Pereira, INTIA, Universidad Nacional del Centro de la Provencia de Buenos Aires, Argentina Chapter X. Transforming UML Class Diagrams into Relational Data Models .... 217 Devang Shah, eXcelon Corporation, USA Sandra Slaughter, Carnegie Mellon University, USA Chapter XI. Specification and Checking of Dependency Relations between UML Models ........................................................................................................... 237 Claudia Pons, LIFIA, Universidad Nacional de La Plata, Argentina Roxana Giandini, LIFIA, Universidad Nacional de La Plata, Argentina Gabriel Baum, LIFIA, Universidad Nacional de La Plata, Argentina José Luis Garbi, LIFIA, Universidad Nacional de La Plata, Argentina Paula Mercado, LIFIA, Universidad Nacional de La Plata, Argentina Chapter XII. Info-Mathics – The Mathematical Modeling of Information Systems .................................................................................................................. 254 Andrew S. Targowski, Western Michigan University, USA Chapter XIII. Use of UML Stereotypes in Business Models .................................. 262 Daniel Brandon, Jr., Christian Brothers University, USA Chapter XIV. Extension to UML Using Stereotypes .............................................. 273 Daniel Riesco, Universidad Nacional de San Luis and Universidad Nacional de Rio Cuarto, Argentina Paola Martellotto, Universidad Nacional de Rio Cuarto, Argentina German Montejano, Universidad Nacional de San Luis, Argentina Chapter XV. An Extension to a UML Activity Graph from Workflow ................................................................................................................ 294 Daniel Riesco, Universidad Nacional de San Luis and Universidad Nacional de Rio Cuarto, Argentina Edgardo Acosta, Universidad Nacional de Rio Cuarto, Argentina German Montejano, Universidad Nacional de San Luis, Argentina Chapter XVI. Business Processes in UML ........................................................... 315 Peter Rittgen, Technical University Darmstadt, Germany Chapter XVII. The CORAS Methodology: Model-based Risk Assessment Using UML and UP ............................................................................................................ 332 Folker den Braber, SINTEF Telecom and Informatics, Norway Theo Dimitrakos, CLRC Rutherford Appleton Laboratory, UK Bjørn Axel