%%% BibTeX-File for UML
%%% Paul Ziemann, ziemann at informatik.uni-bremen.de
%%% Mark Richters, mr at informatik.uni-bremen.de
%%% The UML Bibliography <URL:http://www.db.informatik.uni-bremen.de/umlbib>
%%% Date: 5/10/2005

@Proceedings{Sprague:2001:HICSS,
  title =        "Proc. 34th Annual Hawaii International Conference on
                  System Sciences (HICSS-34)",
  year =         "2001",
  editor =       "Sprague, Jr., Ralph H.",
  publisher =    "IEEE Computer Society",
}

@InProceedings{Mok:2001:HICSS,
  author =       "Wai Yin Mok and David P. Paper",
  title =        "On Transformations from {UML} Models to Object-Relational
                  Databases",
  booktitle =    "Proc. 34th Annual Hawaii International Conference on
                  System Sciences (HICSS-34)",
  editor =       "Sprague, Jr., Ralph H.",
  publisher =    "IEEE Computer Society",
  year =         "2001",
}

@InProceedings{Molina:2001:HICSS,
  author =       "Jes{\'u}s Garc{\'\i}a Molina and M. Jos{\'e} Ort{\'\i}n
                  and Bego{\~n}a Moros and Joaqu{\'\i}n Nicol{\'a}s and
                  Ambrosio Toval",
  title =        "Transforming the {OOram} Three-Model Architecture into a
                  {UML}-based Process",
  booktitle =    "Proc. 34th Annual Hawaii International Conference on
                  System Sciences (HICSS-34)",
  editor =       "Sprague, Jr., Ralph H.",
  publisher =    "IEEE Computer Society",
  year =         "2001",
}

@InProceedings{Purao:2001:HICSS,
  author =       "Sandeep Purao and Ashley Bush and Matti Rossi",
  title =        "Problem and Design Spaces during Object-Oriented Design:
                  An Exploratory Study",
  booktitle =    "Proc. 34th Annual Hawaii International Conference on
                  System Sciences (HICSS-34)",
  editor =       "Sprague, Jr., Ralph H.",
  publisher =    "IEEE Computer Society",
  year =         "2001",
}

@InProceedings{Morris:2001:HICSS,
  author =       "Stephen Morris and George Spanoudakis",
  title =        "{UML}: An Evaluation of the Visual Syntax of the
                  Language",
  booktitle =    "Proc. 34th Annual Hawaii International Conference on
                  System Sciences (HICSS-34)",
  editor =       "Sprague, Jr., Ralph H.",
  publisher =    "IEEE Computer Society",
  year =         "2001",
}

@InProceedings{HendersonSellers:2001:HICSS1,
  author =       "Brian Henderson-Sellers and Graham Collins and Ian
                  Graham",
  title =        "{UML} Compatible Processes",
  booktitle =    "Proc. 34th Annual Hawaii International Conference on
                  System Sciences (HICSS-34)",
  editor =       "Sprague, Jr., Ralph H.",
  publisher =    "IEEE Computer Society",
  year =         "2001",
}

@InProceedings{Schleicher:2001:HICSS,
  author =       "Ansgar Schleicher and Bernhard Westfechtel",
  title =        "Beyond Stereotyping: Metamodeling Approaches for the
                  {UML}",
  booktitle =    "Proc. 34th Annual Hawaii International Conference on
                  System Sciences (HICSS-34)",
  editor =       "Sprague, Jr., Ralph H.",
  publisher =    "IEEE Computer Society",
  year =         "2001",
}

@InProceedings{HendersonSellers:2001:HICSS2,
  author =       "Brian Henderson-Sellers",
  title =        "Some Problems with the {UML} {V1.3} Metamodel",
  booktitle =    "Proc. 34th Annual Hawaii International Conference on
                  System Sciences (HICSS-34)",
  editor =       "Sprague, Jr., Ralph H.",
  publisher =    "IEEE Computer Society",
  year =         "2001",
}

@InProceedings{Selonen:2001:HICSS,
  author =       "Petri Selonen and Kai Koskimies and Markku Sakkinen",
  title =        "How to Make Apples from Oranges in {UML}",
  booktitle =    "Proc. 34th Annual Hawaii International Conference on
                  System Sciences (HICSS-34)",
  editor =       "Sprague, Jr., Ralph H.",
  publisher =    "IEEE Computer Society",
  year =         "2001",
}

@InProceedings{Baresi:2001:HICSS,
  author =       "Luciano Baresi and Franca Garzotto and Paolo Paolini",
  title =        "Extending {UML} for Modeling Web Applications",
  booktitle =    "Proc. 34th Annual Hawaii International Conference on
                  System Sciences (HICSS-34)",
  editor =       "Sprague, Jr., Ralph H.",
  publisher =    "IEEE Computer Society",
  year =         "2001",
}

@InProceedings{Huemer:2001:HICSS,
  author =       "Christian Huemer",
  title =        "Defining Electronic Data Interchange Transactions with
                  {UML}",
  booktitle =    "Proc. 34th Annual Hawaii International Conference on
                  System Sciences (HICSS-34)",
  editor =       "Sprague, Jr., Ralph H.",
  publisher =    "IEEE Computer Society",
  year =         "2001",
}

@InProceedings{Keienburg:2001:HICSS,
  author =       "Frank Keienburg and Andreas Rausch",
  title =        "Using {XML}/{XMI} for Tool Supported Evolution of {UML}
                  Models",
  booktitle =    "Proc. 34th Annual Hawaii International Conference on
                  System Sciences (HICSS-34)",
  editor =       "Sprague, Jr., Ralph H.",
  publisher =    "IEEE Computer Society",
  year =         "2001",
}

@Proceedings{Bottoni:2002:GTVMT,
  title =        "GT-VMT'2002 Graph Transformation and Visual Modeling
                  Techniques, Barcelona, Spain, 11-12 October 2002",
  year =         "2002",
  editor =       "Paolo Bottoni and Mark Minas",
  volume =       "72(3)",
  series =       "ENTCS",
  publisher =    "Elsevier",
  isbn =         "0-4445-1408-2",
}

@InProceedings{Costagliola:2002:GTVMT,
  author =       "Gennaro Costagliola and Vincenzo Deufemia and Filomena
                  Ferruci and Carmine Gravino",
  title =        "Exploiting Visual Languages Generation and {UML} Meta
                  Modeling to Construct Meta-{CASE} Workbenches",
  booktitle =    "GT-VMT'2002 Graph Transformation and Visual Modeling
                  Techniques, Barcelona, Spain, 11-12 October 2002",
  editor =       "Paolo Bottoni and Mark Minas",
  publisher =    "Elsevier",
  series =       "ENTCS",
  volume =       "72(3)",
  year =         "2002",
}

@InProceedings{Hausmann:2002:GTVMT,
  author =       "Jan Hendrik Hausmann and Reiko Heckel and Stefan Sauer",
  title =        "Dynamic Meta Modeling with Time: Specifying the Semantics
                  of Multimedia Sequence Diagrams",
  booktitle =    "GT-VMT'2002 Graph Transformation and Visual Modeling
                  Techniques, Barcelona, Spain, 11-12 October 2002",
  editor =       "Paolo Bottoni and Mark Minas",
  publisher =    "Elsevier",
  series =       "ENTCS",
  volume =       "72(3)",
  year =         "2002",
}

@InProceedings{Roubtsova:2002:GTVMT,
  author =       "Ella Roubtsova and Ruurd Kuiper",
  title =        "Process Semantics for UML Component Specifications to
                  Assess Inheritance",
  booktitle =    "GT-VMT'2002 Graph Transformation and Visual Modeling
                  Techniques, Barcelona, Spain, 11-12 October 2002",
  editor =       "Paolo Bottoni and Mark Minas",
  publisher =    "Elsevier",
  series =       "ENTCS",
  volume =       "72(3)",
  year =         "2002",
}

@InProceedings{Gogolla:2002:GTVMT,
  author =       "Martin Gogolla and Paul Ziemann and Sabine Kuske",
  title =        "Towards an Integrated Graph Based Semantics for UML",
  booktitle =    "GT-VMT'2002 Graph Transformation and Visual Modeling
                  Techniques, Barcelona, Spain, 11-12 October 2002",
  editor =       "Paolo Bottoni and Mark Minas",
  publisher =    "Elsevier",
  series =       "ENTCS",
  volume =       "72(3)",
  year =         "2002",
}

@Proceedings{Kutsche:2002:FASE,
  title =        "Fundamental Approaches to Software Engineering, 5th
                  International Conference, FASE 2002, held as Part of the
                  Joint European Conferences on Theory and Practice of
                  Software, ETAPS 2002, Grenoble, France, April 8-12, 2002,
                  Proceedings",
  year =         "2002",
  editor =       "Ralf-Detlef Kutsche and Herbert Weber",
  volume =       "2306",
  series =       "LNCS",
  publisher =    "Springer",
  isbn =         "3-540-43353-8",
}

@InProceedings{Bradfield:2002:FASE,
  author =       "Julian C. Bradfield and Juliana K{\"u}ster Filipe and
                  Perdita Stevens",
  title =        "Enriching {OCL} Using Observational Mu-Calculus",
  pages =        "203--217",
  booktitle =    "Fundamental Approaches to Software Engineering, 5th
                  International Conference, FASE 2002, held as Part of the
                  Joint European Conferences on Theory and Practice of
                  Software, ETAPS 2002, Grenoble, France, April 8-12, 2002,
                  Proceedings",
  editor =       "Ralf-Detlef Kutsche and Herbert Weber",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2306",
  year =         "2002",
}

@InProceedings{David:2002:FASE,
  author =       "Alexandre David and M. Oliver M{\"o}ller and Wang Yi",
  title =        "Formal Verification of {UML} Statecharts with Real-Time
                  Extensions",
  pages =        "218--232",
  booktitle =    "Fundamental Approaches to Software Engineering, 5th
                  International Conference, FASE 2002, held as Part of the
                  Joint European Conferences on Theory and Practice of
                  Software, ETAPS 2002, Grenoble, France, April 8-12, 2002,
                  Proceedings",
  editor =       "Ralf-Detlef Kutsche and Herbert Weber",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2306",
  year =         "2002",
}

@Proceedings{Hussmann:2001:FASE,
  title =        "Fundamental Approaches to Software Engineering, 4th
                  International Conference, FASE 2001, held as Part of the
                  Joint European Conferences on Theory and Practice of
                  Software, ETAPS 2001, Genova, Italy, April 2-6, 2001,
                  Proceedings",
  year =         "2001",
  editor =       "Heinrich Hussmann",
  volume =       "2029",
  series =       "LNCS",
  publisher =    "Springer",
  isbn =         "3-540-41863-6",
}

@InProceedings{Clark:2001:FASE,
  author =       "Tony Clark and Andy Evans and Stuart Kent",
  title =        "The Metamodelling Language Calculus: Foundation Semantics
                  for {UML}",
  pages =        "17--31",
  booktitle =    "Fundamental Approaches to Software Engineering, 4th
                  International Conference, FASE 2001, held as Part of the
                  Joint European Conferences on Theory and Practice of
                  Software, ETAPS 2001, Genova, Italy, April 2-6, 2001,
                  Proceedings",
  editor =       "Heinrich Hussmann",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2029",
  year =         "2001",
}

@InProceedings{Eshuis:2001:FASE,
  author =       "Rik Eshuis and Roel Wieringa",
  title =        "A Real-Time Execution Semantics for {UML} Activity
                  Diagrams",
  pages =        "76--90",
  booktitle =    "Fundamental Approaches to Software Engineering, 4th
                  International Conference, FASE 2001, held as Part of the
                  Joint European Conferences on Theory and Practice of
                  Software, ETAPS 2001, Genova, Italy, April 2-6, 2001,
                  Proceedings",
  editor =       "Heinrich Hussmann",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2029",
  year =         "2001",
}

@InProceedings{Fischer:2001:FASE,
  author =       "Clemens Fischer and Ernst-R{\"u}diger Olderog and Heike
                  Wehrheim",
  title =        "A {CSP} View on {UML-RT} Structure Diagrams",
  pages =        "91--108",
  booktitle =    "Fundamental Approaches to Software Engineering, 4th
                  International Conference, FASE 2001, held as Part of the
                  Joint European Conferences on Theory and Practice of
                  Software, ETAPS 2001, Genova, Italy, April 2-6, 2001,
                  Proceedings",
  editor =       "Heinrich Hussmann",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2029",
  year =         "2001",
}

@InProceedings{Heckel:2001:FASE,
  author =       "Reiko Heckel and Stefan Sauer",
  title =        "Strengthening UML Collaboration Diagrams by State
                  Transformations",
  pages =        "109--123",
  booktitle =    "Fundamental Approaches to Software Engineering, 4th
                  International Conference, FASE 2001, held as Part of the
                  Joint European Conferences on Theory and Practice of
                  Software, ETAPS 2001, Genova, Italy, April 2-6, 2001,
                  Proceedings",
  editor =       "Heinrich Hussmann",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2029",
  year =         "2001",
}

@InProceedings{Choppy:2001:FASE,
  author =       "Christine Choppy and Pascal Poizat and Jean-Claude
                  Royer",
  title =        "Specification of Mixed Systems in {KORRIGAN} with the
                  Support of a {UML}-Inspired Graphical Notation",
  pages =        "124--139",
  booktitle =    "Fundamental Approaches to Software Engineering, 4th
                  International Conference, FASE 2001, held as Part of the
                  Joint European Conferences on Theory and Practice of
                  Software, ETAPS 2001, Genova, Italy, April 2-6, 2001,
                  Proceedings",
  editor =       "Heinrich Hussmann",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2029",
  year =         "2001",
}

@InProceedings{Stevens:2001:FASE,
  author =       "Perdita Stevens",
  title =        "On {Use Cases} and Their Relationships in the {Unified
                  Modelling Language}",
  pages =        "140--155",
  booktitle =    "Fundamental Approaches to Software Engineering, 4th
                  International Conference, FASE 2001, held as Part of the
                  Joint European Conferences on Theory and Practice of
                  Software, ETAPS 2001, Genova, Italy, April 2-6, 2001,
                  Proceedings",
  editor =       "Heinrich Hussmann",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2029",
  year =         "2001",
}

@InProceedings{Bordeleau:2001:FASE,
  author =       "Francis Bordeleau and Jean-Pierre Corriveau",
  title =        "On the Importance of Inter-scenario Relationships in
                  Hierarchical State Machine Design",
  pages =        "156--170",
  booktitle =    "Fundamental Approaches to Software Engineering, 4th
                  International Conference, FASE 2001, held as Part of the
                  Joint European Conferences on Theory and Practice of
                  Software, ETAPS 2001, Genova, Italy, April 2-6, 2001,
                  Proceedings",
  editor =       "Heinrich Hussmann",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2029",
  year =         "2001",
}

@InProceedings{Reggio:2001:FASE,
  author =       "Gianna Reggio and Maura Cerioli and Egidio Astesiano",
  title =        "Towards a Rigorous Semantics of {UML} Supporting Its
                  Multiview Approach",
  pages =        "171--186",
  booktitle =    "Fundamental Approaches to Software Engineering, 4th
                  International Conference, FASE 2001, held as Part of the
                  Joint European Conferences on Theory and Practice of
                  Software, ETAPS 2001, Genova, Italy, April 2-6, 2001,
                  Proceedings",
  editor =       "Heinrich Hussmann",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2029",
  year =         "2001",
}

@InProceedings{Juerjens:2001:FASE,
  author =       "Jan J{\"u}rjens",
  title =        "Towards Development of Secure Systems Using {UMLsec}",
  pages =        "187--200",
  booktitle =    "Fundamental Approaches to Software Engineering, 4th
                  International Conference, FASE 2001, held as Part of the
                  Joint European Conferences on Theory and Practice of
                  Software, ETAPS 2001, Genova, Italy, April 2-6, 2001,
                  Proceedings",
  editor =       "Heinrich Hussmann",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2029",
  year =         "2001",
}

@InProceedings{Reus:2001:FASE,
  author =       "Bernhard Reus and Martin Wirsing and Rolf Hennicker",
  title =        "A Hoare Calculus for Verifying Java Realizations of
                  {OCL}-Constrained Design Models",
  pages =        "300--317",
  booktitle =    "Fundamental Approaches to Software Engineering, 4th
                  International Conference, FASE 2001, held as Part of the
                  Joint European Conferences on Theory and Practice of
                  Software, ETAPS 2001, Genova, Italy, April 2-6, 2001,
                  Proceedings",
  editor =       "Heinrich Hussmann",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2029",
  year =         "2001",
}

@Proceedings{Laender:2000:ER,
  title =        "Conceptual Modeling - ER 2000, 19th International
                  Conference on Conceptual Modeling, Salt Lake City, Utah,
                  USA, October 9-12, 2000, Proceedings",
  year =         "2000",
  editor =       "Alberto H. F. Laender and Stephen W. Liddle and Veda C.
                  Storey",
  volume =       "1920",
  series =       "LNCS",
  publisher =    "Springer",
  isbn =         "3-540-41072-4",
}

@InProceedings{Stumptner:2000:ER,
  author =       "Markus Stumptner and Michael Schrefl",
  title =        "Behavior Consistent Inheritance in {UML}",
  pages =        "527--542",
  booktitle =    "Conceptual Modeling - ER 2000, 19th International
                  Conference on Conceptual Modeling, Salt Lake City, Utah,
                  USA, October 9-12, 2000, Proceedings",
  editor =       "Alberto H. F. Laender and Stephen W. Liddle and Veda C.
                  Storey",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1920",
  year =         "2000",
}

@InProceedings{MotschnigPitrik:2000:ER,
  author =       "Renate Motschnig-Pitrik",
  title =        "The Viewpoint Abstraction in Object-Oriented Modeling and
                  the {UML}",
  pages =        "543--557",
  booktitle =    "Conceptual Modeling - ER 2000, 19th International
                  Conference on Conceptual Modeling, Salt Lake City, Utah,
                  USA, October 9-12, 2000, Proceedings",
  editor =       "Alberto H. F. Laender and Stephen W. Liddle and Veda C.
                  Storey",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1920",
  year =         "2000",
}

@InProceedings{Conrad:2000:ER,
  author =       "Rainer Conrad and Dieter Scheffner and Johann Christoph
                  Freitag",
  title =        "{XML} Conceptual Modeling Using {UML}",
  pages =        "558--571",
  booktitle =    "Conceptual Modeling - ER 2000, 19th International
                  Conference on Conceptual Modeling, Salt Lake City, Utah,
                  USA, October 9-12, 2000, Proceedings",
  editor =       "Alberto H. F. Laender and Stephen W. Liddle and Veda C.
                  Storey",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1920",
  year =         "2000",
}

@Proceedings{NN:2000:APSEC,
  title =        "Proceedings of APSEC 2000",
  year =         "2000",
  editor =       "N.N.",
  publisher =    "IEEE Computer Society",
}

@InProceedings{Li:2000:APSEC,
  author =       "Xuandong Li and Johan Lilius",
  title =        "Checking Compositions of {UML} Sequence Diagrams for
                  Timing Inconsistency",
  booktitle =    "Proceedings of APSEC 2000",
  editor =       "N.N.",
  publisher =    "IEEE Computer Society",
  year =         "2000",
}

@InProceedings{Krishnan:2000:APSEC,
  author =       "Padmanabhan Krishnan",
  title =        "Consistency Checks for {UML}",
  booktitle =    "Proceedings of APSEC 2000",
  editor =       "N.N.",
  publisher =    "IEEE Computer Society",
  year =         "2000",
}

@InProceedings{Lau:2000:APSEC,
  author =       "Kung-Kiu Lau and Juliana K{\"u}ster Filipe and M. Ornaghi
                  and K. Taguchi and H. Yatsu and Alan Cameron Wills",
  title =        "Formal Specification of {Catalysis} Frameworks",
  booktitle =    "Proceedings of APSEC 2000",
  editor =       "N.N.",
  publisher =    "IEEE Computer Society",
  year =         "2000",
}

@InProceedings{Tsumaki:2000:APSEC,
  author =       "Toshihiko Tsumaki and Yoshitomi Morisawa",
  title =        "A Framework of Requirements Tracing using {UML}",
  booktitle =    "Proceedings of APSEC 2000",
  editor =       "N.N.",
  publisher =    "IEEE Computer Society",
  year =         "2000",
}

@InProceedings{Kim:2000:APSEC,
  author =       "Soon-Kyeong Kim and David Carrington",
  title =        "An Integrated Framework with {UML} and {Object-Z} for
                  Developing a Precise Specification",
  booktitle =    "Proceedings of APSEC 2000",
  editor =       "N.N.",
  publisher =    "IEEE Computer Society",
  year =         "2000",
}

@Proceedings{Bertino:2000:ECOOP,
  title =        "Proceedings of ECOOP 2000",
  year =         "2000",
  editor =       "E. Bertino",
  volume =       "1850",
  series =       "LNCS",
  publisher =    "Springer",
  isbn =         "3-540-67660-0",
}

@InProceedings{Damm:2000:ECOOP,
  author =       "Christian Heide Damm and Klaus Marius Hansen and Michael
                  Thomsen and Michael Tyrsted",
  title =        "Creative Object-Oriented Modelling: Support for
                  Intuition, Flexibility, and Collaboration in {CASE}
                  Tools",
  pages =        "27--43",
  booktitle =    "Proceedings of ECOOP 2000",
  editor =       "E. Bertino",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1850",
  year =         "2000",
}

@InProceedings{Froehlich,
  author =       "Peter Fr{\"o}hlich and Johannes Link",
  title =        "Automated Test Case Generation from Dynamic Models",
  pages =        "472--491",
  booktitle =    "Proceedings of ECOOP 2000",
  editor =       "E. Bertino",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1850",
  year =         "2000",
}

@InProceedings{Sunye:2000:ECOOP,
  author =       "Gerson Suny{\'e} and Alain Le Guennec and Jean-Marc
                  J{\'e}z{\'e}quel",
  title =        "Design Patterns Application in {UML}",
  pages =        "44--62",
  booktitle =    "Proceedings of ECOOP 2000",
  editor =       "E. Bertino",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1850",
  year =         "2000",
}

@InProceedings{Fontoura:2000:ECOOP,
  author =       "Marcus Fontoura and Wolfgang Pree and Bernhard Rumpe",
  title =        "{UML-F}: {A} Modeling Language for Object-Oriented
                  Frameworks",
  pages =        "63--82",
  booktitle =    "Proceedings of ECOOP 2000",
  editor =       "E. Bertino",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1850",
  year =         "2000",
}

@Proceedings{TBA:1999:ICSSEA99,
  title =        "Proceedings of ICSSEA'99",
  year =         "1999",
  editor =       "TBA",
  publisher =    "TBA",
}

@InProceedings{Valdeon:1999:ICSSEA99,
  author =       "J. M. Canete Valdeon and F. Galan Morillo and M. Toro
                  Bonilla",
  title =        "Filling the gap between specification and implementation
                  of software systems by an executable code generator of
                  {UML}/{OCL} models",
  booktitle =    "Proceedings of ICSSEA'99",
  editor =       "TBA",
  publisher =    "TBA",
  year =         "1999",
}

@InProceedings{Martin:1999:ICSSEA99,
  author =       "H. Martin",
  title =        "Using test hypotheses to build a {UML} model of
                  object-oriented smart card applications",
  booktitle =    "Proceedings of ICSSEA'99",
  editor =       "TBA",
  publisher =    "TBA",
  year =         "1999",
}

@InProceedings{Dossick:1999:ICSSEA99,
  author =       "S. Dossick and D. N. Port",
  title =        "Extending {UML} across the complete software engineering
                  cycle",
  booktitle =    "Proceedings of ICSSEA'99",
  editor =       "TBA",
  publisher =    "TBA",
  year =         "1999",
}

@InProceedings{Araujo:1999:ICSSEA99,
  author =       "Jo{\~a}o Ara{\'u}jo and Ana Moreira",
  title =        "Specifying persistence, class views and excluding classes
                  for {UML}",
  booktitle =    "Proceedings of ICSSEA'99",
  editor =       "TBA",
  publisher =    "TBA",
  year =         "1999",
}

@InProceedings{Canals:1999:ICSSEA99,
  author =       "Agusti Canals",
  title =        "Use of {UML/CS} {SI} development process",
  booktitle =    "Proceedings of ICSSEA'99",
  editor =       "TBA",
  publisher =    "TBA",
  year =         "1999",
}

@Proceedings{Mingins:1999:TOOLSP,
  title =        "Proceedings of TOOLS Pacific 1999",
  year =         "1999",
  editor =       "Christine Mingins",
  publisher =    "IEEE Computer Society",
  isbn =         "0-7695-0462-0",
}

@InProceedings{Cook:1999:TOOLSP,
  author =       "Steve Cook and Anneke Kleppe and Richard Mitchell and
                  Bernhard Rumpe and Jos Warmer and Alan Cameron Wills",
  title =        "Defining {UML} Family Members Using Prefaces",
  booktitle =    "Proceedings of TOOLS Pacific 1999",
  editor =       "Christine Mingins",
  publisher =    "IEEE Computer Society",
  year =         "1999",
}

@InProceedings{Barbier:1999:TOOLSP,
  author =       "Franck Barbier and Brian Henderson-Sellers",
  title =        "Object Metamodelling of the Whole-Part Relationship",
  booktitle =    "Proceedings of TOOLS Pacific 1999",
  editor =       "Christine Mingins",
  publisher =    "IEEE Computer Society",
  year =         "1999",
}

@InProceedings{Price:1999:TOOLSP,
  author =       "Rosanne Price and Bala Srinivasan and Kotagiri
                  Ramamohanarao",
  title =        "Extending the Unified Modeling Language to Support
                  Spatiotemporal Applications",
  booktitle =    "Proceedings of TOOLS Pacific 1999",
  editor =       "Christine Mingins",
  publisher =    "IEEE Computer Society",
  year =         "1999",
}

@InProceedings{Favre:1999:TOOLSP,
  author =       "Liliana Favre and Silvia Cl{\'e}rici",
  title =        "Integrating {UML} and Algebraic Specification
                  Techniques",
  booktitle =    "Proceedings of TOOLS Pacific 1999",
  editor =       "Christine Mingins",
  publisher =    "IEEE Computer Society",
  year =         "1999",
}

@Proceedings{Schnieder:1999:EKA,
  title =        "Proceedings of The 6th Symposium on Development and
                  Operation of Complex Automation Systems",
  year =         "1999",
  editor =       "E. Schnieder",
}

@InProceedings{Bender:1999:EKA,
  author =       "K. Bender and J. Albert",
  title =        "{UML}-Basierte Beschreibungssprache zur hybriden
                  Maschinenmodellierung",
  booktitle =    "Proceedings of The 6th Symposium on Development and
                  Operation of Complex Automation Systems",
  editor =       "E. Schnieder",
  year =         "1999",
}

@InProceedings{Gehrke:1999:EKA,
  author =       "Thomas Gehrke and Ursula Goltz and Heike Wehrheim",
  title =        "Zur semantischen Analyse der dynamischen Modelle von
                  {UML} mit Petri-Netzen",
  booktitle =    "Proceedings of The 6th Symposium on Development and
                  Operation of Complex Automation Systems",
  editor =       "E. Schnieder",
  year =         "1999",
}

@Proceedings{Andrade:1998:OOPSLA98UMLPROC,
  title =        "Proceedings of the OOPSLA'98 Workshop on Formalizing UML.
                  Why? How?",
  year =         "1998",
  editor =       "Luis Andrade and Ana Moreira and Akash Deshpande and
                  Stuart Kent",
}

@InProceedings{Hamie:1998:OOPSLAWS,
  author =       "Ali Hamie",
  title =        "A Formal Semantics for Checking and Analysing {UML}
                  Models",
  booktitle =    "Proceedings of the OOPSLA'98 Workshop on Formalizing UML.
                  Why? How?",
  editor =       "Luis Andrade and Ana Moreira and Akash Deshpande and
                  Stuart Kent",
  year =         "1998",
}

@InProceedings{Evans:1998:OOPSLAWS,
  author =       "Andy Evans",
  title =        "Making {UML} Precise",
  booktitle =    "Proceedings of the OOPSLA'98 Workshop on Formalizing UML.
                  Why? How?",
  editor =       "Luis Andrade and Ana Moreira and Akash Deshpande and
                  Stuart Kent",
  year =         "1998",
}

@InProceedings{Bruel:1998:OOPSLAWS,
  author =       "Jean-Michel Bruel",
  title =        "Transforming {UML} Models to Formal Specifications",
  booktitle =    "Proceedings of the OOPSLA'98 Workshop on Formalizing UML.
                  Why? How?",
  editor =       "Luis Andrade and Ana Moreira and Akash Deshpande and
                  Stuart Kent",
  year =         "1998",
}

@InProceedings{Astesiano:1998:OOPSLAWS,
  author =       "Egidio Astesiano",
  title =        "{UML} as Heterogeneous Multiview Notation Strategies for
                  a Formal Foundation",
  booktitle =    "Proceedings of the OOPSLA'98 Workshop on Formalizing UML.
                  Why? How?",
  editor =       "Luis Andrade and Ana Moreira and Akash Deshpande and
                  Stuart Kent",
  year =         "1998",
}

@InProceedings{Angster:1998:OOPSLAWS,
  author =       "Erzs{\'e}bet Angster",
  title =        "My Experiences with {UML} in Teaching {OO} Techniques",
  booktitle =    "Proceedings of the OOPSLA'98 Workshop on Formalizing UML.
                  Why? How?",
  editor =       "Luis Andrade and Ana Moreira and Akash Deshpande and
                  Stuart Kent",
  year =         "1998",
}

@InProceedings{Artim:1998:OOPSLAWS,
  author =       "John M. Artim",
  title =        "One Approach to the Use of {UML} in User Interface Design
                  and {OO} Development",
  booktitle =    "Proceedings of the OOPSLA'98 Workshop on Formalizing UML.
                  Why? How?",
  editor =       "Luis Andrade and Ana Moreira and Akash Deshpande and
                  Stuart Kent",
  year =         "1998",
}

@InProceedings{Berkem:1998:OOPSLAWS,
  author =       "Birol Berkem",
  title =        "Formalizing a 'Bridge' from the {UML}'s Activity Diagram
                  toward Use Cases",
  booktitle =    "Proceedings of the OOPSLA'98 Workshop on Formalizing UML.
                  Why? How?",
  editor =       "Luis Andrade and Ana Moreira and Akash Deshpande and
                  Stuart Kent",
  year =         "1998",
}

@InProceedings{Baclawski:1998:OOPSLAWS,
  author =       "Kenneth Baclawski",
  title =        "{UML} Formalization: A Position Paper",
  booktitle =    "Proceedings of the OOPSLA'98 Workshop on Formalizing UML.
                  Why? How?",
  editor =       "Luis Andrade and Ana Moreira and Akash Deshpande and
                  Stuart Kent",
  year =         "1998",
}

@InProceedings{Gouveia:1998:OOPSLAWS,
  author =       "Jo{\~a}o Gouveia",
  title =        "The {OBLOG} Approach",
  booktitle =    "Proceedings of the OOPSLA'98 Workshop on Formalizing UML.
                  Why? How?",
  editor =       "Luis Andrade and Ana Moreira and Akash Deshpande and
                  Stuart Kent",
  year =         "1998",
}

@InProceedings{Lano:1998:OOPSLAWS,
  author =       "Kevin Lano",
  title =        "Defining Semantics for Rigorous Development in {UML}",
  booktitle =    "Proceedings of the OOPSLA'98 Workshop on Formalizing UML.
                  Why? How?",
  editor =       "Luis Andrade and Ana Moreira and Akash Deshpande and
                  Stuart Kent",
  year =         "1998",
}

@InProceedings{Muthiayen:1998:OOPSLAWS,
  author =       "Darmalingum Muthiayen",
  title =        "Formalizing {UML} for Rigorous Software Development",
  booktitle =    "Proceedings of the OOPSLA'98 Workshop on Formalizing UML.
                  Why? How?",
  editor =       "Luis Andrade and Ana Moreira and Akash Deshpande and
                  Stuart Kent",
  year =         "1998",
}

@InProceedings{Geisler:1998:OOPSLAWS,
  author =       "Robert Geisler",
  title =        "Precise {UML} Semantics Through Formal Metamodeling",
  booktitle =    "Proceedings of the OOPSLA'98 Workshop on Formalizing UML.
                  Why? How?",
  editor =       "Luis Andrade and Ana Moreira and Akash Deshpande and
                  Stuart Kent",
  year =         "1998",
}

@InProceedings{Araujo:1998:OOPSLAWS,
  author =       "Jo{\~a}o Ara{\'u}jo",
  title =        "Formalizing Sequence Diagrams",
  booktitle =    "Proceedings of the OOPSLA'98 Workshop on Formalizing UML.
                  Why? How?",
  editor =       "Luis Andrade and Ana Moreira and Akash Deshpande and
                  Stuart Kent",
  year =         "1998",
}

@InProceedings{Hay:1998:OOPSLAWS,
  author =       "Dave Hay",
  title =        "{UML} Misses the Boat",
  booktitle =    "Proceedings of the OOPSLA'98 Workshop on Formalizing UML.
                  Why? How?",
  editor =       "Luis Andrade and Ana Moreira and Akash Deshpande and
                  Stuart Kent",
  year =         "1998",
}

@InProceedings{EmdeBoas:1998:OOPSLAWS,
  author =       "Peter van Emde Boas",
  title =        "Formalizing {UML}; Misson Impossible?",
  booktitle =    "Proceedings of the OOPSLA'98 Workshop on Formalizing UML.
                  Why? How?",
  editor =       "Luis Andrade and Ana Moreira and Akash Deshpande and
                  Stuart Kent",
  year =         "1998",
}

@Proceedings{Hall:1999:HASEPROC,
  title =        "Proc. of the Fourth IEEE International Symposium on High
                  Assurance Systems Engineering",
  year =         "1999",
  editor =       "Raymond Paul and Catherine Meadows",
  publisher =    "IEEE",
}

@InProceedings{DalCin:1999:HASE,
  author =       "M. Dal Cin and G. Huszerl and K. Kosmidis",
  title =        "Evaluation of Safety-Critical Systems based on Guarded
                  Statecharts",
  booktitle =    "Proc. of the Fourth IEEE International Symposium on High
                  Assurance Systems Engineering",
  editor =       "Raymond Paul and Catherine Meadows",
  publisher =    "IEEE",
  year =         "1999",
}

@InProceedings{Gnesi:1999:HASE,
  author =       "S. Gnesi and Diego Latella and Mieke Massink",
  title =        "Model Checking {UML} Statechart Diagrams using {JACK}",
  booktitle =    "Proc. of the Fourth IEEE International Symposium on High
                  Assurance Systems Engineering",
  editor =       "Raymond Paul and Catherine Meadows",
  publisher =    "IEEE",
  year =         "1999",
}

@InProceedings{McUmber:1999:HASE,
  author =       "W. E. McUmber and Betty H. C. Cheng",
  title =        "{UML}-Based Analysis of Embedded Systems Using a Mapping
                  to {VHDL}",
  booktitle =    "Proc. of the Fourth IEEE International Symposium on High
                  Assurance Systems Engineering",
  editor =       "Raymond Paul and Catherine Meadows",
  publisher =    "IEEE",
  year =         "1999",
}

@InProceedings{Bondavalli:1999:HASE,
  author =       "A. Bondavalli and I. Majzik and I. Mura",
  title =        "Automatic Dependability Analysis for Supporting Design
                  Decisions in {UML}",
  booktitle =    "Proc. of the Fourth IEEE International Symposium on High
                  Assurance Systems Engineering",
  editor =       "Raymond Paul and Catherine Meadows",
  publisher =    "IEEE",
  year =         "1999",
}

@Proceedings{Hall:1999:ASEPROC,
  title =        "Proc. of the 14th IEEE International Conference on
                  Automated Software Engineering, ASE'99",
  year =         "1999",
  editor =       "Robert J. Hall and Ernst Tyugu",
  publisher =    "IEEE",
}

@InProceedings{Bose:1999:ASE,
  author =       "Prasanta Bose",
  title =        "Automated Translation of {UML} Models of Architectures
                  for Verification and Simulation Using {SPIN}",
  booktitle =    "Proc. of the 14th IEEE International Conference on
                  Automated Software Engineering, ASE'99",
  editor =       "Robert J. Hall and Ernst Tyugu",
  publisher =    "IEEE",
  year =         "1999",
}

@InProceedings{Paltor:1999:ASE,
  author =       "Ivan Porres Paltor and Johan Lilius",
  title =        "{vUML}: A Tool for Verifying {UML} Models",
  booktitle =    "Proc. of the 14th IEEE International Conference on
                  Automated Software Engineering, ASE'99",
  editor =       "Robert J. Hall and Ernst Tyugu",
  publisher =    "IEEE",
  year =         "1999",
}

@InProceedings{Jezequel:1999:ASE,
  author =       "Jean-Marc J{\'e}z{\'e}quel and Wai-Ming Ho and Alain Le
                  Guennec and Fran{\c{c}}ois Pennaneac'h",
  title =        "{UMLAUT}: an Extendible {UML} Transformation Framework",
  booktitle =    "Proc. of the 14th IEEE International Conference on
                  Automated Software Engineering, ASE'99",
  editor =       "Robert J. Hall and Ernst Tyugu",
  publisher =    "IEEE",
  year =         "1999",
}

@Proceedings{TBA:2000:EDOCPROC,
  title =        "Proc. of The 4th International Enterprise Distributed
                  Object Computing Conference",
  year =         "2000",
  editor =       "TBA",
  publisher =    "IEEE",
}

@InProceedings{Presso:2000:EDOC,
  author =       "M. J. Presso and G. Raymond and M. Belaunde",
  title =        "{PILOTE}: A Tool Suite to Support {UML}-based Engineering
                  Processes",
  booktitle =    "Proc. of The 4th International Enterprise Distributed
                  Object Computing Conference",
  editor =       "TBA",
  publisher =    "IEEE",
  year =         "2000",
}

@Proceedings{Atkinson:1999:EDOCPROC,
  title =        "Proc. of The 3rd International Conference on Enterprise
                  Distributed Object Computing",
  year =         "1999",
  editor =       "Colin Atkinson",
  publisher =    "IEEE",
}

@InProceedings{Blanc:1999:EDOC,
  author =       "Xavier Blanc and Marie-Pierre Gervais and Raymonde
                  Le-Delliou",
  title =        "Using the {UML} Language to Express the {ODP} Enterprise
                  Concepts",
  booktitle =    "Proc. of The 3rd International Conference on Enterprise
                  Distributed Object Computing",
  editor =       "Colin Atkinson",
  publisher =    "IEEE",
  year =         "1999",
}

@InProceedings{Cornily:1999:EDOC,
  author =       "J-M. Cornily",
  title =        "Specifying Distributed Object Applications Using the
                  Reference Model for Open Distributed Processing and the
                  Unified Modeling Language",
  booktitle =    "Proc. of The 3rd International Conference on Enterprise
                  Distributed Object Computing",
  editor =       "Colin Atkinson",
  publisher =    "IEEE",
  year =         "1999",
}

@InProceedings{Aagedal:1999:EDOC,
  author =       "Jan {\O}yvind Aagedal and Zoran Milosevic",
  title =        "{ODP} Enterprise Language: {UML} Perspective",
  booktitle =    "Proc. of The 3rd International Conference on Enterprise
                  Distributed Object Computing",
  editor =       "Colin Atkinson",
  publisher =    "IEEE",
  year =         "1999",
}

@InProceedings{Linington:1999:EDOC,
  author =       "Peter F. Linington",
  title =        "Options for Expressing {ODP} Enterprise Communities and
                  Their Policies by Using {UML}",
  booktitle =    "Proc. of The 3rd International Conference on Enterprise
                  Distributed Object Computing",
  editor =       "Colin Atkinson",
  publisher =    "IEEE",
  year =         "1999",
}

@Proceedings{Kobryn:1998:EDOCPROC,
  title =        "Proceedings of The Second International Enterprise
                  Distributed Object Computing Workshop",
  year =         "1998",
  editor =       "Cris Kobryn",
  publisher =    "IEEE",
  isbn =         "0-7803-5158-4",
}

@InProceedings{Oldevik:1998:EDOC,
  author =       "Jon Oldevik and Arne J. Berre",
  title =        "{UML}-based Methodology for Distributed Systems",
  booktitle =    "Proceedings of The Second International Enterprise
                  Distributed Object Computing Workshop",
  editor =       "Cris Kobryn",
  publisher =    "IEEE",
  year =         "1998",
}

@InProceedings{Kobryn:1998:EDOC,
  author =       "Cris Kobryn",
  title =        "Modeling Enterprise Software Architectures Using {UML}",
  booktitle =    "Proceedings of The Second International Enterprise
                  Distributed Object Computing Workshop",
  editor =       "Cris Kobryn",
  publisher =    "IEEE",
  year =         "1998",
}

@InProceedings{Iyengar:1998:EDOC,
  author =       "Sridhar Iyengar",
  title =        "A Universal Repository Architecture Using {OMG} {UML} and
                  {MOF}",
  booktitle =    "Proceedings of The Second International Enterprise
                  Distributed Object Computing Workshop",
  editor =       "Cris Kobryn",
  publisher =    "IEEE",
  year =         "1998",
}

@InProceedings{Schader:1998:EDOC,
  author =       "Martin Schader and Axel Korthaus",
  title =        "Modeling Business Processes as Part of the {BOOSTER}
                  Approach to Business Object-Oriented Systems Development
                  Based on {UML}",
  booktitle =    "Proceedings of The Second International Enterprise
                  Distributed Object Computing Workshop",
  editor =       "Cris Kobryn",
  publisher =    "IEEE",
  year =         "1998",
}

@InProceedings{Loos:1998:EDOC,
  author =       "Peter Loos and Thomas Allweyer",
  title =        "Object Orientation in Business Process Reengineering
                  through Applying Event Driven Process Chains ({EPC}) in
                  {UML}",
  booktitle =    "Proceedings of The Second International Enterprise
                  Distributed Object Computing Workshop",
  editor =       "Cris Kobryn",
  publisher =    "IEEE",
  year =         "1998",
}

@Proceedings{Kilov:1998:TRI9813,
  title =        "Proceedings Second ECOOP Workshop on Precise Behavioral
                  Semantics (with an Emphasis on OO Business
                  Specifications)",
  year =         "1998",
  editor =       "Haim Kilov and Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9813",
}

@InProceedings{Berkem:1998:ECOOPWSPBS,
  author =       "Birol Berkem",
  title =        "Traceability Management from `Business Processes' to `Use
                  Cases'",
  pages =        "15--24",
  booktitle =    "Proceedings Second ECOOP Workshop on Precise Behavioral
                  Semantics (with an Emphasis on OO Business
                  Specifications)",
  editor =       "Haim Kilov and Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9813",
  year =         "1998",
}

@InProceedings{Lano:1998:ECOOPWSPBS,
  author =       "Kevin Lano and Juan Bicarregui",
  title =        "Formalising the {UML} in Structured Temporal Theories",
  pages =        "105--121",
  booktitle =    "Proceedings Second ECOOP Workshop on Precise Behavioral
                  Semantics (with an Emphasis on OO Business
                  Specifications)",
  editor =       "Haim Kilov and Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9813",
  year =         "1998",
}

@InProceedings{Pons:1998:ECOOPWSPBS,
  author =       "Claudia Pons and Gabriel Baum and Miguel Felder",
  title =        "Integrating Object-Oriented Model with Object-Oriented
                  Metamodel into a Single Formalism",
  pages =        "155--167",
  booktitle =    "Proceedings Second ECOOP Workshop on Precise Behavioral
                  Semantics (with an Emphasis on OO Business
                  Specifications)",
  editor =       "Haim Kilov and Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9813",
  year =         "1998",
}

@InProceedings{Rumpe:1998:ECOOPWSPBS,
  author =       "Bernhard Rumpe",
  title =        "A Note on Semantics (with an Emphasis on {UML})",
  pages =        "177--197",
  booktitle =    "Proceedings Second ECOOP Workshop on Precise Behavioral
                  Semantics (with an Emphasis on OO Business
                  Specifications)",
  editor =       "Haim Kilov and Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9813",
  year =         "1998",
}

@InProceedings{Simons:1998:ECOOPWSPBS,
  author =       "Anthony Simons",
  title =        "37 Things that Don't Work in Object-Oriented Modelling
                  with {UML}",
  pages =        "209--232",
  booktitle =    "Proceedings Second ECOOP Workshop on Precise Behavioral
                  Semantics (with an Emphasis on OO Business
                  Specifications)",
  editor =       "Haim Kilov and Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9813",
  year =         "1998",
}

@InProceedings{Wieringa:1998:ECOOPWSPBS,
  author =       "Roel Wieringa",
  title =        "Formalizing the {UML} in a Systems Engineering Approach",
  pages =        "254--266",
  booktitle =    "Proceedings Second ECOOP Workshop on Precise Behavioral
                  Semantics (with an Emphasis on OO Business
                  Specifications)",
  editor =       "Haim Kilov and Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9813",
  year =         "1998",
}

@Proceedings{Broy:1998:TRI9803,
  title =        "Proceedings PSMT'98 Workshop on Precise Semantics for
                  Modeling Techniques",
  year =         "1998",
  editor =       "Manfred Broy and Derek Coleman and Tom S. E. Maibaum and
                  Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9803",
}

@InProceedings{Gogolla:1998:PSMT,
  author =       "Martin Gogolla and Francesco Parisi-Presicce",
  title =        "State Diagrams in {UML}: A Formal Semantics using Graph
                  Transformations",
  booktitle =    "Proceedings PSMT'98 Workshop on Precise Semantics for
                  Modeling Techniques",
  editor =       "Manfred Broy and Derek Coleman and Tom S. E. Maibaum and
                  Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9803",
  year =         "1998",
}

@InProceedings{Mens:1998:PSMT,
  author =       "Tom Mens and Patrick Steyart and Carine Lucas",
  title =        "Giving Precise Semantics to Reuse and Evolution in
                  {UML}",
  booktitle =    "Proceedings PSMT'98 Workshop on Precise Semantics for
                  Modeling Techniques",
  editor =       "Manfred Broy and Derek Coleman and Tom S. E. Maibaum and
                  Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9803",
  year =         "1998",
}

@InProceedings{Overgaard:1998:PSMT,
  author =       "Gunnar {\"O}vergaard",
  title =        "A Formal Approach to Relationships in The {Unified}
                  {Modeling} {Language}",
  booktitle =    "Proceedings PSMT'98 Workshop on Precise Semantics for
                  Modeling Techniques",
  editor =       "Manfred Broy and Derek Coleman and Tom S. E. Maibaum and
                  Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9803",
  year =         "1998",
}

@InProceedings{Wieringa:1998:PSMT,
  author =       "Roel Wieringa and Jan Broersen",
  title =        "A Minimal Transition System Semantics for Lightweight
                  Class- and Behavior Diagrams",
  booktitle =    "Proceedings PSMT'98 Workshop on Precise Semantics for
                  Modeling Techniques",
  editor =       "Manfred Broy and Derek Coleman and Tom S. E. Maibaum and
                  Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9803",
  year =         "1998",
}

@Proceedings{Kilov:1997:TRI9737,
  title =        "Proceedings OOPSLA'97 Workshop on Object-oriented
                  Behavioral Semantics",
  year =         "1997",
  editor =       "Haim Kilov and Bernhard Rumpe and Ian Simmonds",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9737",
}

@InProceedings{France:1997:OOBS,
  author =       "Robert B. France and Andy Evans and Kevin Lano",
  title =        "The {UML} as a Formal Modeling Notation",
  pages =        "75--81",
  booktitle =    "Proceedings OOPSLA'97 Workshop on Object-oriented
                  Behavioral Semantics",
  editor =       "Haim Kilov and Bernhard Rumpe and Ian Simmonds",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9737",
  year =         "1997",
}

@InProceedings{Kent:1997:OOBS,
  author =       "Stuart Kent and Kevin Lano and Juan Bicarregui and Ali
                  Hamie and John Howse",
  title =        "Component Composition in Business and System Modeling",
  pages =        "91--97",
  booktitle =    "Proceedings OOPSLA'97 Workshop on Object-oriented
                  Behavioral Semantics",
  editor =       "Haim Kilov and Bernhard Rumpe and Ian Simmonds",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9737",
  year =         "1997",
}

@InProceedings{Saaltink:1997:OOBS,
  author =       "Mark Saaltink and Bran Selic",
  title =        "A Semantic Framework for Behavioural Specifications",
  pages =        "155--162",
  booktitle =    "Proceedings OOPSLA'97 Workshop on Object-oriented
                  Behavioral Semantics",
  editor =       "Haim Kilov and Bernhard Rumpe and Ian Simmonds",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9737",
  year =         "1997",
}

@Proceedings{Kilov:1997:TRI9725,
  title =        "Proceedings ECOOP'97 Workshop on Precise Semantics for
                  Object-Oriented Modeling Techniques",
  year =         "1997",
  editor =       "Haim Kilov and Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9725",
}

@InProceedings{Bezivin:1997:PSOOMT,
  author =       "Jean Bezivin and Richard Lemesle",
  title =        "Ontology-based Layered Semantics for Precise {OA\&D}
                  Modeling",
  pages =        "31--37",
  booktitle =    "Proceedings ECOOP'97 Workshop on Precise Semantics for
                  Object-Oriented Modeling Techniques",
  editor =       "Haim Kilov and Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9725",
  year =         "1997",
}

@InProceedings{Bicarregui:1997:PSOOMT,
  author =       "Juan Bicarregui and Kevin Lano and Tom Maibaum",
  title =        "Formalising Object-Oriented Models in the Object
                  Calculus",
  pages =        "45--51",
  booktitle =    "Proceedings ECOOP'97 Workshop on Precise Semantics for
                  Object-Oriented Modeling Techniques",
  editor =       "Haim Kilov and Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9725",
  year =         "1997",
}

@InProceedings{Breu:1997:PSOOMT,
  author =       "Ruth Breu and Radu Grosu and Franz Huber and Bernhard
                  Rumpe and Wolfgang Schwerin",
  title =        "Towards a Precise Semantics for Object-Oriented Modeling
                  Techniques",
  pages =        "53--59",
  booktitle =    "Proceedings ECOOP'97 Workshop on Precise Semantics for
                  Object-Oriented Modeling Techniques",
  editor =       "Haim Kilov and Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9725",
  year =         "1997",
}

@InProceedings{France:1997:PSOOMT,
  author =       "Robert B. France and Jean-Michel Bruel",
  title =        "Integrated Informal Object-Oriented and Formal Modeling
                  Techniques",
  pages =        "83--89",
  booktitle =    "Proceedings ECOOP'97 Workshop on Precise Semantics for
                  Object-Oriented Modeling Techniques",
  editor =       "Haim Kilov and Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9725",
  year =         "1997",
}

@InProceedings{Kent:1997:PSOOMT,
  author =       "Stuart Kent and Ali Hamie and John Howse and Franco
                  Civello and Richard Mitchell",
  title =        "Semantics through Pictures: Towards a Diagrammatic
                  Semantics for {OO} Modeling Notations",
  pages =        "91--100",
  booktitle =    "Proceedings ECOOP'97 Workshop on Precise Semantics for
                  Object-Oriented Modeling Techniques",
  editor =       "Haim Kilov and Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9725",
  year =         "1997",
}

@InProceedings{Trauter:1997:PSOOMT,
  author =       "Roland Trauter",
  title =        "A First Review of {UML}",
  pages =        "165--166",
  booktitle =    "Proceedings ECOOP'97 Workshop on Precise Semantics for
                  Object-Oriented Modeling Techniques",
  editor =       "Haim Kilov and Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9725",
  year =         "1997",
}

@InProceedings{Warmer:1997:PSOOMT,
  author =       "Jos Warmer and John Hogg and Steve Cook and Bran Selic",
  title =        "Experience with Formal Specification of {CMM} and {UML}",
  pages =        "167--171",
  booktitle =    "Proceedings ECOOP'97 Workshop on Precise Semantics for
                  Object-Oriented Modeling Techniques",
  editor =       "Haim Kilov and Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9725",
  year =         "1997",
}

@Proceedings{UML-Workshop:1997:Proc,
  title =        "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  year =         "1998",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  isbn =         "3-7908-1105-X",
}

@InProceedings{Flatscher:1998:EUM,
  author =       "Rony Flatscher",
  title =        "Exchange of {UML}-Models with {EIA/CDIF}",
  pages =        "3--13",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@InProceedings{Frank:1998:OOML,
  author =       "Ulrich Frank",
  title =        "Object-Oriented Modeling Languages: State of the Art and
                  Open Research Questions",
  pages =        "14--31",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@InProceedings{KernBausch:1998:SIFCSUM,
  author =       "Lore Kern-Bausch and Mario Jeckle",
  title =        "From a Semantically Irreducible Formulated Conceptual
                  Schema to an {UML} Model",
  pages =        "32--44",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@InProceedings{Ou:1998:MUERM,
  author =       "Yongzhen Ou",
  title =        "On Mapping Between {UML} and Entity-Relationship Model",
  pages =        "45--57",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@InProceedings{Prasse:1998:EOOML,
  author =       "Michael Prasse",
  title =        "Evaluation of Object-Oriented Modelling Languages: A
                  Comparison Between {OML} and {UML}",
  pages =        "58--75",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@InProceedings{Bergner:1998:CLU,
  author =       "Klaus Bergner and Andreas Rausch and Marc Sihling",
  title =        "A Critical Look upon {UML} 1.0",
  pages =        "79--92",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@InProceedings{Breu:1998:SVMU,
  author =       "Ruth Breu and Radu Grosu and Franz Huber and Bernhard
                  Rumpe and Wolfgang Schwerin",
  title =        "Systems, Views and Models of {UML}",
  pages =        "93--108",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@InProceedings{Gogolla:1998:CQU,
  author =       "Martin Gogolla and Mark Richters",
  title =        "On Constraints and Queries in {UML}",
  pages =        "109--121",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@InProceedings{Schader:1998:MJTU,
  author =       "Martin Schader and Axel Korthaus",
  title =        "Modeling {Java} Threads in {UML}",
  pages =        "122--143",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@InProceedings{Schuerr:1998:FDUPC,
  author =       "Andy Sch{\"u}rr and Andreas Winter",
  title =        "Formal Definition of {UML}'s Package Concept",
  pages =        "144--159",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@InProceedings{Seemann:1998:USPLOOD,
  author =       "Jochen Seemann and J{\"u}rgen Wolff von Gudenberg",
  title =        "{UMLscript}: A Programming Language for Object-Oriented
                  Design",
  pages =        "160--169",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@InProceedings{Strahringer:1998:HISOOM,
  author =       "Susanne Strahringer",
  title =        "Ways of Handling and Interpreting Specialization in
                  Object-Oriented Modeling",
  pages =        "170--189",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@InProceedings{Weber:1998:RMDUICDM,
  author =       "Wolfgang Weber and Pierre Metz",
  title =        "Reuse of Models and Diagrams of the {UML} and
                  Implementation Concepts Regarding Dynamic Modeling",
  pages =        "190--203",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@InProceedings{Holz:1998:AUNTA,
  author =       "Eckhardt Holz",
  title =        "Application of {UML} Within the Scope of New
                  Telecommunication Architectures",
  pages =        "207--219",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@InProceedings{Korthaus:1998:UBOBSM,
  author =       "Axel Korthaus",
  title =        "Using {UML} for Business Object Based Systems Modeling",
  pages =        "220--237",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@InProceedings{MuellerEttrich:1998:SDVMU,
  author =       "Gunter M{\"u}ller-Ettrich",
  title =        "System Development with {V-Model} and {UML}",
  pages =        "238--249",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@InProceedings{Nuettgens:1998:BPMEUTI,
  author =       "Markus N{\"u}ttgens and Thomas Feld and V. Zimmermann",
  title =        "Business Process Modeling with {EPC} and {UML}:
                  Transformation or Integration?",
  pages =        "250--261",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@InProceedings{Schroff:1998:CPUU,
  author =       "Andreas Schroff and A. Teichrieb",
  title =        "Conventions for the Practical Use of {UML}",
  pages =        "262--270",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@InProceedings{Wolf:1998:SEPU,
  author =       "Martin Wolf and Rainer Burkhardt and I. Philippow",
  title =        "Software Engineering Process with the {UML}",
  pages =        "271--280",
  booktitle =    "The Unified Modeling Language -- Technical Aspects and
                  Applications",
  editor =       "Martin Schader and Axel Korthaus",
  publisher =    "Physica-Verlag, Heidelberg",
  year =         "1998",
}

@Proceedings{UML-Workshop:1998:Proc,
  title =        "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  year =         "1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
}

@InProceedings{Hitz:1998:DUGPW,
  author =       "Martin Hitz and Gerti Kappel",
  title =        "Developing with {UML} - Goodies, Pitfalls, Workarounds",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Atkinson:1998:SAUCF,
  author =       "Colin Atkinson",
  title =        "Supporting and Applying the {UML} Conceptual Framework",
  pages =        "1--11",
  abstract =     "The Unified Modelling Language (UML) ostensibly assumes a
                  four level (meta) modelling framework, both for its
                  definition and for the conceptual context in which its
                  users operate. In practice, however, it is still
                  dominated by the traditional two level (model + data)
                  view of object modelling and neither supports nor applies
                  the four level framework properly. This not only
                  diminishes the clarity of the UML semantics, but
                  complicates the task of those users who do wish to fully
                  embrace a multi-level approach. After outlining the
                  characteristics of the intended conceptual framework, and
                  the problems resulting from the UML?s current two-level
                  bias, this paper presents three simple enhancements to
                  the UML which provide the required expressive power for
                  multi-level modelling. The paper then goes on to discuss
                  issues in the application of the conceptual framework
                  within the UML's own definition.",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Castellani:1998:OV11UCC,
  author =       "Xavier Castellani",
  title =        "An Overview of the Version 1.1 of the {UML} Defined with
                  Charts of Concepts",
  pages =        "13--24",
  abstract =     "The model of the UML is complex and its concepts are
                  numerous. We propose to represent the UML model with
                  charts of concepts to define overviews of this model.
                  These charts show definition dependencies between
                  concepts of the model of the UML. They allow to have a
                  good view of the concepts of the model of the UML and of
                  their dependencies. They also allow to define overviews
                  of concepts in this model. We present charts of concepts
                  of the version 1.1 of the UML that represent the
                  different kinds of basic concepts of the UML and its
                  diagrams. We propose a selection of concepts of these
                  charts that define an overview of the UML according to a
                  goal and criteria that we present.",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Morand:1998:MTIF,
  author =       "Bernard Morand",
  title =        "Does Modeling Consist in Turning Informal into Formal?",
  pages =        "25--32",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Allen:1998:PUWST,
  author =       "Paul Allen",
  title =        "Putting {UML} to Work: Strategies and Techniques",
  pages =        "33--43",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Arnold:1998:BBWMEU,
  author =       "Florian Arnold and Gerd Podehl",
  title =        "Best of Both Worlds - A Mapping from {EXPRESS-G} to
                  {UML}",
  pages =        "45--54",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Olive:1998:PRUER,
  author =       "Antoni Oliv{\'e} and Maria-Ribera Sancho",
  title =        "Porting {ROSES} to {UML} - An Experience Report",
  pages =        "55--64",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Suzuki:1998:MUMEOIXML,
  author =       "Junichi Suzuki and Yoshikazu Yamamoto",
  title =        "Making {UML} Models Exchangeable over the Internet with
                  {XML}: {UXF} Approach",
  pages =        "65--74",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Davis:1998:BUSC,
  author =       "Hugh Davis",
  title =        "Bridging {UML} and {STEP/EXPRESS} with {CDIF - Achieving
                  Interoperability of Object and Product Data Models}",
  pages =        "75--86",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Gogolla:1998:ERUCD,
  author =       "Martin Gogolla and Mark Richters",
  title =        "Equivalence Rules for {UML} Class Diagrams",
  pages =        "87--96",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Lano:1998:STUM,
  author =       "Kevin Lano and Juan Bicarregui",
  title =        "Semantics and Transformations for {UML} Models",
  pages =        "97--106",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Desfray:1998:AMTTU,
  author =       "Philippe Desfray",
  title =        "Automation of Design Pattern: Concepts, Tools and
                  Practices",
  pages =        "107--114",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Khriss:1998:ASUSDCD,
  author =       "Isma{\"\i}l Khriss and Mohammed Elkoutbi and Rudolf K.
                  Keller",
  title =        "Automating the Synthesis of {UML} Statechart Diagrams
                  from Multiple Collaboration Diagrams",
  pages =        "115--126",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Kleppe:1998:IFOCLAUM,
  author =       "Anneke Kleppe and Jos Warmer and Steve Cook",
  title =        "Informal Formality? The {Object Constraint Language} and
                  its Application in the {UML} Metamodel",
  pages =        "127--136",
  abstract =     "Within the field of object technology it is being
                  recognised that constraints are a good means to produce
                  more precise and formal specifications. One proof of this
                  is that UML incorporates a standard constraint language
                  called OCL (Object Constraint Language). The availability
                  of OCL to every user of UML will undoubtedly encourage
                  many people to add constraints to their UML models. This
                  paper explains this language and shows the wide
                  applicability of OCL, e.g. to express invariants, pre-
                  and post- conditions, and guards. Probably the largest
                  application of OCL to date was its use to define the
                  metamodel of UML, and the experiences gained in this
                  application of OCL will be discussed.",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Hamie:1998:UUCDOODD,
  author =       "Ali Hamie and Franco Civello and John Howse and Stuart
                  Kent and Richard Mitchell",
  title =        "Reflections on the {Object Constraint Language}",
  pages =        "137--145",
  abstract =     "The Object Constraint Language (OCL), which forms part of
                  the UML 1.1. set of modelling notations is a precise,
                  textual language for expressing constraints that can not
                  be shown diagramatically in UML.  This paper reflects on
                  aspects in the syntax and semantics of the OCL which are
                  ambiguous or missing from the OCL documentation,
                  including some minor extensions to the language itself
                  based on our experience of precise specification in an
                  object-oriented context. We use fragments of first order
                  predicate logic to illustrate the semantics of some of
                  the constructs of OCL.",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Ou:1998:SIC,
  author =       "Yongzhen Ou",
  title =        "On Using {UML} Class Diagram for Object-Oriented Database
                  Design - Specification of Integrity Constraints",
  pages =        "147--156",
  abstract =     "In the course of object-oriented software engineering,
                  the UML class diagrams are used to specify the static
                  structure of the system under study, such as classes,
                  types and various kinds of static relationships among
                  them. Objects of the persistent classes can be stored in
                  object-oriented databases or in relational databases. In
                  the former case, the UML class diagrams are actually used
                  for conceptual object-oriented database designs. However,
                  the standard UML class diagram lacks the ability to
                  specify some inherent integrity constraints, such as keys
                  and uniqueness, for object-oriented databases. This paper
                  proposes an extension to the UML metamodel, i.e., the
                  introduction of two new model elements (key and
                  IConstraint) and some new attributes to the existing
                  metamodel, to accommodate more constraint specification.
                  In the model level, a compartment CONSTRAINT to the class
                  notation and some property strings for displaying the
                  integrity constraints are added. The database design is
                  then mapped to the extended ODMG-ODL schema definition.",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Bernard:1998:UCUDPGP,
  author =       "Yves Bernard and Agusti Canals",
  title =        "Use of ``Cisi {UML} Development Process'' on {GEDYS}
                  Project",
  pages =        "157--164",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Emmerich:1998:LMCBKU,
  author =       "Jim Arlow and Wolfgang Emmerich and John Quinn",
  title =        "Literate Modelling - Capturing Business Knowledge with
                  the {UML}",
  pages =        "165--171",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Kande:1998:CSAPT,
  author =       "Mohamed Mancona Kand{\'e} and Shahrzade Mazaher and
                  Ognjen Prnjat and Lionel Sacks and Marcus Wittig",
  title =        "Applying {UML} to Design an Inter-Domain Service
                  Management Application - A Case Study Based on the {ACTS}
                  Project {TRUMPET}",
  pages =        "173--182",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Allweyer:1998:POUIEDPC,
  author =       "Thomas Allweyer and Peter Loos",
  title =        "Process Orientation in {UML} through Integration of
                  Event-Driven Process Chains",
  pages =        "183--193",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{McLeod:1998:EUEBPM,
  author =       "Graham McLeod",
  title =        "Extending {UML} for Enterprise and Business Process
                  Modeling",
  pages =        "195--204",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Korthaus:1998:BPSDPMIBOTU,
  author =       "Axel Korthaus and Stefan Kuhlins",
  title =        "{BOOSTER*}Process - A Software Development Process Model
                  Integrating Business Object Technology and {UML}",
  pages =        "205--214",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Bourdeau:1998:LMCBKU,
  author =       "E. Bourdeau and P. Lugagne and P. Roques",
  title =        "Hierarchical Context Diagrams with {UML} - An Experience
                  Report on Satellite Ground System Analysis",
  pages =        "215--224",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Seemann:1998:EUSDRTS,
  author =       "Jochen Seemann and J{\"u}rgen Wolff von Gudenberg",
  title =        "Extension of {UML} Sequence Diagrams for Real-Time
                  Systems",
  pages =        "225--233",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Kovacevic:1998:UUIM,
  author =       "Srdjan Kovacevic",
  title =        "{UML} and User Interface Modeling",
  pages =        "235--244",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Paech:1998:LMCBKU,
  author =       "Barbara Paech",
  title =        "On the Role of Activity Diagrams in {UML}",
  pages =        "245--250",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Hruby:1998:SDDU,
  author =       "Pavel Hruby",
  title =        "Structuring Design Deliverables with {UML}",
  pages =        "251--260",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Kivisto:1998:CSUSPM,
  author =       "Kari Kivisto",
  title =        "Considerations of and Suggestions for a {UML}-Specific
                  Process Model",
  pages =        "261--271",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Saksena:1998:ENAU,
  author =       "Monika Saksena and Maria Larrondo-Petrie and Robert B.
                  France and Matthew Evett",
  title =        "Extending Aggregation Constructs in {UML}",
  pages =        "273--280",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Mellor:1998:ALU,
  author =       "Stephen J. Mellor and Steve Tockey and Rodolphe Arthaud
                  and Philippe LeBlanc",
  title =        "Software-platform-independent, Precise Action
                  Specifications for {UML}",
  pages =        "281--286",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Lanusse:1998:AA,
  author =       "Agn{\`e}s Lanusse and S{\'e}bastien G{\'e}rard and
                  Fran{\c{c}}ois Terrier",
  title =        "Real-Time Modeling with {UML}: The {ACCORD} approach",
  pages =        "287--296",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Evans:1998:DUFML,
  author =       "Andy Evans and Robert B. France and Kevin Lano and
                  Bernhard Rumpe",
  title =        "Developing the {UML} as a Formal Modelling Notation",
  pages =        "297--307",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Overgaard:1998:FAUCR,
  author =       "Gunnar {\"O}vergaard and Karin Palmkvist",
  title =        "A Formal Approach to Use Cases and their Relationships",
  pages =        "309--317",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{HendersonSellers:1998:OPEU,
  author =       "Brian Henderson-Sellers",
  title =        "{OML}: Proposals to Enhance {UML}",
  pages =        "319--329",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Jezequel:1998:VDSMU,
  author =       "Jean-Marc J{\'e}z{\'e}quel and Alain Le Guennec and
                  Fran{\c{c}}ois Pennaneac'h",
  title =        "Validating Distributed Software Modeled with {UML}",
  pages =        "331--340",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Mens:1998:SREUM,
  author =       "Tom Mens and Carine Lucas and Patrick Steyart",
  title =        "Supporting Reuse and Evolution of {UML} Models",
  pages =        "341--350",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@InProceedings{Lester:1998:UUCSCRA,
  author =       "N. G. Lester and F. G. Wilkie and D. W. Bustard",
  title =        "Using {UML} to Categorise and Specify Criteria for
                  Reusable Artefacts",
  pages =        "351--358",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}

@Proceedings{UML98:1999:Proc,
  title =        "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  year =         "1999",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  volume =       "1618",
  series =       "LNCS",
  publisher =    "Springer",
  isbn =         "3-540-66252-9",
}

@InProceedings{Muller:1999:UML98,
  author =       "Pierre-Alain Muller",
  title =        "The Birth and Rise of a Standard Modeling Notation",
  pages =        "1--8",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Hitz:1999:UML98,
  author =       "Martin Hitz and Gerti Kappel",
  title =        "Developing with {UML} - Some Pitfalls and Workarounds",
  pages =        "9--20",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Atkinson:1999:UML98,
  author =       "Colin Atkinson",
  title =        "Supporting and Applying the {UML} Conceptual Framework",
  pages =        "21--36",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Morand:1999:UML98,
  author =       "Bernard Morand",
  title =        "Modeling: Is it Turning Informal into Formal?",
  pages =        "37--48",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Arnold:1999:UML98,
  author =       "Florian Arnold and Gerd Podehl",
  title =        "Best of Both Worlds - A Mapping from {EXPRESS-G} to
                  {UML}",
  pages =        "49--63",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Olive:1999:UML98,
  author =       "Antoni Oliv{\'e} and Maria-Ribera Sancho",
  title =        "Porting {ROSES} to {UML} - An Experience Report",
  pages =        "64-77",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Suzuki:1999:UML98,
  author =       "Junichi Suzuki and Yoshikazu Yamamoto",
  title =        "Making {UML} Models Interoperable with {UXF}",
  pages =        "78--91",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Gogolla:1999:UML98,
  author =       "Martin Gogolla and Mark Richters",
  title =        "Transformation Rules for {UML} Class Diagrams",
  pages =        "92--106",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Lano:1999:UML98,
  author =       "Kevin Lano and Juan Bicarregui",
  title =        "Semantics and Transformations for {UML} Models",
  pages =        "107--119",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Desfray:1999:UML98,
  author =       "Philippe Desfray",
  title =        "Automation of Design Pattern: Concepts, Tools and
                  Practices",
  pages =        "120--131",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Khriss:1999:UML98,
  author =       "Isma{\"\i}l Khriss and Mohammed Elkoutbi and Rudolf K.
                  Keller",
  title =        "Automating the Synthesis of {UML} {StateChart} Diagrams
                  from Multiple Collaboration Diagrams",
  pages =        "132--147",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Kleppe:1999:UML98,
  author =       "Anneke Kleppe and Jos Warmer and Steve Cook",
  title =        "Informal Formality? The {Object Constraint Language} and
                  Its Application in the {UML} Metamodel",
  pages =        "148--161",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Hamie:1999:UML98,
  author =       "Ali Hamie and Franco Civello and John Howse and Stuart
                  Kent and Richard Mitchell",
  title =        "Reflections on the {Object Constraint Language}",
  pages =        "162--172",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Ou:1999:UML98,
  author =       "Yongzhen Ou",
  title =        "On Using {UML} Class Diagram for Object-Oriented Database
                  Design -- Specification of Integrity Constraints",
  pages =        "173--188",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Arlow:1999:UML98,
  author =       "Jim Arlow and Wolfgang Emmerich and John Quinn",
  title =        "Literate Modelling - Capturing Business Knowledge with
                  the {UML}",
  pages =        "189--199",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Kande:1999:UML98,
  author =       "Mohamed Mancona Kand{\'e} and Shahrzade Mazaher and
                  Ognjen Prnjat and Lionel Sacks and Marcus Wittig",
  title =        "Applying {UML} to Design an Inter-Domain Service
                  Management Application",
  pages =        "200--214",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Korthaus:1999:UML98,
  author =       "Axel Korthaus and Stefan Kuhlins",
  title =        "{BOOSTER*}Process: A Software Development Process Model
                  Integrating Business Object Technology and {UML}",
  pages =        "215--226",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Bourdeau:1999:UML98,
  author =       "Eric Bourdeau and Philippe Lugagne and Pascal Roques",
  title =        "Hierarchical Context Diagrams with {UML}: An Experience
                  Report on Satellite Ground System Analysis",
  pages =        "227--239",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Seemann:1999:UML98,
  author =       "Jochen Seemann and J{\"u}rgen Wolff von Gudenberg",
  title =        "Extension of {UML} Sequence Diagrams for Real-Time
                  Systems",
  pages =        "240--252",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Kovacevic:1999:UML98,
  author =       "Srdjan Kovacevic",
  title =        "{UML} and User Interface Modeling",
  pages =        "253--266",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Paech:1999:UML98,
  author =       "Barbara Paech",
  title =        "On the Role of Activity Diagrams in {UML}: A User Task
                  Centered Development Process for {UML}",
  pages =        "267--277",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Hruby:1999:UML98,
  author =       "Pavel Hruby",
  title =        "Structuring {UML}Design Deliverables",
  pages =        "278--293",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Kivisto:1999:UML98,
  author =       "Kari Kivisto",
  title =        "Considerations of and Suggestions for a {UML}-Specific
                  Process Model",
  pages =        "294--306",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Mellor:1999:UML98,
  author =       "Stephen J. Mellor and Stephen R. Tockey and Rodolphe
                  Arthaud and Philippe LeBlanc",
  title =        "An Action Language for {UML}: Proposal for a Precise
                  Execution Semantics",
  pages =        "307--318",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Lanusse:1999:UML98,
  author =       "Agn{\`e}s Lanusse and S{\'e}bastien G{\'e}rard and
                  Fran{\c{c}}ois Terrier",
  title =        "Real-Time Modeling with {UML}: The {ACCORD} approach",
  pages =        "319--335",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Evans:1999:UML98,
  author =       "Andy Evans and Robert B. France and Kevin Lano and
                  Bernhard Rumpe",
  title =        "The {UML} as a Formal Modeling Notation",
  pages =        "336--348",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{HendersonSellers:1999:UML98,
  author =       "Brian Henderson-Sellers",
  title =        "{OML}: Proposals to Enhance {UML}",
  pages =        "349--364",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Jezequel:1999:UML98,
  author =       "Jean-Marc J{\'e}z{\'e}quel and Alain Le Guennec and
                  Fran{\c{c}}ois Pennaneac'h",
  title =        "Validating Distributed Software Modeled with the {Unified
                  Modeling Language}",
  pages =        "365--377",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Mens:1999:UML98,
  author =       "Tom Mens and Carine Lucas and Patrick Steyart",
  title =        "Supporting Disciplined Reuse and Evolution of {UML}
                  Models",
  pages =        "378--392",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Lester:1999:UML98,
  author =       "N. G. Lester and F. G. Wilkie and D. W. Bustard",
  title =        "Applying {UML} Extensions to Facilitate Software Reuse",
  pages =        "393--405",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Overgaard:1999:UML98,
  author =       "Gunnar {\"O}vergaard and Karin Palmkvist",
  title =        "A Formal Approach to Use Cases and Their Relationships",
  pages =        "406--418",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Allen:1999:UML98,
  author =       "Paul Allen",
  title =        "A Practical Framework for Applying {UML}",
  pages =        "419--433",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@InProceedings{Saksena:1999:UML98,
  author =       "Monika Saksena and Maria Larrondo-Petrie and Robert B.
                  France and Matthew Evett",
  title =        "Extending Aggregation Constructs in {UML}",
  pages =        "434--441",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}

@Proceedings{UML99:1999:Proc,
  title =        "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  year =         "1999",
  editor =       "Robert France and Bernhard Rumpe",
  volume =       "1723",
  series =       "LNCS",
  publisher =    "Springer",
}

@InProceedings{Egyed:1999:UML,
  author =       "Alexander Egyed and Nenad Medvidovic",
  title =        "Extending Architectural Representation in {UML} with View
                  Integration",
  pages =        "2--16",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{AbiAntoun:1999:UML,
  author =       "Marwan Abi-Antoun and Nenad Medvidovic",
  title =        "Enabling the Refinement of a Software Architecture into a
                  Design",
  pages =        "17--31",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Hilliard:1999:UML,
  author =       "Rich Hilliard",
  title =        "Using the {UML} for Architectural Description",
  pages =        "32--48",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{HendersonSellers:1999:UML1,
  author =       "Brian Henderson-Sellers and Colin Atkinson and Don
                  Firesmith",
  title =        "A {UML} Variant: {OML}",
  pages =        "49--66",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Paige:1999:UML,
  author =       "Richard F. Paige and Jonathan S. Ostroff",
  title =        "A Comparison of the Business Object Notation and the
                  Unified Modelling Language",
  pages =        "67--82",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Kim:1999:UML,
  author =       "Soon-Kyeong Kim and David Carrington",
  title =        "Formalizing the {UML} Class Diagram Using Object-Z",
  pages =        "83--98",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Overgaard:1999:UML,
  author =       "Gunnar {\"O}vergaard",
  title =        "A Formal Approach to Collaborations in the Unified
                  Modeling Language",
  pages =        "99--115",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Knapp:1999:UML,
  author =       "Alexander Knapp",
  title =        "A Formal Semantics for {UML} Interactions",
  pages =        "116--130",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Evans:1999:UML,
  author =       "Andy Evans and Stuart Kent",
  title =        "Core Meta-Modelling Semantics of {UML}: The {pUML}
                  Approach",
  pages =        "140--155",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Richters:1999:UML,
  author =       "Mark Richters and Martin Gogolla",
  title =        "A Metamodel for {OCL}",
  pages =        "156--171",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Racz:1999:UML,
  author =       "Ferenc Dosa Racz and Kai Koskimies",
  title =        "Tool-Supported Compressing of {UML} Class Diagrams",
  pages =        "172--187",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Belaunde:1999:UML,
  author =       "Mariano Belaunde",
  title =        "A Pragmatic Approach for Building a Flexible {UML} Model
                  Repository",
  pages =        "188--203",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Wienberg:1999:UML,
  author =       "Axel Wienberg and Florian Matthes and Marko Boger",
  title =        "Modeling Dynamic Software Components with {UML}",
  pages =        "204--219",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Suzuki:1999:UML,
  author =       "Junichi Suzuki and Yoshikazu Yamamoto",
  title =        "Extending {UML} for Modelling Reflective Software
                  Components",
  pages =        "220--235",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Dykman:1999:UML,
  author =       "Nathan Dykman and Martin Griss and Robert Kessler",
  title =        "Nine Suggestions for Improving {UML} Extensibility",
  pages =        "236--248",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Berner:1999:UML,
  author =       "Stefan Berner and Martin Glinz and Stefan Joos",
  title =        "A Classification of Stereotypes for Object-Oriented
                  Modeling Languages",
  pages =        "249--264",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Dsouza:1999:UML,
  author =       "Desmond D'Souza and Aamond Sane and Alan Birchenough",
  title =        "First-Class Extensibility for {UML}-Profiles,
                  Stereotypes, Patterns",
  pages =        "265--277",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Sendall:1999:UML,
  author =       "Shane Sendall and Alfred Strohmeier",
  title =        "{UML} Based Fusion Analysis Applied to a Bank Case
                  Study",
  pages =        "278--291",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Franch:1999:UML,
  author =       "Xavier Franch and Josep M. Ribo",
  title =        "Using {UML} for Software Process Modelling",
  pages =        "292--307",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Hruby:1999:UML,
  author =       "Pavel Hruby",
  title =        "Designing {UML} Based Development Processes",
  pages =        "308--323",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Herzberg:1999:UML,
  author =       "Dominikus Herzberg",
  title =        "{UML-RT} as a Candidate for Modeling Embedded Real-Time
                  Systems in the Telecommunication Domain",
  pages =        "330--338",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Kabous:1999:UML,
  author =       "Laila Kabous and Wolfgang Nebel",
  title =        "Modeling Hard Real Time Systems with {UML}",
  pages =        "339--355",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Kaehkipuro:1999:UML,
  author =       "Pekka K{\"a}hkipuro",
  title =        "UML Based Performance Modeling Framework for
                  Object-Oriented Distributed Systems",
  pages =        "356--371",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Cook:1999:UML,
  author =       "Steve Cook and Anneke Kleppe and Richard Mitchell and Jos
                  Warmer and Alan Cameron Wills",
  title =        "Defining the Context of {OCL} Expressions",
  pages =        "372--383",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Kent:1999:UML,
  author =       "Stuart Kent and John Howse",
  title =        "Mixing Visual and Textual Constraint Languages",
  pages =        "384--398",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Bidoit:1999:UML,
  author =       "Michel Bidoit and Rolf Hennicker and Francoise Tort and
                  Martin Wirsing",
  title =        "Correct Realization of Interface Constraints with {OCL}",
  pages =        "399--415",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Offutt:1999:UML,
  author =       "Jeff Offutt and Aynur Abdurazik",
  title =        "Generating Tests from {UML} Specifications",
  pages =        "416--429",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Lilius:1999:UML,
  author =       "Johan Lilius and Ivan Porres Paltor",
  title =        "Formalising {UML} State Machines for Model Checking",
  pages =        "430--445",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Sourrouille:1999:UML,
  author =       "Jean Louis Sourrouille",
  title =        "{UML} Behavior: Inheritance and Implementation in Current
                  Object-Oriented Languages",
  pages =        "457--472",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Engels:1999:UML,
  author =       "Gregor Engels and Roland H{\"u}cking and Stefan Sauer and
                  Annika Wagner",
  title =        "{UML} Collaboration Diagrams and their Transformation to
                  {Java}",
  pages =        "473--488",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Gogolla:1999:UML,
  author =       "Martin Gogolla and Oliver Radfelder and Mark Richters",
  title =        "Towards Three-Dimensional Animation of {UML} Diagrams",
  pages =        "489--502",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Clark:1999:UML,
  author =       "Tony Clark",
  title =        "Type Checking {UML} Static Diagrams",
  pages =        "503--517",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Back:1999:UML,
  author =       "Ralph-Johan Back and Luigia Petre and Ivan Porres
                  Paltor",
  title =        "Analysing {UML} Use Cases as Contracts",
  pages =        "518--533",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Giese:1999:UML,
  author =       "Holger Giese and J{\"o}rg Graf and Guido Wirtz",
  title =        "Closing the Gap Between Object-Oriented Modeling of
                  Structure and Behavior",
  pages =        "534--549",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{HendersonSellers:1999:UML2,
  author =       "Brian Henderson-Sellers and Franck Barbier",
  title =        "Black and White Diamonds",
  pages =        "550--565",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Andrade:1999:UML,
  author =       "Luis Filipe Andrade and Jose Luis Fiadeiro",
  title =        "Interconnecting Objects Via Contracts",
  pages =        "566--583",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Miller:1999:UML,
  author =       "Joaquin Miller and Rebecca Wirfs-Brock",
  title =        "How Can Anything be Both a Classifier and a Package?",
  pages =        "584--597",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Demuth:1999:UML,
  author =       "Birgit Demuth and Heinrich Hussmann",
  title =        "Using {UML}/{OCL} Constraints for Relational Database
                  Design",
  pages =        "598--613",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Baumeister:1999:UML,
  author =       "Hubert Baumeister and Nora Koch and Luis Mandel",
  title =        "Towards a {UML} Extension for Hypermedia Design",
  pages =        "614--629",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Demeyer:1999:UML,
  author =       "Serge Demeyer and Stephane Ducasse and Sander Tichelaar",
  title =        "Why Unified is not Universal? \-  {UML} Shortcomings for
                  Coping with Round-trip Engineering",
  pages =        "630--644",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Firley:1999:UML,
  author =       "Thomas Firley and Michaela Huhn and Karsten Diethers and
                  Thomas Gehrke and Ursula Goltz",
  title =        "Timed Sequence Diagrams and Tool-Based Analysis \-  A
                  Case Study",
  pages =        "645--660",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Li:1999:UML,
  author =       "Xuandong Li and Johan Lilius",
  title =        "Timing Analysis of {UML} Sequence Diagrams",
  pages =        "661--674",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Bunse:1999:UML,
  author =       "Christian Bunse and Colin Atkinson",
  title =        "The Normal Object Form: Bridging the Gap from Models to
                  Code",
  pages =        "675--690",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}

@InProceedings{Soundarajan:1999:UML,
  author =       "Neelam Soundarajan and Stephen Fridella",
  title =        "Modeling Exceptional Behavior",
  pages =        "691--705",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  vo