UML and the Unified Process

With the increasing popularity of the Internet, electronic commerce, and enterprise applications, this has been developed to focus on Unified Modeling Language (UML), Unified Process (UP) and other information modeling methods and methodologies, and involves conceptual, theoretical, development and empirical issues. This title particularly focuses on research related to UML and UP in reference to the analysis, design and development of web-based and enterprise applications.

[1]  M. Ould.  Business Processes: Business Processes: Modelling and Analysis for Re-Engineering and Improvement , 1995 .

[2]  Martin Gogolla,et al.  Validating UML Models and OCL Constraints , 2000, UML.

[3]  Terry Quatrani,et al.  Visual modeling with rational Rose and UML , 1998, Addison-Wesley object technology series.

[4]  Noël Plouzeau,et al.  UMLAUT: a framework for weaving UML-based aspect-oriented designs , 2000, Proceedings 33rd International Conference on Technology of Object-Oriented Languages and Systems TOOLS 33.

[5]  Jim Waldo,et al.  A Note on Distributed Computing , 1996, Mobile Object Systems.

[6]  Harold Ossher,et al.  Using subject-oriented programming to overcome common problems in object-oriented software development/evolution , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[7]  Peter P. S Chen.  Entity-Relationship Approach to Logical Data Base Design , 1991 .

[8]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[9]  Jeanine Souquières,et al.  A Systematic Approach to Transform OMT Diagrams to a B Specification , 1999, World Congress on Formal Methods.

[10]  Stanley M. Sutton,et al.  N degrees of separation: multi-dimensional separation of concerns , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[11]  Meilir Page-Jones,et al.  The practical guide to structured systems design , 1980 .

[12]  P. Krutchen,et al.  The Rational Unified Process: An Introduction , 2000 .

[13]  Rupert Harper.  Relational Information Systems: T H Merret. Published by Reston. 507pp. £28.45 , 1984 .

[14]  Guy L. Steele,et al.  The Java Language Specification , 1996 .

[15]  Bernhard Beckert,et al.  The KeY System: Integrating Object-Oriented Design and Formal Methods , 2002, FASE.

[16]  Alejandro Alonso,et al.  Object-oriented design of real-time systems with stereotypes , 1997, Proceedings Ninth Euromicro Workshop on Real Time Systems.

[17]  Kendall Scott,et al.  UML distilled - a brief guide to the Standard Object Modeling Language (2. ed.) , 2000, notThenot Addison-Wesley object technology series.

[18]  Ali Bahrami,et al.  Object Oriented Systems Development , 1998 .

[19]  Andreas L. Opdahl,et al.  Eliciting security requirements with misuse cases , 2000, Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000.

[20]  Kees van Slooten,et al.  Characterizing IS development projects , 1996 .

[21]  Gunnar Övergaard,et al.  A Formal Approach to Use Cases and Their Relationships , 1998, UML.

[22]  A. Moore,et al.  REAL-TIME EXTENSIONS TO UML , 1998 .

[23]  Yongzhen Ou,et al.  On Mapping Between UML and Entity-Relationship Model , 1997, UML Workshop.

[24]  Martin Gogolla,et al.  On combining semiformal and formal object specification techniques , 1997, WADT.

[25]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[26]  Roger S. Pressman,et al.  Software Engineering: A Practitioner's Approach , 1982 .

[27]  Peter P. Chen.  The Entity-Relationship Model: Towards a unified view of Data , 1976 .

[28]  Scott W. Ambler,et al.  Mapping Objects To Relational Databases , 2000 .

[29]  Leszek A. Maciaszek,et al.  UML dialect for designing object-relational databases , 2000, IRMA Conference.

[30]  Vander Alves,et al.  PDC: Persistent Data Collections pattern , 2001 .

[31]  Daniel Jackson,et al.  Some Shortcomings of OCL, the Object Constraint Language of UML , 2000, TOOLS.

[32]  Gunnar Övergaard,et al.  Interacting Subsystems in UML , 2000, UML.

[33]  Bernhard Rumpe,et al.  The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[34]  Jon Whittle,et al.  RIGOROUSLY AUTOMATING TRANSFORMATIONS OF UML BEHAVIOR MODELS , 2000 .

[35]  Andrew Targowski,et al.  The architecture and planning of enterprise-wide information management systems , 1989 .

[36]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[37]  Nuno Jardim Nunes,et al.  Towards a UML profile for interaction design: the Wisdom approach , 2000, UML.

[38]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[39]  Geri Schneider,et al.  Applying Use Cases: A Practical Guide , 1998 .

[40]  Alistair Cockburn,et al.  Structuring Use Cases with Goals , 2000 .

[41]  Shane Sendall,et al.  From Use Cases to System Operation Specifications , 2000, UML.

[42]  David Taniar,et al.  Performance evaluation of the object-relational transformation methodology , 2001, Data Knowl. Eng..

[43]  Scott A. DeLoach,et al.  A Theory-Based Representation for Object-Oriented Domain Models , 2000, IEEE Trans. Software Eng..

[44]  Sandra Donaldson Dewitz,et al.  Systems Analysis and Design and the Transition to Objects , 1995 .

[45]  Reiko Heckel,et al.  A methodology for specifying and analyzing consistency of object-oriented behavioral models , 2001, ESEC/FSE-9.

[46]  Edward Yourdon,et al.  Modern structured analysis , 1989 .

[47]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[48]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[49]  J. Bruel.  Transforming UML Models to Formal Speci cations , 1998 .

[50]  Il-Yeol Song,et al.  Binary Representations of Ternary Relationships in ER Conceptual Modelling , 1995, OOER.

[51]  Gunnar Overgaard.  Using the Boom Framework for Formal Speciication of the Uml 1 Boom { a Framework for Formal Speciication , .

[52]  Martin Gogolla,et al.  Transformation Rules for UML Class Diagrams , 1998, UML.

[53]  David A. Carrington,et al.  Formalizing the UML Class Diagram Using Object-Z , 1999, UML.

[54]  Luis Mandel,et al.  On the expressive power of the Object Constraint Language OCL , 1999, FM 1999.

[55]  Juliane Dehnert,et al.  Relaxed Soundness of Business Processes , 2001, CAiSE.

[56]  Yongzhen Ou,et al.  On Using UML Class Diagrams for Object-Oriented Database Design. Specification of Integrity Constraints , 1998, UML.

[57]  Andrew Wood,et al.  Processes, Roles, and Events: UML Concepts for Enterprise Architecture , 2000, UML.

[58]  Robert J. Muller,et al.  Database Design for Smarties: Using UML for Data Modeling , 1999 .

[59]  Alistair Cockburn,et al.  Writing Effective Use Cases , 2000 .

[60]  Bernhard Rumpe,et al.  Towards a Formalization of the Unified Modeling Language , 1997, ECOOP.

[61]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

[62]  Alexander Egyed,et al.  Scalable consistency checking between diagrams - the VIEWINTEGRA approach , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[63]  Stéphane Bressan,et al.  Introduction to Database Systems , 2005 .

[64]  Jim Conallen,et al.  Modeling Web application architectures with UML , 1999, CACM.

[65]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[66]  Kent L. Beck,et al.  Extreme programming explained - embrace change , 1990 .

[67]  Kevin Lano,et al.  Formal object-oriented development , 1995, FACIT: Formal approaches to computing and information technology.

[68]  Felix Redmill,et al.  System Safety: HAZOP and Software HAZOP , 1999 .

[69]  Anders P. Ravn,et al.  Documenting Design Refinement , 2000 .

[70]  Keng Siau,et al.  Unified modeling language : systems analysis, design and development issues , 2001 .

[71]  Liliana Favre.  Object oriented reuse through algebraic specifications , 1998, Proceedings Technology of Object-Oriented Languages. TOOLS 28 (Cat. No.98TB100271).

[72]  Alexander Knapp.  A Formal Semantics for UML Interactions , 1999, UML.

[73]  Bernhard Westfechtel,et al.  Beyond stereotyping: metamodeling approaches for the UML , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[74]  Brian Henderson-Sellers,et al.  The OPEN process specification , 1997 .

[75]  Radmila Juric,et al.  Building an evaluation instrument for OO CASE tool assessment for Unified Modelling Language support , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[76]  Ramez Elmasri,et al.  Fundamentals of database systems (2nd ed.) , 1994 .

[77]  Hans-Erik Eriksson,et al.  UML toolkit , 1997 .

[78]  Peter Rittgen.  E-Commerce Software: From Analysis to Design , 2002 .

[79]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[80]  Bernhard Rumpe,et al.  The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[81]  Michael Rosemann,et al.  Komplexitätsmanagement in Prozeßmodellen - methodenspezifische Gestaltungsempfehlungen für die Informationsmodellierung , 1996, Schriften zur EDV-orientierten Betriebswirtschaft.

[82]  Sérgio Soares,et al.  Concurrency control with Java and relational databases , 2002, Proceedings 26th Annual International Computer Software and Applications.

[83]  Jay Banerjee,et al.  Data model issues for object-oriented applications , 1987, TOIS.

[84]  Ian Graham,et al.  30 Things that Go Wrong in Object Modelling with UML 1.3 , 1999, Behavioral Specifications of Businesses and Systems.

[85]  Dorina C. Petriu,et al.  Consistent Behaviour Representation in Activity and Sequence Diagrams , 2000, UML.

[86]  Markus Nüttgens,et al.  Business Process Modeling with EPC and UML: Transformation or Integration? , 1997, UML Workshop.

[87]  John W. Satzinger,et al.  The Object-Oriented Approach , 1995 .

[88]  Bernhard Rumpe,et al.  Meta-Modelling Semantics of UML , 2014, Behavioral Specifications of Businesses and Systems.

[89]  Luciano Baresi,et al.  Extending UML for modeling Web applications , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[90]  Gunnar Overgaard.  A Formal Approach to Relationships in the Unified Modeling Language , 1998 .

[91]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[92]  Martin Glinz,et al.  A lightweight approach to consistency of scenarios and class models , 2000, Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219).

[93]  Jean-Marc Jézéquel,et al.  UMLAUT: an extendible UML transformation framework , 1999, 14th IEEE International Conference on Automated Software Engineering.

[94]  Tok Wang Ling,et al.  A Normal Form Object-Oriented Entity Relationship Diagram , 1994, ER.

[95]  Tom DeMarco,et al.  Structured Analysis and System Specification , 1978 .

[96]  Liliana Favre,et al.  A Formal Mapping between UML Static Models and Algebraic Specifications , 2001, pUML.

[97]  Claudia Pons,et al.  Formal foundations of object-oriented modeling notations , 2000, ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods.

[98]  Thomas A. Bruce,et al.  Designing Quality Databases With IDEF1X Information Models , 1991 .

[99]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[100]  Peter Padawitz,et al.  Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving , 2000, UML.

[101]  Daoud Ait Kadi,et al.  A STATE-OF-THE-ART REVIEW OF FMEA/FMECA , 1994 .

[102]  August-Wilhelm Scheer,et al.  ARIS - Business Process Modeling , 1998 .

[103]  William G. Griswold,et al.  An Overview of AspectJ , 2001, ECOOP.

[104]  Markku Turunen,et al.  UML for protocol engineering-extensions and experiences , 2000, Proceedings 33rd International Conference on Technology of Object-Oriented Languages and Systems TOOLS 33.

[105]  Shamkant B. Navathe,et al.  Conceptual Database Design: An Entity-Relationship Approach , 1991 .

[106]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[107]  Bernd Oestereich,et al.  Developing Software with UML: Object-Oriented Analysis and Design in Practice , 2002 .

[108]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[109]  Letha H. Etzkorn,et al.  Clarifying specialized forms of association in UML and OML , 1998 .

[110]  Andreas Rausch,et al.  Structuring and refinement of class diagrams , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.