Publications of the University of Bremen Database Systems Group
Also available is a version of this
bibliography including abstracts. The complete bibliography is
available as a gzipped BibTeX file and uncompressed BibTeX file.
- [Akehurst et al., 2008]
- Dave
Akehurst, Martin Gogolla, and Steffen Zschaler, editors.
Proc. OCL4ALL - Modelling Systems with OCL,
http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/archive, 2008.
Electronic Communications of the EASST, Vol. 9.
Satellite Events at the MoDELS'2007 Conference.
- [Büttner et al., 2008]
- Fabian
Büttner, Mirco Kuhlmann, Martin Gogolla, Jens Dietrich, Frank, Andre
Pankratz, Alina Stosiek, and Alexander Salomon.
MDA Employed in a Joint eGovernment Strategy: An Experience Report.
In Terry Bailey, editor, Proc. 3rd ECMDA Workshop ``From Code Centric To
Model Centric Software Engineering'' (2008), http://www.esi.es/modelplex/c2m/program.php, 2008. European Software
Institute.
(13 pages, gzipped PostScript: 289kb via
HTTP,
FTP, uncompressed PostScript: 711kb via
HTTP,
FTP)
- [Dang, 2008]
- Duc-Hanh Dang.
Triple Graph Grammars and OCL for Validating System Behavior.
In Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, and Gabriele Taentzer,
editors, Proc. 4th Int. Conf. Graph
Transformations (ICGT'2008). Springer, Berlin, LNCS, 2008.
(3 pages, gzipped PostScript: 52kb via
HTTP,
FTP, uncompressed PostScript: 106kb via
HTTP,
FTP)
- [Gogolla et al., 2008a]
- Martin
Gogolla, Fabian Büttner, and Duc-Hanh Dang.
From Graph Transformation to OCL using USE.
In Andy Schürr, Manfred Nagl, and Albert Zündorf, editors, Proc.
3rd Int. Workshop Applications of Graph Transformation with Industrial
Relevance (AGTIVE '07). Springer, Berlin, LNCS 5088, 2008.
(2 pages, gzipped PostScript: 104kb via
HTTP,
FTP, uncompressed PostScript: 1693kb via
HTTP,
FTP)
- [Gogolla et al., 2008b]
- Martin
Gogolla, Fabian Büttner, and Mirco Kuhlmann.
System Modeling with USE (UML-based Specification Environment).
Genie Logiciel (French Software Engineering Journal), 2008.
ISSN 0295-6322.
(3 pages, gzipped PostScript: 175kb via
HTTP,
FTP, uncompressed PostScript: 528kb via
HTTP,
FTP)
- [Kuhlmann and Gogolla, 2008a]
- Mirco
Kuhlmann and Martin Gogolla.
Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational
Relationships.
Electronic Communications of the EASST,
http://eceasst.cs.tu-berlin.de/index.php/eceasst, 9, 2008.
UML/MoDELS Workshop on OCL (OCL4ALL'2007), 17 Pages.
(18 pages, gzipped PostScript: 744kb via
HTTP,
FTP, uncompressed PostScript: 4735kb via
HTTP,
FTP)
- [Kuhlmann and Gogolla, 2008b]
- Mirco
Kuhlmann and Martin Gogolla.
Modeling and Validating Mondex Scenarios Described in UML and OCL with USE.
Formal Aspects of Computing, 20(1):79-100, 2008.
(25 pages, gzipped PostScript: 726kb via
HTTP,
FTP, uncompressed PostScript: 28464kb via
HTTP,
FTP)
- [Kuske et al., 2008]
- Sabine Kuske, Martin
Gogolla, Hans-Jorg Kreowski, and Paul Ziemann.
Towards an Integrated Graph-Based Semantics for UML.
Journal on Software and System Modeling, 2008.
(19 pages, gzipped PostScript: 6533kb via
HTTP,
FTP, uncompressed PostScript: 10475kb via
HTTP,
FTP)
- [Sohr et al., 2008]
- Karsten Sohr, Michael
Drouineaud, Gail-Joon Ahn, and Martin Gogolla.
Analysing and Managing Role-Based Access Control Policies.
IEEE Transactions on Knowledge and Data Engineering, 2008.
Published online 13 March 2008. DOI 10.1109/TKDE.2008.28.
(14 pages, gzipped PostScript: 5437kb via
HTTP,
FTP, uncompressed PostScript: 24166kb via
HTTP,
FTP)
- [Varro et al., 2008]
- Daniel Varro, Mark
Asztalos, Denes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiss, Joel
Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis,
and Erhard Weinell.
Transformation of UML Models to CSP: A Case Study for Graph Transformation
Tools.
In Andy Schürr, Manfred Nagl, and Albert Zündorf, editors, Proc.
3rd Int. Workshop Applications of Graph Transformation with Industrial
Relevance (AGTIVE '07). Springer, Berlin, LNCS 5088, 2008.
(26 pages, gzipped PostScript: 1011kb via
HTTP,
FTP, uncompressed PostScript: 17896kb via
HTTP,
FTP)
- [Akehurst et al., 2007]
- Dave Akehurst,
Martin Gogolla, and Steffen Zschaler.
OCL4ALL - Modelling Systems with OCL.
In Holger Giese, editor, Satellite Events at the MoDELS'2007
Conference, pages 176-181. Springer, Berlin, LNCS 5002,
2007.
(6 pages, gzipped PostScript: 79kb via
HTTP,
FTP, uncompressed PostScript: 157kb via
HTTP,
FTP)
- [Dang, 2007]
- Duc-Hanh Dang.
Validation of System Behavior from an Integrated Semantics of Use Case and
Design Models.
In Claudia Pons, editor, Proc. Doctoral Symposium ACM/IEEE 10th Int.
Conf. Model-Driven Engineering Languages and Systems ,
http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/, 2007. CEUR
Workshop Proceedings, Vol. 262.
5 pages.
(5 pages, gzipped PostScript: 86kb via
HTTP,
FTP, uncompressed PostScript: 181kb via
HTTP,
FTP)
- [Gogolla, 2007]
- Martin Gogolla.
Model Development in the UML-based Specification Environment (USE).
In Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, and Roel
Wieringa, editors, Methods for Modelling Software Systems
(MMOSS). IBFI, Schloss Dagstuhl, Germany, 2007.
Dagstuhl Seminar Proceedings 06351. 3 pages.
(3 pages, gzipped PostScript: 60kb via
HTTP,
FTP, uncompressed PostScript: 122kb via
HTTP,
FTP)
- [Gogolla et al., 2007]
- Martin Gogolla,
Fabian Büttner, and Mark Richters.
USE: A UML-Based Specification Environment for Validating UML and OCL.
Science of Computer Programming, 69:27-34, 2007.
(12 pages, gzipped PostScript: 196kb via
HTTP,
FTP, uncompressed PostScript: 3118kb via
HTTP,
FTP)
- [Bezivin et al., 2006]
- Jean Bezivin,
Fabian Büttner, Martin Gogolla, Frederic Jouault, Ivan Kurtev, and Arne
Lindow.
Model Transformations? Transformation Models!
In Oscar Nierstrasz, Jon Whittle, David Harel, and Gianna Reggio, editors,
Proc. 9th Int. Conf. Model Driven Engineering Languages and
Systems (MoDELS'2006). LNCS 4199, Springer, Berlin, 2006.
(15 pages, gzipped PostScript: 330kb via
HTTP,
FTP, uncompressed PostScript: 7278kb via
HTTP,
FTP)
- [Büttner and Bauerdick,
2006]
- Fabian Büttner and Hanna Bauerdick.
Realizing UML Model Transformations with USE.
In Dan Chiorean, Birgit Demuth, Martin Gogolla, and Jos Warmer, editors,
UML/MoDELS Workshop on OCL (OCLApps'2006), pages 96-110.
Technical University of Dresden, Technical Report TUD-FI06, 2006.
(16 pages, gzipped PostScript: 131kb via
HTTP,
FTP, uncompressed PostScript: 421kb via
HTTP,
FTP)
- [Büttner and Gogolla, 2006]
- Fabian
Büttner and Martin Gogolla.
Realizing Graph Transformations by Pre- and Postconditions and Command
Sequences.
In Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, and Gregorz
Rozenberg, editors, Proc. 3rd Int. Conf. Graph
Transformations (ICGT'2006), pages 398-412. LNCS 4178, Springer,
Berlin, 2006.
(15 pages, gzipped PostScript: 200kb via
HTTP,
FTP, uncompressed PostScript: 2004kb via
HTTP,
FTP)
- [Chiorean et al., 2006a]
- Dan Chiorean,
Birgit Demuth, Martin Gogolla, and Jos Warmer.
OCL for (Meta-)Models in Multiple Application Domains.
In Thomas Kühne, editor, Satellite Events at the MoDELS'2006
Conference, pages 152-158. Springer, Berlin, LNCS 4364,
2006.
(6 pages, gzipped PostScript: 90kb via
HTTP,
FTP, uncompressed PostScript: 185kb via
HTTP,
FTP)
- [Chiorean et al., 2006b]
- Dan
Chiorean, Birgit Demuth, Martin Gogolla, and Jos Warmer, editors.
Proc. OCL for (Meta-)Models in Multiple Application Domains,
http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/archive, 2006.
Electronic Communications of the EASST, Vol. 5.
Satellite Events at the MoDELS'2006 Conference.
- [Hölscher et al., 2006]
- Karsten
Hölscher, Paul Ziemann, and Martin Gogolla.
On Translating UML Models into Graph Transformation Systems.
Journal of Visual Languages and Computing, 17(1):78-105,
2006.
(30 pages, gzipped PostScript: 528kb via
HTTP,
FTP, uncompressed PostScript: 4842kb via
HTTP,
FTP)
- [Mwatawala et al., 2006]
- Maulid W.
Mwatawala, Arne Lindow, Martin Gogolla, and Marc De Meyer.
Employing the Unified Modeling Language (UML) and Relational Modeling Concepts
for the Development of a Schema for Fruit Flies.
In Eyas El-Qawasmeh, editor, Proc. 4th Int. Multiconference on Computer
Science and Information Technology (CSIT'2006). Applied Science
University (ASU), Amman, Jordan, 2006.
(12 pages, gzipped PostScript: 482kb via
HTTP,
FTP, uncompressed PostScript: 2505kb via
HTTP,
FTP)
- [Vidacs et al., 2006]
- Laszlo Vidacs,
Martin Gogolla, and Rudolf Ferenc.
From C++ Refactorings to Graph Transformations.
In Jean-Marie Favre, Reiko Heckel, and Tom Mens, editors, Proc.
ICGT'2006 Workshop Software Evolution and
Transformation (SETRA'2006), pages 127-141. Electronic
Communications of EASST (European Association of Software Science and
Technology), 2006.
(15 pages, gzipped PostScript: 1644kb via
HTTP,
FTP, uncompressed PostScript: 12636kb via
HTTP,
FTP)
- [Baar et al., 2005]
- Thomas Baar, Dan
Chiorean, Alexandre Correa, Martin Gogolla, Heinrich Hußmann, Octavian
Patrascoiu, Peter H. Schmitt, and Jos Warmer.
Tool Support for OCL and Related Formalisms - Needs and Trends.
In Jean-Michel Bruel, editor, Satellite Events at the MoDELS'2005
Conference, pages 1-9. Springer, Berlin, LNCS 3844, 2005.
(9 pages, gzipped PostScript: 112kb via
HTTP,
FTP, uncompressed PostScript: 227kb via
HTTP,
FTP)
- [Büttner, 2005]
- Fabian
Büttner.
Transformation-Based Structure Model Evolution.
In Jean-Michel Bruel, editor, Satellite Events at the MoDELS'2005
Conference, pages 339-340. Springer, Berlin, LNCS 3844,
2005.
(5 pages, gzipped PostScript: 19kb via
HTTP,
FTP, uncompressed PostScript: 67kb via
HTTP,
FTP)
- [Büttner et al., 2005]
- Fabian
Büttner, Hanna Bauerdick, and Martin Gogolla.
Towards Transformation of Integrity Constraints and Database States.
In Danielle C. Martin, editor, Proc. Dexa'2005 Workshop Logical Aspects
and Applications of Integrity Constraints (LAAIC'2005), pages
823-828. IEEE, Los Alamitos, 2005.
(6 pages, gzipped PostScript: 57kb via
HTTP,
FTP, uncompressed PostScript: 190kb via
HTTP,
FTP)
- [Czarnecki et al., 2005]
- Krzysztof
Czarnecki, Jean-Marie Favre, Martin Gogolla, and Tom Mens.
Essentials of the 4th UML/MoDELS Workshop in Software Model
Engineering (WiSME'2005).
In Jean-Michel Bruel, editor, Satellite Events at the MoDELS'2005
Conference, pages 151-159. Springer, Berlin, LNCS 3844,
2005.
(9 pages, gzipped PostScript: 39kb via
HTTP,
FTP, uncompressed PostScript: 95kb via
HTTP,
FTP)
- [Ermel et al., 2005]
- Claudia Ermel,
Karsten Hölscher, Sabine Kuske, and Paul Ziemann.
Animated Simulation of Integrated UML Behavioral Models Based on Graph
Transformation.
In IEEE, editor, Proc. IEEE Symposium Visual Languages and Human-Centric
Computing (VL/HCC'05), pages 125-133, 2005.
(9 pages, gzipped PostScript: 374kb via
HTTP,
FTP, uncompressed PostScript: 948kb via
HTTP,
FTP)
- [Gogolla, 2005a]
- Martin Gogolla.
Exploring ER and RE Syntax and Semantics with Metamodel Object Diagrams.
In Peter J. Nürnberg, editor, ACM Int. Conf. Proceeding
Series (Vol. 214), Proc. Metainformatics Symposium (MIS'2005). ACM
Press, New York, 2005.
ACM Digital Library, 12 pages.
(12 pages, gzipped PostScript: 223kb via
HTTP,
FTP, uncompressed PostScript: 1000kb via
HTTP,
FTP)
- [Gogolla, 2005b]
- Martin Gogolla.
Tales of ER and RE Syntax and Semantics.
In James R. Cordy, Ralf Lämmel, and Andreas Winter, editors,
Transformation Techniques in Software Engineering. IBFI,
Schloss Dagstuhl, Germany, 2005.
Dagstuhl Seminar Proceedings 05161. 51 pages.
(51 pages, gzipped PostScript: 339kb via
HTTP,
FTP, uncompressed PostScript: 1582kb via
HTTP,
FTP)
- [Gogolla et al., 2005a]
- Martin Gogolla,
Jörn Bohling, and Mark Richters.
Validating UML and OCL Models in USE by Automatic Snapshot Generation.
Journal on Software and System Modeling, 4(4):386-398,
2005.
(24 pages, gzipped PostScript: 249kb via
HTTP,
FTP, uncompressed PostScript: 731kb via
HTTP,
FTP)
- [Gogolla et al., 2005b]
- Martin Gogolla,
Jean-Marie Favre, and Fabian Büttner.
On Squeezing M0, M1, M2, and M3 into a Single Object Diagram.
In Thomas Baar, Dan Chiorean, Alexandre Correa, Martin Gogolla, Heinrich
Hußmann, Octavian Patrascoiu, Peter H. Schmitt, and Jos Warmer, editors,
Proc. MoDELS'2005 Workshop Tool Support for OCL and Related
Formalisms. In: Satellite Events at MoDELS'2005 Conference.
Jean-Michel Bruel (Ed.). Springer, LNCS 3844. Long Version:
EPFL (Switzerland), Technical Report LGL-REPORT-2005-001, 2005.
(14 pages, gzipped PostScript: 206kb via
HTTP,
FTP, uncompressed PostScript: 4894kb via
HTTP,
FTP)
- [Sohr et al., 2005]
- Karsten Sohr,
Gail-Joon Ahn, Martin Gogolla, and Lars Migge.
Specification and Validation of Authorization Constraints using UML and OCL.
In Sabrina DeCapitani, Paul F. Syverson, and Dieter Gollmann, editors,
Proc. 10th European Symp. Research in Computer
Security (ESORICS'2005), pages 64-79. LNCS 3679, Springer,
Berlin, 2005.
(16 pages, gzipped PostScript: 791kb via
HTTP,
FTP, uncompressed PostScript: 6131kb via
HTTP,
FTP)
- [Bauerdick et al., 2004]
- Hanna
Bauerdick, Martin Gogolla, and Fabian Gutsche.
Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report.
In Thomas Baar, Alfred Strohmeier, Ana Moreira, and Stephen J. Mellor, editors,
Proc. 7th Int. Conf. Unified Modeling Language (UML'2004),
pages 188-197. Springer, Berlin, LNCS 3273, 2004.
(10 pages, gzipped PostScript: 52kb via
HTTP,
FTP, uncompressed PostScript: 131kb via
HTTP,
FTP)
- [Bezivin et al., 2004]
- Jean Bezivin,
Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich
Hußmann, Octavian Patrascoiu, Peter H. Schmitt, and Jos Warmer.
OCL and Model Driven Engineering Workshop Report.
In Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, and
Ambrosio Toval Alvarez, editors, UML'2004 Modeling Languages and
Applications. UML'2004 Satellite Activities. Revised Selected Papers,
pages 67-75. Springer, Berlin, LNCS 3297, 2004.
(9 pages, gzipped PostScript: 31kb via
HTTP,
FTP, uncompressed PostScript: 158kb via
HTTP,
FTP)
- [Bisanz et al., 2004]
- Stefan Bisanz,
Paul Ziemann, and Arne Lindow.
Integrated Specification, Validation and Verification with HybridUML and OCL
Applied to the BART Case Study.
In E. Schnieder and G. Tarnai, editors, Proc. Conf. Formal Methods for
Automation and Safety in Railway and Automotive
Systems (FORMS/FORMAT'2004), 2004.
(13 pages, gzipped PostScript: 2325kb via
HTTP,
FTP, uncompressed PostScript: 5587kb via
HTTP,
FTP)
- [Büttner and Gogolla,
2004a]
- Fabian Büttner and Martin Gogolla.
On Generalization and Overriding in UML 2.0.
In Jean Bezivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle,
Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, and Jos Warmer,
editors, Proc. UML'2004 Workshop OCL and Model Driven
Engineering, pages 69-69. In: UML - Modeling Languages and
Applications. Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva,
Ambrosio Toval Alvarez (Eds). LNCS 3297, Springer Verlag. Long version:
University of Kent, http://www.cs.kent.ac.uk/projects/ocl/oclmdewsuml04/,
2004.
(15 pages, gzipped PostScript: 155kb via
HTTP,
FTP, uncompressed PostScript: 362kb via
HTTP,
FTP)
- [Büttner and Gogolla,
2004b]
- Fabian Büttner and Martin Gogolla.
Realizing UML Metamodel Transformations with AGG.
In Reiko Heckel, editor, Proc. ETAPS Workshop Graph Transformation and
Visual Modeling Techniques (GT-VMT'2004). Electronic Notes in
Theoretical Computer Science (ENTCS), Elsevier, 2004.
(12 pages, gzipped PostScript: 560kb via
HTTP,
FTP, uncompressed PostScript: 8829kb via
HTTP,
FTP)
- [Büttner et al., 2004]
- Fabian
Büttner, Oliver Radfelder, Arne Lindow, and Martin Gogolla.
Digging into the Visitor Pattern.
In Frank Maurer and Günther Ruhe, editors, Proc. IEEE 16th Int.
Conf. Software Engineering and Knowlege Engineering (SEKE'2004).
IEEE, Los Alamitos, 2004.
(7 pages, gzipped PostScript: 48kb via
HTTP,
FTP, uncompressed PostScript: 168kb via
HTTP,
FTP)
- [Gogolla, 2004a]
- Martin Gogolla.
(An Example for) Metamodeling Syntax and Semantics of Two Languages, their
Transformation, and a Correctness Criterion.
In Jean Bezivin and Reiko Heckel, editors, Proc. Dagstuhl Seminar on
Language Engineering for Model-Driven Software Development. Schloss
Dagstuhl Int. Conf. and Research Center for Computer Science,
http://www.dagstuhl.de/04101/, 2004.
(10 pages, gzipped PostScript: 134kb via
HTTP,
FTP, uncompressed PostScript: 877kb via
HTTP,
FTP)
- [Gogolla, 2004b]
- Martin Gogolla.
Benefits and Problems of Formal Methods.
In Albert Llamosi and Alfred Strohmeier, editors, Proc. 9th Int. Conf.
Reliable Software Technologies Ada-Europe (RST'2004), pages 1-15.
Springer, Berlin, LNCS 3063, 2004.
(15 pages, gzipped PostScript: 83kb via
HTTP,
FTP, uncompressed PostScript: 288kb via
HTTP,
FTP)
- [Gogolla and Ziemann, 2004]
- Martin
Gogolla and Paul Ziemann.
Checking BART Test Scenarios with UML's Object Constraint Language.
Formal Methods for Embedded Distributed Systems - How to master the
complexity. Fabrice Kordon, Michel Lemoine (Eds.), Kluwer, Boston. pages
133-170, 2004.
(38 pages, gzipped PostScript: 193kb via
HTTP,
FTP, uncompressed PostScript: 1089kb via
HTTP,
FTP)
- [Gogolla et al., 2004a]
- Martin
Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner,
and Paul Ziemann.
Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen
durch automatische Snapshot-Generierung.
In Bernhard Rumpe and Wolfgang Hesse, editors, Proc.
Modellierung'2004, pages 281-282. Gesellschaft für
Informatik, Lecture Notes in Informatics 45, 2004.
(2 pages, gzipped PostScript: 11kb via
HTTP,
FTP, uncompressed PostScript: 25kb via
HTTP,
FTP)
- [Gogolla et al., 2004b]
- Martin Gogolla,
Paul Sammut, and Jon Whittle.
Essentials of the 3rd UML Workshop in Software Model
Engineering (WiSME'2004).
In Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, and
Ambrosio Toval Alvarez, editors, UML'2004 Modeling Languages and
Applications. UML'2004 Satellite Activities. Revised Selected Papers,
pages 43-51. Springer, Berlin, LNCS 3297, 2004.
(10 pages, gzipped PostScript: 42kb via
HTTP,
FTP, uncompressed PostScript: 102kb via
HTTP,
FTP)
- [Krieg-Brückner et al.,
2004]
- Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim
Mahnke, and George Russell.
Semantic Interrelation of Documents via an Ontology.
In Gregor Engels and Silke Seehusen, editors, Proc. 2. Deutsche
e-Learning Fachtagung Informatik (DeLFI'2004), pages 271-282.
Gesellschaft für Informatik, Lecture Notes in Informatics 52,
2004.
- [Lindow and Gogolla, 2004]
- Arne
Lindow and Martin Gogolla.
Eine multimediale Erweiterung eines UML-Tools für Lehrzwecke.
In Gregor Engels and Silke Seehusen, editors, Proc. 2. Deutsche
e-Learning Fachtagung Informatik (DeLFI'2004), pages 393-394.
Gesellschaft für Informatik, Lecture Notes in Informatics 52,
2004.
(2 pages, gzipped PostScript: 10kb via
HTTP,
FTP, uncompressed PostScript: 24kb via
HTTP,
FTP)
- [Ziemann et al., 2004a]
- Paul Ziemann,
Karsten Hölscher, and Martin Gogolla.
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph
Transformations.
In Arnaldo Moura and Alexandre Mota, editors, Proc. Brazilian Symposium
on Formal Methods (SBMF'2004). Electronic Notes in Theoretical
Computer Science (ENTCS), Elsevier, 2004.
(15 pages, gzipped PostScript: 178kb via
HTTP,
FTP, uncompressed PostScript: 549kb via
HTTP,
FTP)
- [Ziemann et al., 2004b]
- Paul Ziemann,
Karsten Hölscher, and Martin Gogolla.
From UML Models to Graph Transformation Systems.
In Mark Minas, editor, Proc. Workshop Visual Languages and Formal
Methods (VLFM'2004). Electronic Notes in Theoretical Computer
Science (ENTCS), Elsevier, 2004.
(16 pages, gzipped PostScript: 267kb via
HTTP,
FTP, uncompressed PostScript: 808kb via
HTTP,
FTP)
- [Bezivin and Gogolla, 2003]
- Jean
Bezivin and Martin Gogolla, editors.
Proc. 2nd UML Workshop in Software Model
Engineering (WiSME'2003). www.metamodel.com, 2003.
http://www.metamodel.com/wisme-2003/.
- [Gogolla and Lindow, 2003]
- Martin Gogolla
and Arne Lindow.
Transforming Data Models with UML.
In Borys Omelayenko and Michel Klein, editors, Knowledge Transformation
for the Semantic Web, pages 18-33. IOS Press, Amsterdam,
2003.
(15 pages, gzipped PostScript: 124kb via
HTTP,
FTP, uncompressed PostScript: 1519kb via
HTTP,
FTP)
- [Gogolla et al., 2003a]
- Martin Gogolla,
Jörn Bohling, and Mark Richters.
Validation of UML and OCL Models by Automatic Snapshot Generation.
In Grady Booch, Perdita Stevens, and Jonathan Whittle, editors, Proc.
6th Int. Conf. Unified Modeling Language (UML'2003), pages
265-279. Springer, Berlin, LNCS 2863, 2003.
(15 pages, gzipped PostScript: 113kb via
HTTP,
FTP, uncompressed PostScript: 462kb via
HTTP,
FTP)
- [Gogolla et al., 2003b]
- Martin
Gogolla, Mark Richters, and Jörn Bohling.
Tool Support for Validating UML and OCL Models through Automatic Snapshot
Generation.
In Jarr Eloff, Andries Engelbrecht, Paula Kotze, and Mariki Eloff, editors,
Proc. Annual Research Conf. South African Institute of Computer
Scientists and Information Technologists on Enablement through
Technology (SAICSIT'2003), pages 248-257. ACM International
Conference Proceedings Series, 2003.
(10 pages, gzipped PostScript: 202kb via
HTTP,
FTP, uncompressed PostScript: 2858kb via
HTTP,
FTP)
- [Kollmann, 2003]
- Ralf Kollmann.
Design Recovery Techniques for Object-Oriented Software Systems.
PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik,
2003.
- [Krieg-Brückner et al., 2003]
- Bernd
Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim
Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach,
George Russell, Jan-Georg Smaus, and Martin Wirsing.
MultiMedia Instruction in Safe and Secure Systems.
In Martin Wirsing, Dirk Pattinson, and Rolf Hennicker, editors, Proc.
16th Int. Workshop Abstract Data Types (WADT'02), pages 82-117.
Springer, LNCS 2755, 2003.
(38 pages, gzipped PostScript: 1452kb via
HTTP,
FTP, uncompressed PostScript: 8909kb via
HTTP,
FTP)
- [Radfelder, 2003]
- Oliver Radfelder.
Dreidimensionale, interaktive und animierte Softwarevisualisierung zur
Unterstützung im Softwareentwicklungsprozess.
PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik,
2003.
- [Richters and Gogolla, 2003]
- Mark
Richters and Martin Gogolla.
Aspect-Oriented Monitoring of UML and OCL Constraints.
In Omar Aldawud, Mohamed Kande, Grady Booch, Bill Harrison, Dominik Stein, Jeff
Gray, Siobhan Clarke, Aida Zakaria, Peri Tarr, and Faisal Akkawi, editors,
Proc. UML'2003 Workshop Aspect-Oriented Software Development with
UML. Illinois Institute of Technology, Department of Computer
Science, http://www.cs.iit.edu/ oaldawud/AOM/index.htm, 2003.
(7 pages, gzipped PostScript: 191kb via
HTTP,
FTP, uncompressed PostScript: 884kb via
HTTP,
FTP)
- [Ziemann and Gogolla,
2003a]
- Paul Ziemann and Martin Gogolla.
An OCL Extension for Formulating Temporal Constraints.
Research Report 1/03, Universität Bremen, 2003.
(20 pages, gzipped PostScript: 179kb via
HTTP,
FTP, uncompressed PostScript: 444kb via
HTTP,
FTP)
- [Ziemann and Gogolla, 2003b]
- Paul Ziemann
and Martin Gogolla.
OCL Extended with Temporal Logic.
In Manfred Broy and Alexandre Zamulin, editors, 5th Int. Conf.
Perspectives of System Informatics (PSI'2003), pages 351-357.
Springer, Berlin, LNCS 2890, 2003.
(7 pages, gzipped PostScript: 110kb via
HTTP,
FTP, uncompressed PostScript: 231kb via
HTTP,
FTP)
- [Ziemann and Gogolla, 2003c]
- Paul
Ziemann and Martin Gogolla.
Validating OCL Specifications with the USE Tool - An Example Based on the BART
Case Study.
In Thomas Arts and Wan Fokkink, editors, Proc. 8th Int. Workshop Formal
Methods for Industrial Critical Systems (FMICS'2003). Electronic
Notes in Theoretical Computer Science (ENTCS), Vol. 80, Elsevier, 2003.
(13 pages, gzipped PostScript: 188kb via
HTTP,
FTP, uncompressed PostScript: 695kb via
HTTP,
FTP)
- [Gogolla, 2002]
- Martin Gogolla.
Editorial for the Special Issue on the UML 2001 Conference.
Software and System Modeling (SoSyM), 1(2):83-85,
2002.
- [Gogolla and Henderson-Sellers,
2002]
- Martin Gogolla and Brian Henderson-Sellers.
Formal Analysis of UML Stereotypes within the UML Metamodel.
In Steve Cook, Heinrich Hussmann, and Jean-Marc Jezequel, editors, Proc.
5th Int. Conf. Unified Modeling Language (UML'2002). Springer,
Berlin, LNCS, 2002.
(15 pages, gzipped PostScript: 235kb via
HTTP,
FTP, uncompressed PostScript: 3535kb via
HTTP,
FTP)
- [Gogolla and Richters, 2002]
- Martin
Gogolla and Mark Richters.
Development of UML Descriptions with USE.
In Hassan Shafazand and A Min Tjoa, editors, Proc. 1st Eurasian Conf.
Information and Communication Technology (EURASIA'2002), pages
228-238. Springer, Berlin, LNCS 2510, 2002.
(12 pages, gzipped PostScript: 196kb via
HTTP,
FTP, uncompressed PostScript: 5467kb via
HTTP,
FTP)
- [Gogolla et al., 2002a]
- Martin Gogolla,
Arne Lindow, Mark Richters, and Paul Ziemann.
Metamodel Transformation of Data Models.
In Jean Bezivin and Robert France, editors, Proc. UML'2002 Workshop in
Software Model Engineering (WiSME 2002).
http://www.metamodel.com/wisme-2002, 2002.
(8 pages, gzipped PostScript: 124kb via
HTTP,
FTP, uncompressed PostScript: 947kb via
HTTP,
FTP)
- [Gogolla et al., 2002b]
- Martin Gogolla,
Paul Ziemann, and Sabine Kuske.
Towards an Integrated Graph Based Semantics for UML.
In Paolo Bottoni and Mark Minas, editors, Proc. ICGT Workshop Graph
Transformation and Visual Modeling Techniques (GT-VMT'2002).
Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 72, No. 3,
Elsevier, 2002.
(16 pages, gzipped PostScript: 95kb via
HTTP,
FTP, uncompressed PostScript: 328kb via
HTTP,
FTP)
- [Kollmann and Gogolla, 2002]
- Ralf
Kollmann and Martin Gogolla.
Metric-Based Selective Representation of UML Diagrams.
In Tibor Gyimóthy and Fernando Brito e Abreu, editors, Proc. 6th
European Conf. Software Maintenance and Reengineering (CSMR'02).
IEEE, Los Alamitos, 2002.
(10 pages, gzipped PostScript: 295kb via
HTTP,
FTP, uncompressed PostScript: 1929kb via
HTTP,
FTP)
- [Kollmann et al., 2002]
- Ralf Kollmann,
Petri Selonen, Eleni Stroulia, Tarja Systä, and Albert Zündorf.
A Study on the Current State of the Art in Tool-Supported UML-Based Static
Reverse Engineering.
In Elizabeth Burd and Arie van Deursen, editors, Proc. 9th Working Conf.
Reverse Engineering (WCRE'02). IEEE, Los Alamitos, 2002.
(11 pages, gzipped PostScript: 48kb via
HTTP,
FTP, uncompressed PostScript: 391kb via
HTTP,
FTP)
- [Kuske et al., 2002]
- Sabine Kuske, Martin
Gogolla, Ralf Kollmann, and Hans-Jörg Kreowski.
An Integrated Semantics for UML Class, Object, and State Diagrams based on
Graph Transformation.
In Michael Butler and Kaisa Sere, editors, 3rd Int. Conf. Integrated
Formal Methods (IFM'02). Springer, Berlin, LNCS, 2002.
(19 pages, gzipped PostScript: 109kb via
HTTP,
FTP, uncompressed PostScript: 494kb via
HTTP,
FTP)
- [Richters, 2002]
- Mark Richters.
A Precise Approach to Validating UML Models and OCL
Constraints.
PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik,
Logos Verlag, Berlin, BISS Monographs, No. 14, 2002.
- [Wang et al., 2002]
- Rui-Jin Wang, Hui-Chuan
Duan, and Martin Gogolla.
Unified Modeling Language and Its Application to Modeling.
Application Research of Computers, 19(8):80-84, 2002.
ISSN 1001-3695.
( pages, gzipped PostScript: 1269kb via
HTTP,
FTP, uncompressed PostScript: 3558kb via
HTTP,
FTP)
- [Ziemann and Gogolla, 2002]
- Paul Ziemann
and Martin Gogolla.
An Extension of OCL with Temporal Logic.
In Jan Jürjens, editor, Proc. UML'2002 Workshop Critical System
Development (CSD 2002). Technical Report, Technical University of
Munich, 2002.
(10 pages, gzipped PostScript: 139kb via
HTTP,
FTP, uncompressed PostScript: 295kb via
HTTP,
FTP)
- [Barbier et al.,
2001]
- Franck Barbier, Brian Henderson-Sellers, Andreas Opdahl, and
Martin Gogolla.
The Whole-Part Relationship in Object-Oriented Modeling.
In Keng Siau and Terry Halpin, editors, Unified Modeling Language:
Systems Analysis, Design, and Development Issues, pages 186-209.
Idea Group Publishing, Hershey (PA), USA, 2001.
(20 pages, gzipped PostScript: 414kb via
HTTP,
FTP, uncompressed PostScript: 1058kb via
HTTP,
FTP)
- [Gogolla, 2001a]
- Martin Gogolla.
Formal Methods versus UML's OCL.
In Stefan Jähnichen, Jeff Kramer, Michel Lemoine, and Martin Wirsing,
editors, Can Formal Methods Cope with Software-Intensive
Systems, pages 19-20. Dagstuhl-Seminar-Report 308, 2001.
(2 pages, gzipped PostScript: 60kb via
HTTP,
FTP, uncompressed PostScript: 1314kb via
HTTP,
FTP)
- [Gogolla, 2001b]
- Martin Gogolla.
Using OCL for Defining Precise, Domain-Specific UML Stereotypes.
In Aybuke Aurum and Ross Jeffery, editors, Proc. 6th Australian Workshop
on Requirements Engineering (AWRE'2001), pages 51-60. Centre for
Advanced Software Engineering Research (CAESER), University of New South
Wales, Sydney, 2001.
(10 pages, gzipped PostScript: 98kb via
HTTP,
FTP, uncompressed PostScript: 349kb via
HTTP,
FTP)
- [Gogolla and Kobryn, 2001]
- Martin
Gogolla and Cris Kobryn, editors.
Proc. 4th Int. Conf. Unified Modeling Language (UML'2001).
Springer, LNCS 2185, 2001.
- [Gogolla and Richters, 2001]
- Martin
Gogolla and Mark Richters.
Expressing UML Class Diagrams Properties with OCL.
In Tony Clark and Jos Warmer, editors, Advances in Object Modelling with
the OCL, pages 86-115. Springer, Berlin, LNCS 2263, 2001.
(29 pages, gzipped PostScript: 96kb via
HTTP,
FTP, uncompressed PostScript: 747kb via
HTTP,
FTP)
- [Kollmann and Gogolla, 2001a]
- Ralf
Kollmann and Martin Gogolla.
Application of the UML Associations and Their Adornments in Design Recovery.
In Peter Aiken and Elizabeth Burd, editors, Proc. 8th Working Conference
on Reverse Engineering (WCRE'2001). IEEE, Los Alamitos, 2001.
(10 pages, gzipped PostScript: 53kb via
HTTP,
FTP, uncompressed PostScript: 163kb via
HTTP,
FTP)
- [Kollmann and Gogolla, 2001b]
- Ralf
Kollmann and Martin Gogolla.
Capturing Dynamic Program Behaviour with UML Collaboration Diagrams.
In Pedro Sousa and Jürgen Ebert, editors, Proc. 5th European Conf.
Software Maintenance and Reengineering (CSMR'01), pages 58-67.
IEEE, Los Alamitos, 2001.
(10 pages, gzipped PostScript: 37kb via
HTTP,
FTP, uncompressed PostScript: 137kb via
HTTP,
FTP)
- [Kollmann and Gogolla, 2001c]
- Ralf
Kollmann and Martin Gogolla.
Selektive Darstellung von Programmstrukturen mit UML.
In Jürgen Ebert and Franz Lehner, editors, Proc. 3. Workshop
Software-Reengineering. Universität Koblenz, Technischer
Bericht, http://www.uni-koblenz.de/ ist/WSR2001, 2001.
(6 pages, gzipped PostScript: 54kb via
HTTP,
FTP, uncompressed PostScript: 133kb via
HTTP,
FTP)
- [Lindow et al., 2001]
- Arne Lindow, Martin
Gogolla, and Mark Richters.
Ein formal validiertes Metamodell für die Transformation von Schemata in
Informationssystemen.
In K. Bauknecht, W. Brauer, and T. Mück, editors, Proc. GI
Jahrestagung (GI'2001), Band 1, Workshop Integrating Diagrammatic and Formal
Specification Techniques, pages 662-669. Austrian Computer
Society, Wien, 2001.
(8 pages, gzipped PostScript: 111kb via
HTTP,
FTP, uncompressed PostScript: 3854kb via
HTTP,
FTP)
- [Richters and Gogolla, 2001]
- Mark
Richters and Martin Gogolla.
OCL - Syntax, Semantics and Tools.
In Tony Clark and Jos Warmer, editors, Advances in Object Modelling with
the OCL, pages 43-69. Springer, Berlin, LNCS 2263, 2001.
(27 pages, gzipped PostScript: 135kb via
HTTP,
FTP, uncompressed PostScript: 524kb via
HTTP,
FTP)
- [Warmer et al., 2001]
- Jos Warmer,
Anneke Kleppe, Tony Clark, Anders Ivner, Jonas Högström, Martin
Gogolla, Mark Richters, Heinrich Hussmann, Steffen Zschaler, Simon Johnston,
David S. Frankel, and Conrad Bock.
Object Constraint Language 2.0.
Technical report, Submission to the OMG, 2001.
(155 pages, gzipped PostScript: 889kb via
HTTP,
FTP, uncompressed PostScript: 4317kb via
HTTP,
FTP)
- [Gärtner, 2000]
- Heino Gärtner.
Schematransformationen in objektorientierten
Informationssystemen.
PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik,
Shaker Verlag, Aachen, 2000.
- [Gogolla, 2000]
- Martin Gogolla.
Graph Transformations on the UML Metamodel.
In Jose D.P. Rolim, Andrei Z. Broder, Andrea Corradini, Roberto Gorrieri, Reiko
Heckel, Juraj Hromkovic, Ugo Vaccaro, and Joe B. Wells, editors, Proc.
ICALP Workshop Graph Transformations and Visual Modeling
Techniques (GTVMT'2000), pages 359-371. Carleton Scientific,
Waterloo, Ontario, Canada, 2000.
(13 pages, gzipped PostScript: 91kb via
HTTP,
FTP, uncompressed PostScript: 371kb via
HTTP,
FTP)
- [Gogolla and Kollmann, 2000]
- Martin
Gogolla and Ralf Kollmann.
Re-Documentation of Java with UML Class Diagrams.
In Eliot Chikofsky, editor, Proc. 7th Reengineering Forum, Reengineering
Week 2000 Zürich, pages REF 41-REF 48. Reengineering Forum,
Burlington, Massachusetts, 2000.
(9 pages, gzipped PostScript: 67kb via
HTTP,
FTP, uncompressed PostScript: 199kb via
HTTP,
FTP)
- [Gogolla and Richters, 2000]
- Martin
Gogolla and Mark Richters.
Definition von UML mit UML und OCL: Ein Überblick zum Stand der Technik.
In Mario Jeckle, Bernhard Rumpe, Andy Schürr, and Andreas Winter, editors,
Proc. 7. GROOM-Workshop ``UML - Erweiterungen (Profile) und Konzepte
der Metamodellierung''. Universität Koblenz-Landau, Fachbereich
Informatik, 2000.
Auch: Softwaretechnik-Trends, 20:2, 2000, ISSN 0720-8928.
(2 pages, gzipped PostScript: 17kb via
HTTP,
FTP, uncompressed PostScript: 38kb via
HTTP,
FTP)
- [Gogolla et al., 2000]
- Martin
Gogolla, Oliver Radfelder, Ralf Kollmann, and Mark Richters.
Analysing Atomic Dynamic UML Notions by Surfing through the UML Metamodel.
In Gianna Reggio, Alexander Knapp, Bernhard Rumpe, Bran Selic, and Roel
Wieringa, editors, Proc. UML'00 Workshop Dynamic Behaviour in UML
Models, pages 57-62. LMU München, Informatik-Bericht
Nr. 0006, 2000.
(6 pages, gzipped PostScript: 44kb via
HTTP,
FTP, uncompressed PostScript: 153kb via
HTTP,
FTP)
- [Huge, 2000]
- Anne Kathrin Huge.
Formalisierung objektorientierter Datenbanken auf der Grundlage von
ODMG.
PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik,
Shaker Verlag, Aachen, 2000.
- [Radfelder and Gogolla, 2000]
- Oliver
Radfelder and Martin Gogolla.
On Better Understanding UML Diagrams through Interactive Three-Dimensional
Visualization and Animation.
In Vito Di Gesu, Stefano Levialdi, and Laura Tarantino, editors, Proc.
Advanced Visual Interfaces (AVI'2000), pages 292-295. ACM Press,
New York, 2000.
(4 pages, gzipped PostScript: 526kb via
HTTP,
FTP, uncompressed PostScript: 851kb via
HTTP,
FTP)
- [Radfelder et al., 2000]
- Oliver
Radfelder, Martin Gogolla, and Volker Behr.
Entwurf und Implementierung eines Internet-basierten
Material-Informationssystems.
Interner Bericht, Universität Bremen, Fachbereich 3, 2000.
(28 pages, gzipped PostScript: 319kb via
HTTP,
FTP, uncompressed PostScript: 969kb via
HTTP,
FTP)
- [Richters and Gogolla, 2000a]
- Mark
Richters and Martin Gogolla.
Validating UML Models and OCL Constraints.
In Andy Evans and Stuart Kent, editors, Proc. 3rd Int. Conf. Unified
Modeling Language (UML'2000), pages 265-277. Springer, Berlin,
LNCS 1939, 2000.
(13 pages, gzipped PostScript: 90kb via
HTTP,
FTP, uncompressed PostScript: 377kb via
HTTP,
FTP)
- [Richters and Gogolla, 2000b]
- Mark
Richters and Martin Gogolla.
Validierung von UML-Modellen und OCL-Bedingungen.
In Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, and
Wolfgang Reif, editors, Proc. GI'2000 Workshop Rigorose Entwicklung
software-intensiver Systeme, pages 21-32. LMU München,
Informatik-Bericht Nr. 0005, 2000.
(12 pages, gzipped PostScript: 83kb via
HTTP,
FTP, uncompressed PostScript: 328kb via
HTTP,
FTP)
- [Astesiano et al.,
1999]
- Egidio Astesiano, Andy Evans, Robert France, Guy Geniloud,
Martin Gogolla, Brian Henderson-Sellers, John Howse, Heinrich Hussmann,
Shusaku Iida, Stuart Kent, Alain Le Guennec, Tom Mens, Richard Mitchell,
Oliver Radfelder, Gianna Reggio, Mark Richters, Bernhard Rumpe, Perdita
Stevens, Klaas van den Berg, Pim van den Broek, and Roel Wieringa.
UML Semantics FAQ.
In Ana Moreira and Serge Demeyer, editors, ECOOP'99 Workshop
Reader, pages 33-56. Springer, Berlin, LNCS 1743, 1999.
(25 pages, gzipped PostScript: 952kb via
HTTP,
FTP, uncompressed PostScript: 5795kb via
HTTP,
FTP)
- [Gogolla, 1999]
- Martin Gogolla.
Identifying Objects by Declarative Queries.
Advances in Object-Oriented Data Modeling. M.P. Papazoglou, S. Spaccapietra,
Z. Tari (Eds.), MIT Press. pages 255-277, 1999.
(25 pages, gzipped PostScript: 138kb via
HTTP,
FTP, uncompressed PostScript: 682kb via
HTTP,
FTP)
- [Gogolla and Richters, 1999]
- Martin
Gogolla and Mark Richters.
Transformation Rules for UML Class Diagrams.
In Jean Bezivin and Pierre-Alain Muller, editors, Proc. 1st Int.
Workshop Unified Modeling Language (UML'98), pages 92-106.
Springer, Berlin, LNCS 1618, 1999.
(15 pages, gzipped PostScript: 87kb via
HTTP,
FTP, uncompressed PostScript: 431kb via
HTTP,
FTP)
- [Gogolla et al., 1999a]
- Martin
Gogolla, Oliver Radfelder, and Mark Richters.
A UML Semantics FAQ - The View from Bremen.
In S.J.H. Kent, A. Evans, and B. Rumpe, editors, Proc. ECOOP'99 Workshop
UML Semantics FAQ. University of Brighton, 1999.
(10 pages, gzipped PostScript: 87kb via
HTTP,
FTP, uncompressed PostScript: 523kb via
HTTP,
FTP)
- [Gogolla et al., 1999b]
- Martin Gogolla,
Oliver Radfelder, and Mark Richters.
Towards Three-Dimensional Representation and Animation of UML Diagrams.
In Robert France and Bernhard Rumpe, editors, Proc. 2nd Int. Conf.
Unified Modeling Language (UML'99), pages 489-502. Springer,
Berlin, LNCS 1723, 1999.
(14 pages, gzipped PostScript: 558kb via
HTTP,
FTP, uncompressed PostScript: 1845kb via
HTTP,
FTP)
- [Radfelder et al., 1999]
- Oliver
Radfelder, Martin Gogolla, and Volker Behr.
On Designing and Querying a Material Information System.
In M. Türksever, N.Y. Topaloglu, N. Zincir-Heywood, A. Kantarci, C.A.
Sürgevil, and Ö. Özmen, editors, Proc. 14th Int. Symposium
Computer and Information Science (ISCIS'99), pages 132-142. Ege
University, Izmir, 1999.
(11 pages, gzipped PostScript: 33kb via
HTTP,
FTP, uncompressed PostScript: 123kb via
HTTP,
FTP)
- [Richters and Gogolla, 1999a]
- Mark
Richters and Martin Gogolla.
A Metamodel for OCL.
In Robert France and Bernhard Rumpe, editors, Proc. 2nd Int. Conf.
Unified Modeling Language (UML'99), pages 156-171. Springer,
Berlin, LNCS 1723, 1999.
(16 pages, gzipped PostScript: 82kb via
HTTP,
FTP, uncompressed PostScript: 265kb via
HTTP,
FTP)
- [Richters and Gogolla, 1999b]
- Mark
Richters and Martin Gogolla.
On the Need for a Precise OCL Semantics.
In Robert France, Bernhard Rumpe, Brian Henderson-Sellers, Jean-Michel Bruel,
and Ana Moreira, editors, Proc. OOPSLA Workshop ``Rigorous Modeling
and Analysis with the UML: Challenges and Limitations''. Colorado
State University, Fort Collins, Colorado, 1999.
(3 pages, gzipped PostScript: 36kb via
HTTP,
FTP, uncompressed PostScript: 84kb via
HTTP,
FTP)
- [Wagner and Gogolla,
1999]
- Annika Wagner and Martin Gogolla.
Semantics of Object-Oriented Languages.
In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, and Gregorz Rozenberg,
editors, Handbook of Graph Grammars and Computing by Graph
Transformation, Volume II, Applications, Languages, and Tools, pages
181-211. World Scientific, Singapore, 1999.
(16 pages, gzipped PostScript: 312kb via
HTTP,
FTP, uncompressed PostScript: 714kb via
HTTP,
FTP)
- [Cerioli et al., 1998]
- Maura
Cerioli, Martin Gogolla, Helene Kirchner, Bernd Krieg-Brückner, Zhenyu
Qian, and Markus Wolf, editors.
Algebraic System Specification and Development - Survey and Annotated
Bibliography.
Monographs of the Bremen Institute of Safe Systems (BISS). Shaker, Aachen,
1998.
(142 pages, gzipped PostScript: 383kb via
HTTP,
FTP, uncompressed PostScript: 1535kb via
HTTP,
FTP)
- [Gogolla, 1998]
- Martin Gogolla.
UML for the Impatient.
Research Report 3/98, Universität Bremen, 1998.
(23 pages, gzipped PostScript: 140kb via
HTTP,
FTP, uncompressed PostScript: 886kb via
HTTP,
FTP)
- [Gogolla and Parisi-Presicce,
1998]
- Martin Gogolla and Francesco Parisi-Presicce.
State Diagrams in UML - A Formal Semantics using Graph Transformation.
In Manfred Broy, Derek Coleman, Tom Maibaum, and Bernhard Rumpe, editors,
Proc. ICSE'98 Workshop on Precise Semantics of Modeling
Techniques (PSMT'98), pages 55-72. Technical University of
Munich, Technical Report TUM-I9803, 1998.
(18 pages, gzipped PostScript: 111kb via
HTTP,
FTP, uncompressed PostScript: 649kb via
HTTP,
FTP)
- [Gogolla and Richters, 1998]
- Martin
Gogolla and Mark Richters.
On Combing Semi-Formal and Formal Object Specification Techniques.
In Francesco Parisi-Presicce, editor, Proc. 12th Int. Workshop Abstract
Data Types (WADT'97), pages 238-252. Springer, LNCS 1376,
1998.
(16 pages, gzipped PostScript: 77kb via
HTTP,
FTP, uncompressed PostScript: 353kb via
HTTP,
FTP)
- [Gogolla et al., 1998]
- Martin Gogolla,
Anne Kathrin Huge, and Bodo Randt.
Stepwise Re-Engineering and Development of Object-Oriented Database Schemata.
In Roland R. Wagner, editor, Proc. 9th Int. Workshop Database and Expert
Systems Applications (DEXA'98). IEEE, Los Alamitos, 1998.
(6 pages, gzipped PostScript: 40kb via
HTTP,
FTP, uncompressed PostScript: 123kb via
HTTP,
FTP)
- [Richters and Gogolla, 1998]
- Mark
Richters and Martin Gogolla.
On Formalizing the UML Object Constraint Language OCL.
In Tok-Wang Ling, Sudha Ram, and Mong Li Lee, editors, Proc. 17th Int.
Conf. Conceptual Modeling (ER'98), pages 449-464. Springer,
Berlin, LNCS 1507, 1998.
(16 pages, gzipped PostScript: 103kb via
HTTP,
FTP, uncompressed PostScript: 472kb via
HTTP,
FTP)
- [Richters et al., 1998]
- Mark Richters,
Martin Gogolla, and Heino Gärtner.
SIGN - Software Implementierung durch Graphische Notation.
Interner Bericht, Universität Bremen, Fachbereich 3, 1998.
(9 pages, gzipped PostScript: 82kb via
HTTP,
FTP, uncompressed PostScript: 480kb via
HTTP,
FTP)
- [Buddrus et al., 1997]
- Frank Buddrus,
Heino Gärtner, and Sven-Eric Lautemann.
First Steps to a Formal Framework for Multilevel Database Modifications.
In A. Hameurlain and A Min Tjoa, editors, Proc. 8th Int. Conf. Database
and Expert Systems Applications (DEXA'97), pages 240-251.
Springer, Berlin, LNCS 1308, 1997.
(13 pages, gzipped PostScript: 82kb via
HTTP,
FTP, uncompressed PostScript: 383kb via
HTTP,
FTP)
- [Gärtner, 1997]
- Heino Gärtner.
Perspectives for a Formal Framework for Schema Modification in Object
Databases.
In D.J. Ram, editor, Proc. 8th Int. Conf. Management of
Data (COMAD'97), pages 238-249. Narosa, New Delhi, 1997.
(12 pages, gzipped PostScript: 96kb via
HTTP,
FTP, uncompressed PostScript: 476kb via
HTTP,
FTP)
- [Gogolla, 1997]
- Martin Gogolla.
On Behavioral Model Quality and Transformation.
In Stephen W. Liddle, Stephen W. Clyde, and Scott N. Woodfield, editors,
Proc. 16th Int. Conf. on Conceptual Modeling (ER'97), Workshop on
Behavioral Models and Design Transformations.
verb !http://osm7.cs.byu.edu/ER97/workshop4!, 1997.
(4 pages, gzipped PostScript: 54kb via
HTTP,
FTP, uncompressed PostScript: 279kb via
HTTP,
FTP)
- [Gogolla and Parisi-Presicce,
1997]
- Martin Gogolla and Francesco Parisi-Presicce.
State Diagrams in UML - A Formal Semantics using Graph Transformation.
Rapporto di Ricerca 97/15, University of Rome `La Sapienza', Dipartimento
di Scienze dell' Informazione, 1997.
(19 pages, gzipped PostScript: 112kb via
HTTP,
FTP, uncompressed PostScript: 685kb via
HTTP,
FTP)
- [Gogolla and Richters, 1997a]
- Martin
Gogolla and Mark Richters.
On Constraints and Queries in UML.
In Martin Schader and Axel Korthaus, editors, Proc. UML'97 Workshop `The
Unified Modeling Language - Technical Aspects and Applications',
pages 109-121. Physica-Verlag, Heidelberg, 1997.
(14 pages, gzipped PostScript: 86kb via
HTTP,
FTP, uncompressed PostScript: 456kb via
HTTP,
FTP)
- [Gogolla and Richters,
1997b]
- Martin Gogolla and Mark Richters.
Web-Based Object Animation.
In Hans-Dieter Ehrich, Yulin Feng, and David Kung, editors,
Object-Oriented Software Development, pages 16-16.
Dagstuhl-Seminar-Report Nr. 174, 1997.
(1 pages, gzipped PostScript: 15kb via
HTTP,
FTP, uncompressed PostScript: 86kb via
HTTP,
FTP)
- [Richters, 1997]
- Mark Richters.
jtrl User Manual.
Internal Report, Universität Bremen, 1997.
(26 pages, gzipped PostScript: 162kb via
HTTP,
FTP, uncompressed PostScript: 921kb via
HTTP,
FTP)
- [Richters and Gogolla, 1997a]
- Mark
Richters and Martin Gogolla.
A Web-based Animator for Validating Object Specifications.
In Bipin C. Desai and Barry Eaglestone, editors, Proc. Int. Database
Engineering and Applications Symposium (IDEAS'97), pages 211-219.
IEEE, Los Alamitos, 1997.
(9 pages, gzipped PostScript: 106kb via
HTTP,
FTP, uncompressed PostScript: 701kb via
HTTP,
FTP)
- [Richters and Gogolla, 1997b]
- Mark
Richters and Martin Gogolla.
A Web User Interface for an Object Specification Language.
In Michel Bidoit, editor, Proc. 7th Int. Joint Conf. on Theory and
Practice of Software Development (TAPSOFT'97), pages 867-870.
Springer, Berlin, LNCS 1214, 1997.
(5 pages, gzipped PostScript: 69kb via
HTTP,
FTP, uncompressed PostScript: 436kb via
HTTP,
FTP)
- [Claßen et al., 1996]
- Ingo
Claßen, Martin Gogolla, and Michael Löwe.
Dynamics in Information Systems - An Algebraic Approach to Specification,
Construction and Correctness.
Forschungsbericht 96/01, Technische Universität Berlin, 1996.
(21 pages, gzipped PostScript: 80kb via
HTTP,
FTP, uncompressed PostScript: 225kb via
HTTP,
FTP)
- [Gärtner and Gogolla, 1996]
- Heino
Gärtner and Martin Gogolla.
LASSY - A System for Analysing Grammatical Dependencies in Latin.
In Roland R. Wagner and Helmut Thoma, editors, Proc. 7th Int. Workshop
Database and Expert Systems Applications (DEXA'96), pages 275-284.
IEEE, Los Alamitos, 1996.
(10 pages, gzipped PostScript: 105kb via
HTTP,
FTP, uncompressed PostScript: 577kb via
HTTP,
FTP)
- [Gogolla, 1996a]
- Martin Gogolla.
Parameterizing Object Specifications.
In Luigia Aiello, editor, Proc. 4th Int. Symposium Design and
Implementation of Symbolic Computation Systems (DISCO'96), pages
126-137. Springer, Berlin, LNCS 1128, 1996.
(12 pages, gzipped PostScript: 47kb via
HTTP,
FTP, uncompressed PostScript: 152kb via
HTTP,
FTP)
- [Gogolla, 1996b]
- Martin Gogolla.
Towards Object Visualization by Conceptual Graphs.
In Peter W. Eklund, Gerard Ellis, and Graham Mann, editors, Proc. 4th
Int. Conf. Conceptual Structures (ICCS'96), Auxiliary Proceedings,
pages 175-188. University of New South Wales, Sydney, 1996.
(14 pages, gzipped PostScript: 82kb via
HTTP,
FTP, uncompressed PostScript: 240kb via
HTTP,
FTP)
- [Gogolla and Richters,
1996]
- Martin Gogolla and Mark Richters.
An Object Specification Language Implementation with Web User Interface based
on Tycoon.
In Hartmut Ehrig, Friedrich von Henke, Jose Meseguer, and Martin Wirsing,
editors, Specification and Semantics, pages 8-11.
Dagstuhl-Seminar-Report Nr. 151, 1996.
(3 pages, gzipped PostScript: 47kb via
HTTP,
FTP, uncompressed PostScript: 267kb via
HTTP,
FTP)
- [Meyer et al., 1996]
- Bernd Meyer,
Gerhard D. Westerman, and Martin Gogolla.
Drafting ER and OO Schemas in Prototyping Environments.
Data and Knowledge Engineering, 19(3):201-240, 1996.
(48 pages, gzipped PostScript: 106kb via
HTTP,
FTP, uncompressed PostScript: 353kb via
HTTP,
FTP)
- [Wagner and Gogolla,
1996]
- Annika Wagner and Martin Gogolla.
Defining Operational Behavior of Object Specifications by Attributed Graph
Transformations.
Fundamenta Informaticae, 3,4:407-431, 1996.
(25 pages, gzipped PostScript: 93kb via
HTTP,
FTP, uncompressed PostScript: 348kb via
HTTP,
FTP)
- [Conrad et al., 1995]
- Stefan Conrad,
Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, and
Hans-Dieter Ehrich.
Entwicklung zuverlässiger Informationssysteme.
GI EMISA-Forum, 2:25-33, 1995.
(9 pages, gzipped PostScript: 90kb via
HTTP,
FTP, uncompressed PostScript: 234kb via
HTTP,
FTP)
- [Gogolla, 1995a]
- Martin Gogolla.
A Declarative Query Approach to Object Identification.
In Mike Papazoglou, editor, Proc. 14th Int. Conf. Object-Oriented and
Entity-Relationship Modelling (ER'95), pages 65-76. Springer,
Berlin, LNCS 1021, 1995.
(12 pages, gzipped PostScript: 47kb via
HTTP,
FTP, uncompressed PostScript: 165kb via
HTTP,
FTP)
- [Gogolla, 1995b]
- Martin Gogolla.
Identifying Objects by Declarative Queries.
In Jan Chomicki, Gunter Saake, and Christina Sernadas, editors, The Role
of Logics in Information Systems. Dagstuhl-Seminar-Report Nr. 121,
1995.
(1 pages, gzipped PostScript: 16kb via
HTTP,
FTP, uncompressed PostScript: 89kb via
HTTP,
FTP)
- [Gogolla, 1995c]
- Martin Gogolla.
Towards Schema Queries for Semantic Data Models.
In Norman Revell and A Min Tjoa, editors, Proc. 6th Int. Conf. and
Workshop on Database and Expert Systems Applications (DEXA'95), pages
274-283. ONMIPRESS, San Mateo, 1995.
(10 pages, gzipped PostScript: 66kb via
HTTP,
FTP, uncompressed PostScript: 176kb via
HTTP,
FTP)
- [Gogolla and Cerioli,
1995a]
- Martin Gogolla and Maura Cerioli.
What is an Abstract Data Type, after all?
Technical Report PDISI-95-01, Dipartimento di Informatica e Scienze
dell'Informazione, Universita di Genova, 1995.
(76 pages, gzipped PostScript: 169kb via
HTTP,
FTP, uncompressed PostScript: 784kb via
HTTP,
FTP)
- [Gogolla and Cerioli, 1995b]
- Martin
Gogolla and Maura Cerioli.
What is an Abstract Data Type, after all?
In Egidio Astesiano, Gianna Reggio, and Andrzej Tarlecki, editors, Proc.
10th Int. Workshop Abstract Data Types (WADT'94), pages 499-523.
Springer, Berlin, LNCS 906, 1995.
(26 pages, gzipped PostScript: 72kb via
HTTP,
FTP, uncompressed PostScript: 198kb via
HTTP,
FTP)
- [Gogolla and Herzig, 1995a]
- Martin
Gogolla and Rudolf Herzig.
An Algebraic Development Technique for Information Systems.
In Vangalur S. Alagar and Maurice Nivat, editors, Proc. 4th Int. Conf.
Algebraic Methodology and Software Technology (AMAST'95), pages
446-460. Springer, Berlin, LNCS 936, 1995.
(15 pages, gzipped PostScript: 85kb via
HTTP,
FTP, uncompressed PostScript: 222kb via
HTTP,
FTP)
- [Gogolla and Herzig, 1995b]
- Martin
Gogolla and Rudolf Herzig.
An Algebraic Semantics for the Object Specification Language TROLL light.
In Egidio Astesiano, Gianna Reggio, and Andrzej Tarlecki, editors, Proc.
10th Int. Workshop Abstract Data Types (WADT'94), pages 288-304.
Springer, Berlin, LNCS 906, 1995.
(17 pages, gzipped PostScript: 97kb via
HTTP,
FTP, uncompressed PostScript: 256kb via
HTTP,
FTP)
- [Gogolla et al., 1995a]
- Martin Gogolla,
Stefan Conrad, Grit Denker, Rudolf Herzig, and Nikolaos Vlachantonis.
A Development Environment for an Object Specification Language.
IEEE Transactions on Knowledge and Data Engineering,
7(3):505-508, 1995.
(6 pages, gzipped PostScript: 64kb via
HTTP,
FTP, uncompressed PostScript: 300kb via
HTTP,
FTP)
- [Gogolla et al., 1995b]
- Martin Gogolla,
Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis, and
Hans-Dieter Ehrich.
TROLL light - The Language and Its Development Environment.
In Manfred Broy and Stefan Jähnichen, editors, KORSO - Methods,
Languages, and Tools for the Construction of Correct
Software (KORSO'95), pages 204-220. Springer, Berlin, LNCS 1009,
1995.
(16 pages, gzipped PostScript: 84kb via
HTTP,
FTP, uncompressed PostScript: 229kb via
HTTP,
FTP)
- [Herzig and Gogolla, 1995]
- Rudolf
Herzig and Martin Gogolla.
An Animator for the Object Specification Language TROLL light.
In Vangalur S. Alagar and Rokia Missaoui, editors, Proc. Int Colloquium
Object Orientation in Databases and Software
Engineering (COODBSE'94), pages 156-170. World Scientific, River
Edge (NJ), 1995.
(15 pages, gzipped PostScript: 62kb via
HTTP,
FTP, uncompressed PostScript: 233kb via
HTTP,
FTP)
- [Herzig et al., 1995]
- Rudolf Herzig,
Martin Gogolla, and Grit Denker.
KORSO Reference Languages: Concepts and Application Domains - TROLL light.
In Manfred Broy and Stefan Jähnichen, editors, KORSO - Methods,
Languages, and Tools for the Construction of Correct
Software (KORSO'95), pages 156-162. Springer, Berlin, LNCS 1009,
1995.
(23 pages, gzipped PostScript: 61kb via
HTTP,
FTP, uncompressed PostScript: 164kb via
HTTP,
FTP)
- [Conrad et al., 1994]
- Stefan Conrad,
Martin Gogolla, and Rudolf Herzig.
Safe Derivations in Object Hierarchies.
In D. Patel, Y. Sun, and S. Patel, editors, Proc. Int. Conf.
Object-Oriented Information Systems (OOIS'94), pages 306-319.
Springer, London, 1994.
(14 pages, gzipped PostScript: 48kb via
HTTP,
FTP, uncompressed PostScript: 126kb via
HTTP,
FTP)
- [Denker and Gogolla, 1994]
- Grit Denker
and Martin Gogolla.
Translating TROLL light Concepts to Maude.
In Hartmut Ehrig and Fernando Orejas, editors, Proc. 9th Int. Workshop
Abstract Data Types (WADT'92), pages 173-187. Springer, Berlin,
LNCS 785, 1994.
(16 pages, gzipped PostScript: 66kb via
HTTP,
FTP, uncompressed PostScript: 166kb via
HTTP,
FTP)
- [Ehrich et al.,
1994]
- Hans-Dieter Ehrich, Martin Gogolla, Stefan Conrad, Grit Denker,
Rudolf Herzig, and Nikolaos Vlachantonis.
Entwicklung zuverlässiger Informationssysteme - Stand der Arbeiten im
Januar'94.
In Manfred Broy and Stefan Jähnichen, editors, Korrekte Software
durch formale Methoden - 6. KORSO-Workshop (KORSO'93), pages
82-94, 1994.
- [Gogolla, 1994a]
- Martin Gogolla.
An Extended Entity-Relationship Model - Fundamentals and
Pragmatics.
Springer, Berlin, LNCS 767, 1994.
(145 pages, gzipped PostScript: 266kb via
HTTP,
FTP, uncompressed PostScript: 881kb via
HTTP,
FTP)
- [Gogolla, 1994b]
- Martin Gogolla.
An Extended Entity-Relationship Model - Fundamentals and Pragmatics.
GI EMISA-Forum, 1:80-80, 1994.
(1 pages, gzipped PostScript: 17kb via
HTTP,
FTP, uncompressed PostScript: 89kb via
HTTP,
FTP)
- [Gogolla, 1994c]
- Martin
Gogolla.
An Extended Entity-Relationship Model - Fundamentals and Pragmatics.
GI Datenbankrundbrief, 13:86-86, 1994.
(1 pages, gzipped PostScript: 17kb via
HTTP,
FTP, uncompressed PostScript: 89kb via
HTTP,
FTP)
- [Gogolla, 1994d]
- Martin
Gogolla.
Grundlagen von Entity-Relationship-Modellen.
Informatik-Skript 33, Technische Universität Braunschweig, 1994.
(62 pages, gzipped PostScript: 173kb via
HTTP,
FTP, uncompressed PostScript: 500kb via
HTTP,
FTP)
- [Gogolla, 1994e]
- Martin Gogolla.
On Formal Semantics of Some Semantic Data Models.
In Selahattin Kuru, Ufuk Caglayan, Erol Gelenbe, Levent Akin, and Cem Ersoy,
editors, Proc. 9th Int. Symposium Computer and Information
Science (ISCIS'94), pages 33-40. Bogazici University Printhouse,
Istanbul, 1994.
(8 pages, gzipped PostScript: 68kb via
HTTP,
FTP, uncompressed PostScript: 165kb via
HTTP,
FTP)
- [Gogolla et al., 1994a]
- Martin
Gogolla, Sedat Güler, and Rudolf Herzig.
From Object Specification to Enhanced Logic Programming.
In Selahattin Kuru, Ufuk Caglayan, Erol Gelenbe, Levent Akin, and Cem Ersoy,
editors, Proc. 9th Int. Symposium Computer and Information
Science (ISCIS'94), pages 423-430. Bogazici University
Printhouse, Istanbul, 1994.
(8 pages, gzipped PostScript: 68kb via
HTTP,
FTP, uncompressed PostScript: 165kb via
HTTP,
FTP)
- [Gogolla et al.,
1994b]
- Martin Gogolla, Nikolaos Vlachantonis, Rudolf Herzig, Grit
Denker, Stefan Conrad, and Hans-Dieter Ehrich.
The KORSO Approach to the Development of Reliable Information Systems.
Informatik-Bericht 94-06, Technische Universität Braunschweig,
1994.
(59 pages, gzipped PostScript: 172kb via
HTTP,
FTP, uncompressed PostScript: 468kb via
HTTP,
FTP)
- [Herzig and Gogolla, 1994a]
- Rudolf
Herzig and Martin Gogolla.
A SQL-like Query Calculus for Object-Oriented Database Systems.
In Elisa Bertino and Susan Urban, editors, Proc. Int. Symposium
Object-Oriented Methodologies and Systems (ISOOMS'94), pages
20-39. Springer, Berlin, LNCS 858, 1994.
(20 pages, gzipped PostScript: 68kb via
HTTP,
FTP, uncompressed PostScript: 230kb via
HTTP,
FTP)
- [Herzig and Gogolla,
1994b]
- Rudolf Herzig and Martin Gogolla.
On a Better Formal Basis for Stating SQL-like Queries in Value- And
Object-Based Database Systems.
Technical Report 9/94, Universität Bremen, 1994.
(26 pages, gzipped PostScript: 83kb via
HTTP,
FTP, uncompressed PostScript: 272kb via
HTTP,
FTP)
- [Herzig et al., 1994a]
- Rudolf Herzig,
Stefan Conrad, and Martin Gogolla.
Compositional Description of Object Communities with TROLL light.
In Chris Chrisment, editor, Proc. Basque Int. Workshop Information
Technology (BIWIT'94), pages 183-194. Cepadues Editions,
Toulouse, 1994.
(12 pages, gzipped PostScript: 35kb via
HTTP,
FTP, uncompressed PostScript: 98kb via
HTTP,
FTP)
- [Herzig et al.,
1994b]
- Rudolf Herzig, Heiko Fischer, and Martin Gogolla.