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.
- [Clariso and Gogolla, 2019]
- Robert
Clariso and Martin Gogolla.
A Feasibility Study on Using Classifying Terms in Alloy.
In Achim D. Brucker, Frederic Jouaoult, and Gwendal Daniel, editors,
Proc. 19th Workshop OCL and Textual Modeling Languages (OCL
2019), 2019.
- [Desai and Gogolla, 2019a]
- Nisha
Desai and Martin Gogolla.
A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior.
In Michel Chaudron and Joerg Kienzle, editors, Proc. IEEE/ACM MODELS
2019 Satelite Events (MODELS 2019). IEEE, 2019.
- [Desai and Gogolla, 2019b]
- Nisha Desai and
Martin Gogolla.
Developing Comprehensive Postconditions Through a Model Transformation Chain.
Journal of Object Technology, AITO, DE, 18(3):5:1-18,
2019.
- [Doan and Gogolla,
2019]
- Khanh-Hoang Doan and Martin Gogolla.
Quality Improvement for UML and OCL Models through Bad Smell and Metrics
Definition.
In Michel Chaudron and Joerg Kienzle, editors, Proc. IEEE/ACM MODELS
2019 Satelite Events (MODELS 2019). IEEE, 2019.
- [Gabmeyer et al., 2019]
- Sebastian
Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, and Gerti Kappel.
A Feature-Based Classification of Formal Verification Techniques for Software
Models.
Journal on Software and Systems Modeling, Springer, DE,
18(1):473-498, 2019.
DOI: 10.1007/s10270-017-0591-z, Online 2017-03-27.
(26 pages, PDF: 310kb via
HTTP)
- [Gogolla and Vallecillo,
2019a]
- Martin Gogolla and Antonio Vallecillo.
An Idealistic Plan for Transforming Media Sources into Books, Slides and
Videos.
In IMichel Chaudron and Joerg Kienzle, editors, Proc. IEEE/ACM MODELS
2019 Satelite Events (MODELS 2019). IEEE, 2019.
- [Gogolla and Vallecillo, 2019b]
- Martin
Gogolla and Antonio Vallecillo.
On Softening OCL Invariants.
Journal of Object Technology, AITO, DE, 18(2):6:1-22,
2019.
- [Gogolla et al., 2019]
- Martin
Gogolla, Nisha Desai, and Khanh-Hoang Doan.
Developing User and Recording Interfaces for Design Time and Runtime Models.
In Hugo Bruneliere, Romina Eramo, and Abel Gomez, editors, Proc. STAF
2019 Workshops, 2nd Workshop Model-Driven Engineering for Design-Runtime
Interaction in Complex Systems (DeRun 2019), pages 39-48. CEUR
Proceedings 2405, 2019.
- [Munoz et al., 2019]
- Paula Munoz, Loli
Burgueno, Martin Gogolla, and Antonio Vallecillo.
Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams.
In Achim D. Brucker, Frederic Jouaoult, and Gwendal Daniel, editors,
Proc. 19th Workshop OCL and Textual Modeling Languages (OCL
2019), 2019.
- [Ortiz et al., 2019]
- Victor Ortiz, Loli
Burgueno, Antonio Vallecillo, and Martin Gogolla.
Native Support for UML and OCL Primitive Datatypes Enriched with Uncertainty
in USE.
In Achim D. Brucker, Frederic Jouaoult, and Gwendal Daniel, editors,
Proc. 19th Workshop OCL and Textual Modeling Languages (OCL
2019), 2019.
- [Bruneliere et al., 2018]
- Hugo
Bruneliere, Romina Eramo, Abel Gomez, Valentin Besnard, Jean-Michel Bruel,
Martin Gogolla, Andreas Kästner, and Adrian Rutle.
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems:
Scientific Challenges and Roadmap.
In Proc. 1st Workshop Model-Driven Engineering for Design-Runtime
Interaction in Complex Systems (DeRun 2018). Springer, LNCS 11176,
2018.
(8 pages, PDF: 97kb via
HTTP)
- [Burgueno et al., 2018]
- Loli Burgueno,
Antonio Vallecillo, and Martin Gogolla.
Teaching UML and OCL Models and their Validation to Software Engineering
Students: An Experience Report.
Journal on Computer Science Education, Taylor and Francis, UK,
28(1):23-41, 2018.
Accepted 2018-03-30.
(17 pages, PDF: 322kb via
HTTP)
- [Desai and Gogolla, 2018]
- Nisha Desai and
Martin Gogolla.
Generating OCL Constraints from Test Case Schemas for Testing Model Behavior.
In Inmaculada Medina-Bulo, Mercedes G. Merayo, and Robert Hierons, editors,
Proc. 30th Int. IFIP WG 6.1 Conf. Testing Software and
Systems (ICTSS'2018). Springer, LNCS 11146, 2018.
(6 pages, PDF: 1157kb via
HTTP)
- [Doan and Gogolla, 2018a]
- Khanh-Hoang
Doan and Martin Gogolla.
Assessing UML Model Quality by Utilizing Metrics.
In Antonia Bertolino and Vasco Amaral, editors, Proc. Int. Conf. Quality
of Information and Communications Technology (QUATIC'2018), pages
92-100. IEEE, 2018.
(9 pages, PDF: 828kb via
HTTP)
- [Doan and Gogolla,
2018b]
- Khanh-Hoang Doan and Martin Gogolla.
Extending a UML and OCL Tool for Meta-Modeling: Applications towards Model
Quality Assessment.
In Ina Schaefer, Dimitris Karagiannis, Andreas Vogelsang, Daniel Mindez, and
Christoph Seidl, editors, Proc.
Modellierung (MODELLIERUNG'2018), pages 135-150. GI, LNI 280,
2018.
(16 pages, PDF: 823kb via
HTTP)
- [Doan and Gogolla, 2018c]
- Khanh-Hoang
Doan and Martin Gogolla.
Logical Reasoning with Object Diagrams in a UML and OCL Tool.
In Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, and
Francesco Bellucci, editors, Proc. 10th Int. Conf. Diagrams (DIAGRAMS
2018). Springer, LNAI 10871, 2018.
(4 pages, PDF: 218kb via
HTTP)
- [Gogolla, 2018]
- Martin Gogolla.
Squeezer Graphs: Proposing a Simple Basis for Computing (Meta-)Model
Features.
In Proc. STAF 2018 Workshops, Workshop Graph Computation Models (GCM
2018), 2018.
(10 pages, PDF: 293kb via
HTTP)
- [Gogolla and Doan, 2018]
- Martin Gogolla
and Khanh-Hoang Doan.
Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design
Tool.
In Yuri Sato and Zohreh Shams, editors, Proc. 6th Workshop Set
Visualization and Reasoning (SetVR 2018), pages 76-83. CEUR
Proceedings 2116, 2018.
(8 pages, PDF: 575kb via
HTTP)
- [Gogolla and Stevens, 2018]
- Martin
Gogolla and Perdita Stevens.
Teaching Modeling in Computer Science as an Ecosystem: A Provocative Analogy.
Journal on Computer Science Education, Taylor and Francis, UK,
28(1):5-22, 2018.
Accepted 2018-04-04.
(16 pages, PDF: 290kb via
HTTP)
- [Gogolla et al., 2018a]
- Martin Gogolla,
Loli Burgueno, and Antonio Vallecillo.
Model Finding and Model Completion with USE.
In Achim D. Brucker, Robert Clariso, and Hao Wu, editors, Proc. 18th
Workshop OCL and Textual Modeling Languages (OCL 2018), pages
194-200. CEUR Proceedings 2245, 2018.
(7 pages, PDF: 145kb via
HTTP)
- [Gogolla et al., 2018b]
- Martin
Gogolla, Frank Hilken, and Khanh-Hoang Doan.
Achieving Model Quality through Model Validation, Verification and
Exploration.
Journal on Computer Languages, Systems and Structures, Elsevier,
NL, 54:474-511, 2018.
Online 2017-12-02.
(52 pages, PDF: 1957kb via
HTTP)
- [Hilken et al., 2018]
- Frank Hilken,
Martin Gogolla, Loli Burgueno, and Antonio Vallecillo.
Testing models and model transformations using classifying terms.
Journal on Software and Systems Modeling, Springer, DE,
17(3):885-912, 2018.
DOI: 10.1007/s10270-016-0568-3, Online 2016-12-09.
(27 pages, PDF: 2943kb via
HTTP)
- [Kästner et al., 2018a]
- Andreas
Kästner, Martin Gogolla, Khanh-Hoang Doan, and Nisha Desai.
Sketching a Model-Based Technique for Integrated Design and Run Time
Description.
In Proc. STAF 2018 Workshops, Workshop Model-Driven Engineering for
Design-Runtime Interaction in Complex Systems (DeRun 2018),
2018.
(6 pages, PDF: 192kb via
HTTP)
- [Kästner et al., 2018b]
- Andreas
Kästner, Martin Gogolla, and Bran Selic.
From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams.
In Oystein Haugen and Richard Paige, editors, Proc. 21th Int. Conf.
Model Driven Engineering Languages and Systems (MoDELS'2018).
ACM/IEEE, 2018.
(10 pages, PDF: 1062kb via
HTTP)
- [Kästner et al., 2018c]
- Andreas
Kästner, Martin Gogolla, and Bran Selic.
Towards Flexible Object and Class Modeling Tools: An Experience Report.
In Davide di Ruscio, Juan de Lara, and Alfonso Pierantonio, editors,
Proc. 4th Flexible MDE Workshop (FlexMDE 2018), pages
233-242. CEUR Proceedings 2245, 2018.
(10 pages, PDF: 173kb via
HTTP)
- [Bill et al., 2017]
- Robert Bill, Achim D.
Brucker, Jordi Cabot, Martin Gogolla, Antonio Vallecillo, and Edward D.
Willink.
Workshop in OCL and Textual Modelling: Report on Recent Trends and Panel
Discussions.
In Martina Seidl and Steffen Zschaler, editors, Proc. STAF 2017
Workshops, Workshop Object Constraint Language (OCL 2016), pages
297-301. Springer, LNCS 10748, 2017.
(5 pages, PDF: 338kb via
HTTP)
- [Burgueno and Gogolla, 2017]
- Loli
Burgueno and Martin Gogolla.
Formally Modeling, Executing, and Testing Service-Oriented Systems with UML
and OCL.
In E. Michael Maximilien, Antonio Vallecillo, Jianmin Wang, and Marc Oriol,
editors, Proc. 15th Int. Conf. Service-Oriented Computing (ICSOC
2017), pages 113-122. Springer, LNCS 10601, 2017.
(9 pages, PDF: 1413kb via
HTTP)
- [Burgueno et al., 2017a]
- Loli Burgueno,
Frank Hilken, Antonio Vallecillo, and Martin Gogolla.
Testing Transformation Models Using Classifying Terms.
In Esther Guerra and Mark van den Brand, editors, Proc. 10th Int. Conf.
Model Transformation (ICMT 2017), pages 69-85. Springer,
LNCS 10374, 2017.
(16 pages, PDF: 374kb via
HTTP)
- [Burgueno et al., 2017b]
- Loli
Burgueno, Antonio Vallecillo, and Martin Gogolla.
Teaching Model Views with UML and OCL.
In Loli Burgueno and et al., editors, Proc. MODELS Educators'
Symposium (EDUSYMP 2017), pages 533-538. CEUR Proceedings 2019,
2017.
(6 pages, PDF: 178kb via
HTTP)
- [Desai et al., 2017]
- Nisha Desai, Martin
Gogolla, and Hilken Frank.
Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates
and Transformation Alternatives.
In Loli Burgueno and et al., editors, Proc. Workshop Executable
Modeling (EXE 2017), pages 88-94. CEUR Proceedings 2019,
2017.
(7 pages, PDF: 542kb via
HTTP)
- [Doan and Gogolla, 2017]
- Khanh-Hoang Doan
and Martin Gogolla.
Extending a UML and OCL Tool for Multi-levels: Applications Towards Model
Quality Assessment.
In Loli Burgueno and et al., editors, Proc. Workshop Multi-Level
Modelling (MULTI 2017), pages 251-251. CEUR Proceedings 2019,
2017.
(1 pages, PDF: 262kb via
HTTP)
- [Gogolla, 2017]
- Martin Gogolla.
On Understanding Teaching Modeling in Computer Science as an Ecosystem.
In Loli Burgueno and et al., editors, Proc. MODELS Educators'
Symposium (EDUSYMP 2017), pages 516-520. CEUR Proceedings 2019,
2017.
(4 pages, PDF: 192kb via
HTTP)
- [Gogolla and Doan, 2017]
- Martin
Gogolla and Khanh-Hoang Doan.
Quality Improvement of Conceptual UML and OCL Schemata through Model
Validation and Verification.
In Jordi Cabot, Cristina Gomez, Oscar Pastor, Maria-Ribera Sancho, and Ernest
Teniente, editors, Conceptual Modeling Perspectives, pages
155-168. Springer, Berlin, 2017.
(15 pages, PDF: 1078kb via
HTTP)
- [Gogolla and Vallecillo, 2017]
- Martin
Gogolla and Antonio Vallecillo.
(An Example for) Formally Modeling Robot Behavior with UML and OCL.
In Martina Seidl and Steffen Zschaler, editors, Proc. STAF 2017
Workshops, Workshop Model-Driven Robot Software Engineering (MORSE
2016), pages 232-246. Springer, LNCS 10748, 2017.
(15 pages, PDF: 388kb via
HTTP)
- [Gogolla et al., 2017a]
- Martin
Gogolla, Esther Guerra, and et al., editors.
Proc. MODELS'2017 Posters, http://ceur-ws.org/Vol-2019/,
2017. CEUR Workshop Proceedings, Vol. 2019.
Satellite Events at the MODELS'2017 Conference, pp. 463-478.
- [Gogolla et al., 2017b]
- Martin Gogolla,
Frank Hilken, Khanh-Hoang Doan, and Nisha Desai.
Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms.
In Sebastian Gabmeyer and Einar Broch Johnsen, editors, Proc. 11th Int.
Conf. Tests and Proofs (TAP 2017), pages 119-128. Springer,
LNCS 10375, 2017.
(10 pages, PDF: 467kb via
HTTP)
- [Gogolla et al., 2017c]
- Martin Gogolla,
Frank Hilken, and Andreas Kästner.
Some Narrow and Broad Challenges in MDD.
In Martina Seidl and Steffen Zschaler, editors, Proc. STAF 2017
Workshops, Workshop Grand Challenges in Modeling (GRAND 2017), pages
172-177. Springer, LNCS 10748, 2017.
(6 pages, PDF: 218kb via
HTTP)
- [Gogolla et al., 2017d]
- Martin Gogolla,
Frank Hilken, Philipp Niemann, and Robert Wille.
Formulating Model Verification Tasks Prover-Independently as UML Diagrams.
In Anthony Anjorin and Huascar Espinoza, editors, Proc. 13th European
Conf. Modeling Foundations and Application (ECMFA 2017), pages
232-247. Springer, LNCS 10376, 2017.
(16 pages, PDF: 498kb via
HTTP)
- [Gogolla et al., 2017e]
- Martin Gogolla,
Antonio Vallecillo, Loli Burgueno, and Frank Hilken.
Employing Classifying Terms for Testing Model Transformations.
In Jan Jürjens and Kurt Schneider, editors, Proc. Software
Engineering (2017), pages 91-92. GI, LNI 267, 2017.
(2 pages, PDF: 399kb via
HTTP)
- [Mierlo et al., 2017]
- Simon Van Mierlo,
Erwan Bousse, Hans Vangheluwe, Manuel Wimmer, Clark Verbrugge, Martin
Gogolla, Matthias Tichy, and Arnaud Blouin.
Report on the 1st Int. Workshop on Debugging in Model-Driven Engineering.
In Loli Burgueno and et al., editors, Proc. Workshop Debugging in
Model-Driven Engineering (MDEbug 2017), pages 441-446. CEUR
Proceedings 2019, 2017.
(6 pages, PDF: 165kb via
HTTP)
- [Vallecillo and Gogolla,
2017]
- Antonio Vallecillo and Martin Gogolla.
Adding Random Operations to OCL.
In Loli Burgueno and et al., editors, Proc. Workshop Model Driven
Engineering, Verification and Validation (MODEVVA 2017), pages
324-328. CEUR Proceedings 2019, 2017.
(5 pages, PDF: 703kb via
HTTP)
- [Balaban et al., 2016]
- Mira Balaban,
Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron,
and Michael Kifer.
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML.
In Achim D. Brucker, Jordi Cabot, and Adolfo Sanchez-Barbudo Herrera, editors,
Proc. Workshop OCL and Textual Modelling (2016), pages
57-72. CEUR WS Proceedings 1756, 2016.
(16 pages, PDF: 472kb via
HTTP)
- [Bill et al., 2016]
- Robert Bill, Martin
Gogolla, and Manuel Wimmer.
On Leveraging UML/OCL for Model Synchronization.
In Tanja Mayerhofer, Alfonso Pierantonio, Bernhard Schaetz, and Dalila
Tamzalit, editors, Proc. Workshop Models and Evolution (2016),
pages 20-29. CEUR WS Proceedings 1706, 2016.
(10 pages, PDF: 1463kb via
HTTP)
- [Brucker et al., 2016]
- Achim D.
Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sanchez-Barbudo
Herrera, Frank Hilken, Frederic Tuong, Edward D. Willink, and Burkhart Wolff.
Recent Developments in OCL and Textual Modelling.
In Achim D. Brucker, Jordi Cabot, and Adolfo Sanchez-Barbudo Herrera, editors,
Proc. Workshop OCL and Textual Modelling (2016), pages
157-165. CEUR WS Proceedings 1756, 2016.
(9 pages, PDF: 816kb via
HTTP)
- [Burgueno et al., 2016]
- Loli Burgueno,
Frank Hilken, Antonio Vallecillo, and Martin Gogolla.
Generating Effective Test Suites for Model Transformations using Classifying
Terms.
In Huseyin Ergin, Richard F. Paige, Eugene Syriani, Steffen Zschaler, and
Moussa Amrani, editors, Proc. Workshop Verification of Model
Transformation (VOLT 2016), pages 48-57. CEUR WS
Proceedings 1693, 2016.
(10 pages, PDF: 232kb via
HTTP)
- [Doan et al., 2016]
- Khanh-Hoang Doan,
Martin Gogolla, and Frank Hilken.
Towards a Developer-Oriented Process for Verifying Behavioral Properties in
UML and OCL Models.
In Paolo Milazzo, Daniel Varro, and Manuel Wimmer, editors, Proc. STAF
2016 Workshops, Workshop Human-Oriented Formal Methods, pages
207-220. Springer, LNCS 9946, 2016.
(15 pages, PDF: 513kb via
HTTP)
- [Gogolla and Cabot, 2016]
- Martin Gogolla
and Jordi Cabot.
Continuing a Benchmark for UML and OCL Design and Analysis Tools.
In Paolo Milazzo, Daniel Varro, and Manuel Wimmer, editors, Proc. STAF
2016 Workshops, Workshop Model-Driven Engineering, Logic and
Optimization (MELO 2016), pages 289-302. Springer, LNCS 9946,
2016.
(13 pages, PDF: 323kb via
HTTP)
- [Gogolla and Hilken,
2016]
- Martin Gogolla and Frank Hilken.
Model Validation and Verification Options in a Contemporary UML and OCL
Analysis Tool.
In Andreas Oberweis and Ralf Reussner, editors, Proc.
Modellierung (MODELLIERUNG'2016), pages 203-218. GI, LNI 254,
2016.
(16 pages, PDF: 329kb via
HTTP)
- [Gogolla and Vallecillo, 2016]
- Martin
Gogolla and Antonio Vallecillo.
Views on UML Interactions as Spreadsheet Queries.
In Paolo Milazzo, Daniel Varro, and Manuel Wimmer, editors, Proc. STAF
2016 Workshops, Workshop Software Engineering Methods in Spreadsheets (SEMS
2016), pages 394-400. Springer, LNCS 9946, 2016.
(6 pages, PDF: 654kb via
HTTP)
- [Hamann et al., 2016]
- Lars Hamann,
Martin Gogolla, and Nisha Desai.
On the Support of Qualified Associations in OCL.
In Achim D. Brucker, Jordi Cabot, and Adolfo Sanchez-Barbudo Herrera, editors,
Proc. Workshop OCL and Textual Modelling (2016), pages
3-15. CEUR WS Proceedings 1756, 2016.
(14 pages, PDF: 885kb via
HTTP)
- [Hilken and Gogolla, 2016a]
- Frank Hilken
and Martin Gogolla.
User Assistance Characteristics of the USE Model Checking Tool.
In Catherine Dubois, Paolo Masci, and Dominique Mery, editors, Proc.
Workshop Formal Integrated Development Environments (FIDE 2016),
pages 91-97. EPTCS 240, 2016.
(15 pages, PDF: 665kb via
HTTP)
- [Hilken and Gogolla, 2016b]
- Frank Hilken
and Martin Gogolla.
Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using
Filmstripping.
In Paris Kitsos, editor, Proc. Digital System Design (DSD'2016),
pages 708-713. IEEE, 2016.
(8 pages, PDF: 218kb via
HTTP)
- [Hilken et al., 2016a]
- Frank
Hilken, Philipp Niemann, Martin Gogolla, and Robert Wille.
Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL
Models.
In Andreas Oberweis and Ralf Reussner, editors, Proc.
Modellierung (MODELLIERUNG'2016), pages 115-122. GI, LNI 254,
2016.
(8 pages, PDF: 225kb via
HTTP)
- [Hilken et al., 2016b]
- Frank Hilken,
Marcel Schuster, Karsten Sohr, and Martin Gogolla.
Integrating UML/OCL Derived Properties into Validation and Verification
Processes.
In Achim D. Brucker, Jordi Cabot, and Adolfo Sanchez-Barbudo Herrera, editors,
Proc. Workshop OCL and Textual Modelling (2016), pages
89-104. CEUR WS Proceedings 1756, 2016.
(16 pages, PDF: 524kb via
HTTP)
- [Niemann et al., 2016]
- Philipp Niemann,
Frank Hilken, Martin Gogolla, and Robert Wille.
Extracting Frame Conditions from Operation Contracts.
In Jens Knoop and Uwe Zdun, editors, Proc. Fachtagung Software
Engineering (SE 2016), pages 89-90. LNI 252, 2016.
(2 pages, PDF: 40kb via
HTTP)
- [Przigoda et al., 2016]
- Nils
Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, and Rolf
Drechsler.
Integrating an SMT-Based ModelFinder into USE.
In Michalis Famelis, Daniel Ratiu, and Gehan M. K. Selim, editors, Proc.
Workshop Model-Driven Engineering, Verification and Validation (MoDeVVa
2016), pages 40-45. CEUR WS Proceedings 1713, 2016.
(6 pages, PDF: 157kb via
HTTP)
- [Sedlmeier and Gogolla,
2016]
- Matthias Sedlmeier and Martin Gogolla.
Towards Flexible Model Analysis and Constraint Development: A Small Demo Based
on Large Real-Life Data.
In Dimitris Kolovos, Davide di Ruscio, Nicholas Matragkas, Jesus Sanchez
Cuadrado, Istvan Rath, and Massimo Tisi, editors, Proc. Workshop
Scalable Model Driven Engineering (BigMDE 2016), pages 1-10. CEUR
Proceedings 1652, 2016.
(10 pages, PDF: 509kb via
HTTP)
- [Chechik et al., 2015]
- Marsha Chechik,
Geri Georg, Martin Gogolla, Jean-Marc Jezequel, Bernhard Rumpe, and Martin
Schindler.
In Memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from
1999 to 2015.
Journal on Software and Systems Modeling, Springer, DE,
14(2):525-532, 2015.
(8 pages, PDF: 1058kb via
HTTP)
- [Gogolla, 2015a]
- Martin Gogolla.
An Approach to Employ Modeling in a Traditional Computer Science Curriculum
or: Why Posing Essentials of the Object Constraint Language without Objects
and Constraints?
In Tony Clark and Arnon Sturm, editors, Proc. 11th MODELS Educators'
Symposium (EduSymp 2015), pages 6-16, http://ceur-ws.org/,
2015. CEUR Proceedings, Vol. 1555.
(6 pages, PDF: 196kb via
HTTP)
- [Gogolla, 2015b]
- Martin Gogolla.
Experimenting with Multi-Level Models in a Two-Level Modeling Tool.
In Colin Atkinson, Georg Grossmann, Thomas Kühne, and Juan de Lara,
editors, Proc. 2nd Int. Workshop on Multi-Level
Modelling (MULTI'2015), pages 3-11,
http://ceur-ws.org/Vol-1505/, 2015. CEUR Proceedings, Vol. 1505.
(9 pages, PDF: 273kb via
HTTP)
- [Gogolla and Hilken, 2015]
- Martin
Gogolla and Frank Hilken.
UML and OCL Transformation Model Analysis: Checking Invariant Independence.
In Moussa Amrani, Eugene Syriani, and Manuel Wimmer, editors, Proc. 4th
Int. Workshop on Verification of Model Transformation (VOLT'2015),
pages 20-27, http://ceur-ws.org/, 2015. CEUR Proceedings,
Vol. 1530.
(8 pages, PDF: 290kb via
HTTP)
- [Gogolla et al., 2015a]
- Martin Gogolla,
Lars Hamann, Frank Hilken, and Matthias Sedlmeier.
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized
Case Study.
In Jasmin Blanchette and Nikolai Kosmatov, editors, Proc. 9th Int. Conf.
Tests and Proofs (TAP 2015), pages 129-136. Springer, LNCS 9154,
2015.
LNCS paper (8 pages) and addendum (28 pages).
(36 pages, PDF: 241kb via
HTTP)
- [Gogolla et al., 2015b]
- Martin Gogolla,
Lars Hamann, Frank Hilken, and Matthias Sedlmeier.
Modeling Behavior with Interaction Diagrams in a UML and OCL Tool.
In Ella Roubtsova, Ashley McNeile, Ekkart Kindler, and Christian Gerth,
editors, Behavior Modeling: Foundations and Applications, Int.
Workshops BM-FA 2009-2014, pages 31-58. Springer, LNCS 6368,
2015.
(28 pages, PDF: 407kb via
HTTP)
- [Gogolla et al., 2015c]
- Martin
Gogolla, Antonio Vallecillo, Loli Burgueno, and Frank Hilken.
Employing Classifying Terms for Testing Model Transformations.
In Jordi Cabot and Alexander Egyed, editors, Proc. 18th Int. Conf. Model
Driven Engineering Languages and Systems (MoDELS'2015), pages
312-321. ACM, 2015.
(10 pages, PDF: 937kb via
HTTP)
- [Hamann and Gogolla, 2015]
- Lars Hamann
and Martin Gogolla.
Endogene Metamodellierung der Semantik von neueren UML2 Sprachmitteln.
In Uwe Aßmann, Birgit Demuth, Thorsten Spitta, Georg Püschel, and Ronny
Kaiser, editors, Proc. Software Engineering (2015), pages
31-32. GI, LNI 239, 2015.
(2 pages, PDF: 62kb via
HTTP)
- [Hamann et al., 2015]
- Lars Hamann,
Martin Gogolla, and Karsten Sohr.
Monitoring Database Access Constraints with an RBAC Metamodel: A Feasibility
Study.
In Frank Piessens, Juan Caballero, and Nataliia Bielova, editors, Proc.
7th Int. Conf. Engineering Secure Software and Systems (ESSOS 2015),
pages 211-226. Springer, LNCS 8978, 2015.
(16 pages, PDF: 427kb via
HTTP)
- [Hilken et al., 2015a]
- Frank Hilken, Loli
Burgueno, Martin Gogolla, and Antonio Vallecillo.
Iterative Development of Transformation Models by Using Classifying Terms.
In Juergen Dingel, Sahar Kokaly, Levi Lecio, Rick Salay, and Hans Vangheluwe,
editors, Proc. Int. Workshop on Analysis of Model
Transformations (AMT'2015), pages 1-6,
http://ceur-ws.org/Vol-1500/, 2015. CEUR Proceedings, Vol. 1500.
(6 pages, PDF: 172kb via
HTTP)
- [Hilken et al., 2015b]
- Frank Hilken,
Philipp Niemann, Martin Gogolla, and Robert Wille.
From UML/OCL to Base Models: Transformation Concepts for Generic Validation
and Verification.
In Dimitris Kolovos and Manuel Wimmer, editors, Proc. 8th Int. Conf.
Model Transformation (ICMT 2015), pages 1-17. Springer,
LNCS 9152, 2015.
(16 pages, PDF: 505kb via
HTTP)
- [Niemann et al., 2015a]
- Philipp Niemann,
Frank Hilken, Martin Gogolla, and Robert Wille.
Assisted Generation of Frame Conditions for Formal Models.
In Wolfgang Nebel and David Atienza, editors, Proc. Design, Automation
and Test in Europe (DATE'2015), pages 309-312. ACM, 2015.
(4 pages, PDF: 138kb via
HTTP)
- [Niemann et al., 2015b]
- Philipp
Niemann, Frank Hilken, Martin Gogolla, and Robert Wille.
Extracting Frame Conditions from Operation Contracts.
In Jordi Cabot and Alexander Egyed, editors, Proc. 18th Int. Conf. Model
Driven Engineering Languages and Systems (MoDELS'2015), pages
266-275. ACM, 2015.
(10 pages, PDF: 277kb via
HTTP)
- [Sedlmeier and Gogolla, 2015]
- Matthias
Sedlmeier and Martin Gogolla.
Model Driven ActiveRecord with yEd.
In Tatjana Welzer, Hannu Jaakkola, Bernhard Thalheim, Yasushi Kiyoki, and
Naofumi Yoshida, editors, Proc. Int. 25th Int. Conf. Information
Modelling and Knowledge Bases (EJC'2015), pages 65-76. IOS Press,
Amsterdam, 2015.
(36 pages, PDF: 565kb via
HTTP)
- [Amrani et al., 2014]
- Moussa Amrani,
Eugene Syriani, Manuel Wimmer, Robert Bill, Martin Gogolla, Frank Hermann,
and Kevin Lano.
Report on the Third Workshop on Verification of Model Transformations.
In Moussa Amrani, Eugene Syriani, and Manuel Wimmer, editors, Proc. 3rd
Int. Workshop on Verification of Model Transformation (VOLT'2014),
pages 1-9, http://ceur-ws.org/, 2014. CEUR Proceedings,
Vol. 1325.
(7 pages, PDF: 142kb via
HTTP)
- [Brucker et al., 2014a]
- Achim D.
Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla,
Frédéric Jouault, Ernest Teniente, and Burkhart Wolff.
Panel Discussion: Proposals for Improving OCL.
In Achim D. Brucker, Carolina Dania, Geri Georg, and Martin Gogolla, editors,
Proc. Int. Workshop on OCL (OCLWS'2014), pages 83-99,
http://ceur-ws.org/Vol-1285/, 2014. CEUR Proceedings, Vol. 1285.
(17 pages, PDF: 380kb via
HTTP)
- [Brucker et al., 2014b]
- Achim D.
Brucker, Carolina Dania, Geri Georg, and Martin Gogolla, editors.
Proc. MODELS'2014 OCL Workshop, http://ceur-ws.org/Vol-1285/,
2014. CEUR Workshop Proceedings, Vol. 1285.
Satellite Events at the MODELS'2014 Conference.
- [Büttner and Gogolla,
2014]
- Fabian Büttner and Martin Gogolla.
On OCL-Based Imperative Languages.
Journal on Science of Computer Programming, Elsevier, NL,
92:162-178, 2014.
(22 pages, PDF: 451kb via
HTTP)
- [Büttner et al., 2014]
- Fabian
Büttner, Ullrich Bartels, Lars Hamann, Oliver Hofrichter, Mirco Kuhlmann,
Martin Gogolla, Lutz Rabe, Frank Steimke, Yorck Rabenstein, and Alina
Stosiek.
Model-Driven Standardization of Public Authority Data Interchange.
Journal on Science of Computer Programming, Elsevier, NL,
89:162-175, 2014.
(17 pages, PDF: 381kb via
HTTP)
- [Cheng et al., 2014]
- Betty H.C. Cheng,
Kerstin I. Eder, Martin Gogolla, Lars Grunske, Marin Litoiu, Hausi A.
Müller, Patrizio Pelliccione, Anna Perini, Nauman A. Qureshi, Bernhard
Rumpe, Daniel Schneider, Frank Trollmann, and Norha M. Villegas.
Using Models at Runtime to Address Assurance for Self-Adaptive Systems.
In Nelly Bencomo, Robert B. France, Betty H. C. Cheng, and Uwe Aßmann,
editors, Models@run.time - Foundations, Applications, and
Roadmaps, pages 101-136. Springer, Berlin, LNCS 8378, 2014.
(36 pages, PDF: 750kb via
HTTP)
- [Gogolla et al., 2014a]
- Martin Gogolla,
Lars Hamann, and Frank Hilken.
Checking Transformation Model Properties with a UML and OCL Model Validator.
In Moussa Amrani, Eugene Syriani, and Manuel Wimmer, editors, Proc. 3rd
Int. Workshop on Verification of Model Transformation (VOLT'2014),
pages 16-25, http://ceur-ws.org/, 2014. CEUR Proceedings,
Vol. 1325.
(25 pages, PDF: 362kb via
HTTP)
- [Gogolla et al., 2014b]
- Martin Gogolla,
Lars Hamann, and Frank Hilken.
On Static and Dynamic Analysis of UML and OCL Transformation Models.
In Jürgen Dingel, Juan de Lara, Levi Lucio, and Hans Vangheluwe, editors,
Proc. Int. Workshop on Analysis of Model
Transformations (AMT'2014), pages 24-33,
http://ceur-ws.org/Vol-1277/, 2014. CEUR Proceedings, Vol. 1277.
(10 pages, PDF: 243kb via
HTTP)
- [Gogolla et al., 2014c]
- Martin
Gogolla, Lars Hamann, Frank Hilken, Mirco Kuhlmann, and Robert B. France.
From Application Models to Filmstrip Models: An Approach to Automatic
Validation of Model Dynamics.
In Hans-Georg Fill, Dimitris Karagiannis, and Ulrich Reimer, editors,
Proc. Modellierung (MODELLIERUNG'2014), pages 273-288. GI,
LNI 225, 2014.
(16 pages, PDF: 393kb via
HTTP)
- [Gogolla et al., 2014d]
- Martin Gogolla,
Lars Hamann, Frank Hilken, Matthias Sedlmeier, and Quang Dung Nguyen.
Behavior Modeling with Interaction Diagrams in a UML and OCL Tool.
In Ella Roubtsova, Christian Gerth, Ekkart Kindler, and Ashley McNeile,
editors, Proc. 6th Workshop Behaviour Modelling - Foundations and
Applications (BMFA'2014). ACM Digital Library, Vol. 2630768,
2014.
(12 pages, PDF: 284kb via
HTTP)
- [Gogolla et al., 2014e]
- Martin Gogolla,
Matthias Sedlmeier, Lars Hamann, and Frank Hilken.
On Metamodel Superstructures Employing UML Generalization Features.
In Colin Atkinson, Georg Grossmann, Thomas Kühne, and Juan de Lara,
editors, Proc. Int. Workshop on Multi-Level
Modelling (MULTI'2014), pages 13-22,
http://ceur-ws.org/Vol-1286/, 2014. CEUR Proceedings, Vol. 1286.
(10 pages, PDF: 312kb via
HTTP)
- [Hamann et al., 2014a]
- Lars Hamann,
Martin Gogolla, and Oliver Hofrichter.
Zur Integration von Struktur- und Verhaltensmodellierung mit OCL.
In Wilhelm Hasselbring and Nils Christian Ehmke, editors, Proc. Software
Engineering (2014), pages 75-76. GI, LNI 227, 2014.
(2 pages, PDF: 57kb via
HTTP)
- [Hamann et al., 2014b]
- Lars Hamann,
Frank Hilken, and Martin Gogolla.
Collected Experience and Thoughts on Long Term Development of an Open Source
MDE Tool.
In Francis Bordelau, Jürgen Dingel, Sebastien Gerard, and Sebastian Voss,
editors, Proc. Int. Workshop on Open Source Software for Model Driven
Engineering (OSS4MDE'2014), pages 42-52,
http://ceur-ws.org/Vol-1290/, 2014. CEUR Proceedings, Vol. 1290.
(10 pages, PDF: 1720kb via
HTTP)
- [Hilken et al., 2014a]
- Frank Hilken, Lars
Hamann, and Martin Gogolla.
Transformation of UML and OCL Models into Filmstrip Models.
In Davide Di Ruscio and Dániel Varró, editors, Proc. 7th
Int. Conf. Model Transformation (ICMT 2014), pages 170-185.
Springer, LNCS 8568, 2014.
(16 pages, PDF: 438kb via
HTTP)
- [Hilken et al., 2014b]
- Frank Hilken,
Philipp Niemann, Martin Gogolla, and Robert Wille.
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML
and OCL Behavioral Models.
In Martina Seidl and Nikolai Tillmann, editors, Proc. 8th Int. Conf.
Tests and Proofs (TAP 2014), pages 99-116. Springer, LNCS 8570,
2014.
(18 pages, PDF: 352kb via
HTTP)
- [Hilken et al., 2014c]
- Frank Hilken,
Philipp Niemann, Robert Wille, and Martin Gogolla.
Towards a Base Model for UML and OCL Verification.
In Frédéric Boulanger, Michalis Famelis, and Daniel Ratiu, editors,
Proc. 11th Int. Workshop on Model Driven Engineering, Verification and
Validation Workshop (MODEVVA'2014), pages 59-68,
http://ceur-ws.org/Vol-1235/, 2014. CEUR Proceedings, Vol. 1235.
(10 pages, PDF: 283kb via
HTTP)
- [Sedlmeier and Gogolla, 2014]
- Matthias
Sedlmeier and Martin Gogolla.
Design and Prototypical Implementation of an Integrated Graph-Based Conceptual
Data Model.
In Bernhard Thalheim, Hannu Jaakkola, Yasushi Kiyoki, and Naofumi Yoshida,
editors, Proc. Int. 24th Int. Conf. Information Modelling and
Knowledge Bases (EJC'2014), pages 376-395. IOS Press, Amsterdam,
2014.
(20 pages, PDF: 1195kb via
HTTP)
- [Brucker et al., 2013]
- Achim D.
Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri
Plotnikov, Bernhard Rumpe, Edward D. Willink, and Burkhart Wolff.
Report on the Aachen OCL Meeting.
In Jordi Cabot, Martin Gogolla, István Ráth, and Edward D. Willink,
editors, Proc. Int. Workshop on OCL (OCLWS'2013), pages
103-111, http://ceur-ws.org/Vol-1092/, 2013. CEUR Proceedings,
Vol. 1092.
(9 pages, PDF: 534kb via
HTTP)
- [Cabot et al., 2013]
- Jordi Cabot, Martin
Gogolla, István Ráth, and Edward D. Willink, editors.
Proc. MODELS'2013 OCL Workshop, http://ceur-ws.org/Vol-1092/,
2013. CEUR Workshop Proceedings, Vol. 1092.
Satellite Events at the MODELS'2013 Conference.
- [Clark et al., 2013]
- Tony Clark,
Robert B. France, Martin Gogolla, and Bran Selic.
Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182).
Dagstuhl Reports, 3(4):188-226, 2013.
(40 pages, PDF: 1336kb via
HTTP)
- [Dubois et al., 2013]
- Catherine
Dubois, Michalis Famelis, Martin Gogolla, Leonel Nobrega, Ileana Ober,
Martina Seidl, and Markus Völter.
Research Questions for Validation and Verification in the Context of
Model-Based Engineering.
In Frederic Boulanger, Michalis Famelis, and Daniel Ratiu, editors,
Proc. 10th Int. Workshop on Model Driven Engineering, Verification and
Validation (MODEVVA'2013), pages 67-76,
http://ceur-ws.org/Vol-1069/, 2013. CEUR Proceedings, Vol. 1069.
(10 pages, PDF: 241kb via
HTTP)
- [Gogolla, 2013a]
- Martin Gogolla.
Employing the Object Constraint Language in Model-Based Engineering.
In Pieter Van Gorp, Tom Ritter, and Louise Rose, editors, Proc. 9th
European Conf. Modelling Foundations and Applications (ECMFA 2013),
pages 1-2. Springer, Berlin, LNCS 7949, 2013.
Invited talk.
(2 pages, PDF: 39kb via
HTTP)
- [Gogolla, 2013b]
- Martin
Gogolla, editor.
Proc. MODELS'2013 Doctoral Symposium,
http://ceur-ws.org/Vol-1071/, 2013. CEUR Workshop Proceedings,
Vol. 1071.
Satellite Events at the MODELS'2013 Conference.
- [Gogolla et al., 2013]
- Martin Gogolla,
Fabian Büttner, and Jordi Cabot.
Initiating a Benchmark for UML and OCL Analysis Tools.
In Margus Veanes and Luca Vigano, editors, Proc. 7th Int. Conf. Tests
and Proofs (TAP 2013), pages 115-132. Springer, Berlin,
LNCS 7942, 2013.
PDF contains LNCS conference paper (18 pp) plus additional material (30
pp).
(48 pages, PDF: 818kb via
HTTP)
- [Hamann and Gogolla, 2013]
- Lars Hamann
and Martin Gogolla.
Endogenous Metamodeling Semantics for Structural UML2 Concepts.
In Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, and
Peter J. Clarke, editors, Proc. 16th Int. Conf. Model Driven
Engineering Languages and Systems (MoDELS'2013), pages 488-504.
Springer, Berlin, LNCS 8107, 2013.
(17 pages, PDF: 587kb via
HTTP)
- [Hofrichter et al., 2013]
- Oliver
Hofrichter, Martin Gogolla, and Karsten Sohr.
UML/OCL based Design and Analysis of Role-Based Access Control Policies.
In Balbir Barn, Tony Clark, Robert France, Ulrich Frank, Vinay Kulkarni, and
Dan Turk, editors, Proc. Int. Workshop Towards the Model Driven
Organization (AMINO 2013), pages 33-42,
http://ceur-ws.org/Vol-1102/, 2013. CEUR Proceedings, Vol. 1102.
(10 pages, PDF: 328kb via
HTTP)
- [Kuhlmann et al., 2013]
- Mirco Kuhlmann,
Karsten Sohr, and Martin Gogolla.
Employing UML and OCL for Designing and Analyzing Role-Based Access Control.
Journal on Mathematical Structures in Computer Science, Cambridge
University Press, UK, 23(4):796-833, 2013.
(36 pages, PDF: 776kb via
HTTP)
- [Mustafa, 2013]
- Tanveer Mustafa.
Static Security Analysis of Java Applications with an Approach Based on
Design by Contract.
PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik,
2013.
- [Wille et al., 2013]
- Robert Wille, Martin
Gogolla, Mathias Soeken, Mirco Kuhlmann, and Rolf Drechsler.
Towards a Generic Verification Methodology for System Models.
In Proc. Design, Automation and Test in Europe (DATE'2013),
pages 1193-1196. European Design and Automation Association (EDAA),
2013.
(4 pages, PDF: 148kb via
HTTP)
- [Balaban et al., 2012]
- Mira Balaban,
Jordi Cabot, Martin Gogolla, and Claas Wilke.
Workshop on OCL and Textual Modeling: OCL 2012.
In Mira Balaban, Jordi Cabot, Martin Gogolla, and Claas Wilke, editors,
Proc. 12th Int. Workshop Object Constraint Language (OCL
2012), pages 5-6. ACM Digital Library, 2012.
(2 pages, PDF: 42kb via
HTTP)
- [Brüning et al., 2012]
- Jens
Brüning, Martin Gogolla, Lars Hamann, and Mirco Kuhlmann.
Evaluating and Debugging OCL Expressions in UML Models.
In Achim D. Brucker and Jacques Julliand, editors, Proc. 6th Int. Conf.
Tests and Proofs (TAP 2012), pages 156-162. Springer, Berlin,
LNCS 7305, 2012.
(7 pages, PDF: 158kb via
HTTP)
- [Büttner et al., 2012]
- Fabian
Büttner, Marina Egea, Jordi Cabot, and Martin Gogolla.
Verification of ATL Transformations Using Transformation Models and Model
Finders.
In Kokichi Futatsugi and Shaoying Liu, editors, Proc. 14th Int. Conf.
Formal Engineering Methods (ICFEM 2012), pages 198-213. Springer,
Berlin, LNCS 7635, 2012.
(16 pages, PDF: 342kb via
HTTP)
- [Cabot and Gogolla, 2012]
- Jordi Cabot and
Martin Gogolla.
Object Constraint Language (OCL): A Definitive Guide.
In Marco Bernardo, Vittorio Cortellessa, and Alphonso Pierantonio, editors,
Proc. 12th Int. School Formal Methods for the Design of Computer,
Communication and Software Systems: Model-Driven Engineering, pages
58-90. Springer, Berlin, LNCS 7320, 2012.
(33 pages, PDF: 352kb via
HTTP)
- [Dang and Gogolla, 2012]
- Duc-Hanh Dang and
Martin Gogolla.
An Approach for Quality Assurance of Model Transformations.
In Kim Hung Le and Ngoc Binh Nguyen, editors, Proc. 4th Int. Conf.
Knowledge and Systems Engineering (KSE 2012), pages 223-230. IEEE
CPS, 2012.
(8 pages, PDF: 367kb via
HTTP)
- [Gogolla and Vallecillo, 2012]
- Martin
Gogolla and Antonio Vallecillo.
On Explaining Modeling Principles with Modeling Examples: A Classification
Catalog.
In Dan Chiorean and Benoit Combemale, editors, Proc. 8th MODELS
Educators' Symposium (EduSymp 2012), pages 28-31. ACM Digital
Library, 2012.
(4 pages, PDF: 172kb via
HTTP)
- [Hamann et al., 2012a]
- Lars
Hamann, Fabian Büttner, Mirco Kuhlmann, and Martin Gogolla.
Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE.
In Elmar J. Sinz and Andy Schürr, editors, Proc.
Modellierung (MODELLIERUNG'2012), pages 155-170. Springer,
LNI 201, 2012.
(16 pages, PDF: 294kb via
HTTP)
- [Hamann et al., 2012b]
- Lars Hamann, Martin
Gogolla, and Daniel Honsel.
Towards Supporting Multiple Execution Environments for UML/OCL Models at
Runtime.
In Nelly Bencomo, Gordon Blair, Sebastian Götz, Brice Morin, and Bernhard
Rumpe, editors, Proc. 7th Int. Workshop Models at Runtime (MRT
2012), pages 46-51. ACM Digital Library, 2012.
(6 pages, PDF: 1141kb via
HTTP)
- [Hamann et al., 2012c]
- Lars Hamann,
Oliver Hofrichter, and Martin Gogolla.
OCL-Based Runtime Monitoring of Applications with Protocol State Machines.
In Antonio Vallecillo and Juha-Pekka Tolvanen, editors, Proc. 8th
European Conf. Modelling Foundations and Applications (ECMFA 2012),
pages 384-399. Springer, Berlin, LNCS 7349, 2012.
(16 pages, PDF: 429kb via
HTTP)
- [Hamann et al., 2012d]
- Lars Hamann,
Oliver Hofrichter, and Martin Gogolla.
Towards Integrated Structure and Behavior Modeling with OCL.
In Robert France, Juergen Kazmeier, Ruth Breu, and Colin Atkinson, editors,
Proc. 15th Int. Conf. Model Driven Engineering Languages and
Systems (MoDELS'2012), pages 235-251. Springer, Berlin,
LNCS 7590, 2012.
(17 pages, PDF: 266kb via
HTTP)
- [Hamann et al., 2012e]
- Lars Hamann,
Laszlo Vidacs, Martin Gogolla, and Mirco Kuhlmann.
Abstract Runtime Monitoring with USE.
In Tom Mens, Anthony Cleve, and Rudolf Ferenc, editors, Proc. European
Conf. Software Maintenance and Reengineering (CSMR'2012), pages
549-552. IEEE, 2012.
(4 pages, PDF: 964kb via
HTTP)
- [Hofrichter et al., 2012]
- Oliver
Hofrichter, Lars Hamann, Martin Gogolla, and Frank Steimke.
The Secret Life of OCL Constraints.
In Mira Balaban, Jordi Cabot, Martin Gogolla, and Claas Wilke, editors,
Proc. 12th Int. Workshop Object Constraint Language (OCL
2012), pages 63-64. ACM Digital Library, 2012.
(2 pages, PDF: 201kb via
HTTP)
- [Kuhlmann and Gogolla, 2012a]
- Mirco
Kuhlmann and Martin Gogolla.
From UML and OCL to Relational Logic and Back.
In Robert France, Juergen Kazmeier, Ruth Breu, and Colin Atkinson, editors,
Proc. 15th Int. Conf. Model Driven Engineering Languages and
Systems (MoDELS'2012), pages 415-431. Springer, Berlin,
LNCS 7590, 2012.
(17 pages, PDF: 316kb via
HTTP)
- [Kuhlmann and Gogolla, 2012b]
- Mirco
Kuhlmann and Martin Gogolla.
Strengthening SAT-Based Validation of UML/OCL Models by Representing
Collections as Relations.
In Antonio Vallecillo and Juha-Pekka Tolvanen, editors, Proc. 8th
European Conf. Modelling Foundations and Applications (ECMFA 2012),
pages 32-48. Springer, Berlin, LNCS 7349, 2012.
(17 pages, PDF: 338kb via
HTTP)
- [Kuhlmann et al., 2012]
- Mirco
Kuhlmann, Lars Hamann, Martin Gogolla, and Fabian Büttner.
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency.
Journal on Software and Systems Modeling, Springer, DE,
11(2):165-182, 2012.
DOI 10.1007/s10270-010-0174-8.
(17 pages, PDF: 292kb via
HTTP)
- [Sohr et al., 2012]
- Karsten Sohr, Mirco
Kuhlmann, Martin Gogolla, Hongxin Hu, and Gail-Joon Ahn.
Comprehensive Two-Level Analysis of Role-Based Delegation and Revocation
Policies with UML and OCL.
Journal on Information and Software Technology, Elsevier, NL,
54(12):1396-1417, 2012.
(54 pages, PDF: 801kb via
HTTP)
- [Vallecillo and Gogolla,
2012]
- Antonio Vallecillo and Martin Gogolla.
Typing Model Transformations Using Tracts.
In Zhenjiang Hu and Juan de Lara, editors, Proc. 5th Int. Conf. Model
Transformation (ICMT 2012), pages 56-71. Springer, Berlin,
LNCS 7307, 2012.
(16 pages, PDF: 307kb via
HTTP)
- [Vallecillo et al., 2012]
- Antonio
Vallecillo, Martin Gogolla, Loli Burgueno, Manuel Wimmer, and Lars Hamann.
Formal Specification and Testing of Model Transformations.
In Marco Bernardo, Vittorio Cortellessa, and Alphonso Pierantonio, editors,
Proc. 12th Int. School Formal Methods for the Design of Computer,
Communication and Software Systems: Model-Driven Engineering, pages
399-437. Springer, Berlin, LNCS 7320, 2012.
(39 pages, PDF: 774kb via
HTTP)
- [Brüning and Gogolla, 2011]
- Jens
Brüning and Martin Gogolla.
UML Metamodel-based Workflow Modeling and Execution.
In Lea Kutvonen and Pontus Johnson, editors, Proc. Enterprise
Distributed Object Computing (EDOC'2011), pages 97-106. IEEE,
2011.
(10 pages, gzipped PostScript: 462kb via
HTTP, uncompressed PostScript: 1274kb via
HTTP, PDF: 329kb via
HTTP)
- [Brüning et al., 2011]
- Jens
Brüning, Lars Hamann, and Andreas Wolff.
Extending ASSL: Making UML Metamodel-based Workflows Executable.
In Jordi Cabot, Robert Clariso, Martin Gogolla, and Burkhart Wolff, editors,
Proc. Workshop OCL and Textual Modelling (OCL'2011).
ECEASST, Electronic Communications,
journal.ub.tu-berlin.de/eceasst/issue/view/56, 2011.
(13 pages, gzipped PostScript: 442kb via
HTTP, uncompressed PostScript: 1559kb via
HTTP, PDF: 228kb via
HTTP)
- [Büttner and Gogolla, 2011]
- Fabian
Büttner and Martin Gogolla.
Modular Embedding of the Object Constraint Language into a Programming
Language.
In Adenilso Simao and Carrol Morgan, editors, Proc. 14th Brazilian
Symposium on Formal Methods (SBMF'2011), pages 124-139. Springer,
Berlin, LNCS 7021, 2011.
(16 pages, gzipped PostScript: 297kb via
HTTP, uncompressed PostScript: 733kb via
HTTP, PDF: 165kb via
HTTP)
- [Büttner et al., 2011]
- Fabian
Büttner, Jordi Cabot, and Martin Gogolla.
On Validation of ATL Transformation Rules By Transformation Models.
In Harald Cichos, Frederic Fondement, Levi Lucio, and Stephan Weissleder,
editors, Proc. Workshop on Model-Driven Engineering, Verification, and
Validation (MODEVVA'2011). ACM, 2011.
(8 pages, gzipped PostScript: 355kb via
HTTP, uncompressed PostScript: 1731kb via
HTTP, PDF: 283kb via
HTTP)
- [Cabot et al., 2011]
- Jordi Cabot,
Robert Clariso, Martin Gogolla, and Burkhart Wolff, editors.
Preface for Proc. 11th International Workshop on OCL and Textual
Modelling,
http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/archive, 2011.
Electronic Communications of the EASST, Vol. 44.
Satellite Events at the TOOLS'2011 Conference.
- [Chimiak-Opoka et al.,
2011]
- Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth, Andreas Awenius,
Dan Chiorean, Sebastien Gabel, Lars Hamann, and Edward Willink.
OCL Tools Report based on the IDE4OCL Feature Model.
In Jordi Cabot, Robert Clariso, Martin Gogolla, and Burkhart Wolff, editors,
Proc. Workshop OCL and Textual Modelling (OCL'2011).
ECEASST, Electronic Communications,
journal.ub.tu-berlin.de/eceasst/issue/view/56, 2011.
(19 pages, PDF: 344kb via
HTTP)
- [Duran et al., 2011]
- Francisco Duran,
Martin Gogolla, and Manuel Roldan.
Tracing Properties of UML and OCL Models with Maude.
In Francisco Duran and Vlad Rusu, editors, Proc. Workshop Algebraic
Methods in Model-based Software Engineering (AMMSE'2011), pages
81-97. Electronic Proceedings in Theoretical Computer Science,
EPTCS 56, 2011.
(19 pages, gzipped PostScript: 2746kb via
HTTP, uncompressed PostScript: 23146kb via
HTTP, PDF: 331kb via
HTTP)
- [Gogolla, 2011a]
- Martin Gogolla.
Direction Neutral Language Transformation with Metamodels.
Dagstuhl Reports, 1(1):57-57, 2011.
Dagstuhl Seminar 11031: Bidirectional Transformations bx. Organized by
Zhenjiang Hu, Andy Schürr, Perdita Stevens, James Terwilliger. Long
version: http://www.dagstuhl.de/mat/Files/11/11031/11031.GogollaMartin1.Paper.pdf.
(14 pages, gzipped PostScript: 192kb via
HTTP, uncompressed PostScript: 2076kb via
HTTP, PDF: 141kb via
HTTP)
- [Gogolla, 2011b]
- Martin Gogolla.
Runtime Monitoring of Java Bytecode with UML and OCL Models.
Dagstuhl Reports, 1(11):107-107, 2011.
Dagstuhl Seminar 11481: Models@run.time. Organized by Uwe Aßmann, Nelly
Bencomo, Betty H.C. Cheng, Robert B. France.
- [Gogolla, 2011c]
- Martin
Gogolla.
UML and OCL in Conceptual Modeling.
In David W. Embley and Bernhard Thalheim, editors, Handbook of
Conceptual Modeling: Theory, Practice, and Research Challenges, pages
85-122. Springer, Berlin, 2011.
(43 pages, PDF: 382kb via
HTTP)
- [Gogolla and Vallecillo, 2011]
- Martin
Gogolla and Antonio Vallecillo.
Tractable Model Transformation Testing.
In Robert France, Jochen M. Küster, Behzad Bordbar, and Richard F. Paige,
editors, Proc. 7th Int. Conf. Modelling Foundations and
Applications (ECMFA'2011), pages 221-235. Springer, Berlin,
LNCS 6698, 2011.
(15 pages, gzipped PostScript: 381kb via
HTTP, uncompressed PostScript: 2476kb via
HTTP)
- [Gogolla and Wolff, 2011]
- Martin
Gogolla and Burkhart Wolff, editors.
Proc. 5th Int. Conf. Tests and Proofs (TAP'2011).
Springer, Berlin, LNCS 6706, 2011.
- [Gogolla et al., 2011]
- Martin Gogolla,
Lars Hamann, Jie Xu, and Jun Zhang.
Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques.
In Fabio Gadducci and Leonardo Mariani, editors, Proc. Workshop Graph
Transformation and Visual Modeling Techniques (GTVMT'2011).
ECEASST, Electronic Communications,
journal.ub.tu-berlin.de/eceasst/issue/view/41, 2011.
(14 pages, gzipped PostScript: 858kb via
HTTP, uncompressed PostScript: 11489kb via
HTTP)
- [Hamann et al., 2011]
- Lars Hamann,
Martin Gogolla, and Mirco Kuhlmann.
OCL-Based Runtime Monitoring of JVM Hosted Applications.
In Jordi Cabot, Robert Clariso, Martin Gogolla, and Burkhart Wolff, editors,
Proc. Workshop OCL and Textual Modelling (OCL'2011).
ECEASST, Electronic Communications,
journal.ub.tu-berlin.de/eceasst/issue/view/56, 2011.
(21 pages, gzipped PostScript: 5598kb via
HTTP, uncompressed PostScript: 39553kb via
HTTP, PDF: 2242kb via
HTTP)
- [Kuhlmann et al., 2011a]
- Mirco
Kuhlmann, Lars Hamann, and Martin Gogolla.
Extensive Validation of OCL Models by Integrating SAT Solving into USE.
In Judith Bishop and Antonio Vallecillo, editors, Proc. 49th Int. Conf.
Objects, Models, Components, and Patterns (TOOLS'2011), pages
289-305. Springer, Berlin, LNCS 6705, 2011.
(17 pages, gzipped PostScript: 4669kb via
HTTP, uncompressed PostScript: 32144kb via
HTTP)
- [Kuhlmann et al., 2011b]
- Mirco
Kuhlmann, Karsten Sohr, and Martin Gogolla.
Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with
UML and OCL .
In Jongmoon Baik, Fabio Massacci, and Mohammad Zulkernine, editors,
Proc. Secure Software Integration and Reliability
Improvement (SSIRI'2011), pages 108-117. IEEE, 2011.
(10 pages, gzipped PostScript: 433kb via
HTTP, uncompressed PostScript: 1232kb via
HTTP)
- [Bezivin et al., 2010]
- Jean
Bezivin, Robert France, Martin Gogolla, Oystein Haugen, Gabriele Taentzer,
and Daniel Varro.
Teaching Modeling: Why, When, What?
In Sudipto Ghosh, editor, Workshops and Symposia at 12th Int. Conf.
Model Driven Engineering Languages and Systems (MODELS'2009), pages
55-62. Springer, Berlin, LNCS 6002, 2010.
(8 pages, gzipped PostScript: 76kb via
HTTP, uncompressed PostScript: 156kb via
HTTP)
- [Brüning et al., 2010]
- Jens
Brüning, Martin Gogolla, and Peter Forbrig.
Modeling and Formally Checking Workflow Properties Using UML and OCL.
In Peter Forbrig and Horst Günther, editors, Proc. 9th Int. Conf.
Perspectives in Business Informatics Research (BIR'2010), pages
130-145. Springer, Berlin, LNBIP 64, 2010.
(16 pages, gzipped PostScript: 542kb via
HTTP, uncompressed PostScript: 1915kb via
HTTP)
- [Büttner, 2010]
- Fabian Büttner.
Reusing OCL in the Definition of Imperative Languages.
PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik,
2010.
- [Büttner et al., 2010]
- Fabian
Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, and Arne Lindow.
On Better Understanding OCL Collections *or* An OCL Ordered Set is not an OCL
Set.
In Sudipto Ghosh, editor, Workshops and Symposia at 12th Int. Conf.
Model Driven Engineering Languages and Systems (MODELS'2009), pages
276-290. Springer, Berlin, LNCS 6002, 2010.
(15 pages, gzipped PostScript: 287kb via
HTTP, uncompressed PostScript: 8140kb via
HTTP)
- [Cabot et al., 2010a]
- Jordi Cabot,
Joanna Chimiak-Opoka, Martin Gogolla, Frederic Jouault, and Alexander Knapp.
Ninth International Workshop on The Pragmatics of OCL and other textual
specification languages.
In Sudipto Ghosh, editor, Workshops and Symposia at 12th Int. Conf.
Model Driven Engineering Languages and Systems (MODELS'2009), pages
256-260. Springer, Berlin, LNCS 6002, 2010.
(5 pages, gzipped PostScript: 74kb via
HTTP, uncompressed PostScript: 157kb via
HTTP)
- [Cabot et al., 2010b]
- Jordi Cabot,
Tony Clark, Manuel Clavel, and Martin Gogolla.
Tenth International Workshop on OCL and Textual Modelling.
In Jürgen Dingel and Arnor Solberg, editors, Workshops and Symposia
at 13th Int. Conf. Model Driven Engineering Languages and
Systems (MODELS'2010), pages 329-333. Springer, Berlin,
LNCS 6627, 2010.
- [Dang et al., 2010a]
- Duc-Hanh Dang,
Anh-Hoang Truong, and Martin Gogolla.
Checking the Conformance between Models Based on Scenario Synchronization.
Journal of Universal Computer Science, Graz University of Technology,
Austria, 16(17):2293-2312, 2010.
(20 pages, gzipped PostScript: 1149kb via
HTTP, uncompressed PostScript: 14447kb via
HTTP)
- [Dang et al., 2010b]
- Duc-Hanh Dang,
Anh-Hoang Truong, and Martin Gogolla.
On Scenario Synchronization.
In Ahmed Bouajjani and Wei-Ngan Chin, editors, Proc. 8th Int. Symp.
Automated Technology for Verification and Analysis (ATVA'2010), pages
97-111. Springer, Berlin, LNCS 6252, 2010.
(15 pages, gzipped PostScript: 356kb via
HTTP, uncompressed PostScript: 795kb via
HTTP, PDF: 479kb via
HTTP)
- [France and Gogolla,
2010]
- Robert France and Martin Gogolla.
Essentials of the 5th Educators' Symposium at MODELS 2009.
In Sudipto Ghosh, editor, Workshops and Symposia at 12th Int. Conf.
Model Driven Engineering Languages and Systems (MODELS'2009), pages
36-39. Springer, Berlin, LNCS 6002, 2010.
(4 pages, gzipped PostScript: 64kb via
HTTP, uncompressed PostScript: 129kb via
HTTP)
- [Gogolla et al., 2010]
- Martin Gogolla,
Lars Hamann, and Mirco Kuhlmann.
Proving and Visualizing OCL Invariant Independence by Automatically Generated
Test Cases.
In Gordon Fraser and Angelo Gargantini, editors, Proc. 4th Int. Conf.
Test and Proof (TAP'2010), pages 38-54. Springer, Berlin,
LNCS 6143, 2010.
(17 pages, gzipped PostScript: 321kb via
HTTP, uncompressed PostScript: 6366kb via
HTTP)
- [Hamann and Gogolla, 2010]
- Lars Hamann
and Martin Gogolla.
Improving Model Quality by Validating Constraints with Model Unit Tests.
In Levi Lucio, Elisangela Vieira, and Stephan Weissleder, editors, Proc.
Workshop on Model-Driven Engineering, Verification, and
Validation (MODEVVA'2010), pages 49-55. IEEE, 2010.
(6 pages, PDF: 204kb via
HTTP)
- [Hamann et al., 2010]
- Lars
Hamann, Martin Gogolla, and Mirco Kuhlmann.
Zur Validierung von Kompositionsstrukturen in UML mit USE.
In Gregor Engels, Dimitris Karagiannis, and Heinrich C. Mayr, editors,
Proc. Modellierung (MODELLIERUNG'2010), pages 169-177.
Gesellschaft für Informatik, LNI P-161, 2010.
(9 pages, gzipped PostScript: 118kb via
HTTP, uncompressed PostScript: 3470kb via
HTTP)
- [Soeken et al., 2010]
- Mathias Soeken,
Robert Wille, Mirco Kuhlmann, Martin Gogolla, and Rolf Drechsler.
Verifying UML/OCL Models Using Boolean Satisfiability.
In Wolfgang Müller, editor, Proc. Design, Automation and Test in
Europe (DATE'2010). IEEE, 2010.
(4 pages, gzipped PostScript: 88kb via
HTTP, uncompressed PostScript: 226kb via
HTTP)
- [Tratt and Gogolla, 2010]
- Laurence
Tratt and Martin Gogolla, editors.
Proc. 3rd Int. Conf. on Model Transformation (ICMT'2010).
Springer, Berlin, LNCS 6142, 2010.
- [Büttner and Kuhlmann,
2009]
- Fabian Büttner and Mirco Kuhlmann.
Shortcomings of the Embedding of OCL into QVT ImperativeOCL.
In Michel R.V. Chaudron, editor, Workshops and Symposia at 11th Int.
Conf. Model Driven Engineering Languages and Systems (MODELS'2008),
pages 263-272. Springer, Berlin, LNCS 5421, 2009.
(10 pages, gzipped PostScript: 550kb via
HTTP, uncompressed PostScript: 10798kb via
HTTP)
- [Cabot et al., 2009]
- Jordi Cabot, Martin
Gogolla, and Pieter Van Gorp.
Eighth International Workshop on OCL Concepts and Tools.
In Michel R.V. Chaudron, editor, Workshops and Symposia at 11th Int.
Conf. Model Driven Engineering Languages and Systems (MODELS'2008),
pages 257-262. Springer, Berlin, LNCS 5421, 2009.
(6 pages, gzipped PostScript: 118kb via
HTTP, uncompressed PostScript: 286kb via
HTTP)
- [Dang, 2009]
- Duc-Hanh Dang.
On Integrating Triple Graph Grammars and OCL for Model-Driven
Development.
PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik,
2009.
- [Dang and Gogolla, 2009a]
- Duc-Hanh Dang
and Martin Gogolla.
On Integrating OCL and Triple Graph Grammars.
In Michel R.V. Chaudron, editor, Workshops and Symposia at 11th Int.
Conf. Model Driven Engineering Languages and Systems (MODELS'2008),
pages 124-137. Springer, Berlin, LNCS 5421, 2009.
(13 pages, gzipped PostScript: 5555kb via
HTTP, uncompressed PostScript: 21481kb via
HTTP)
- [Dang and Gogolla, 2009b]
- Duc-Hanh Dang and
Martin Gogolla.
Precise Model-Driven Transformations Based on Graphs and Metamodels.
In Dang Van Hung and Padmanabhan Krishnan, editors, Proc. 7th IEEE Int.
Conf. Software Engineering and Formal Methods (SEFM 2009), pages
307-316. IEEE, 2009.
(10 pages, gzipped PostScript: 497kb via
HTTP, uncompressed PostScript: 2639kb via
HTTP)
- [France and Gogolla, 2009]
- Robert
France and Martin Gogolla.
Educators' Symposium at MODELS 2009.
In Andy Schürr and Bran Selic, editors, Proc. 11th Int. Conf. Model
Driven Engineering Languages and Systems (MoDELS'2008), pages
753-754. Springer, Berlin, LNCS 5795, 2009.
(2 pages, gzipped PostScript: 33kb via
HTTP, uncompressed PostScript: 76kb via
HTTP)
- [Gogolla, 2009a]
- Martin Gogolla.
Object Constraint Language.
In Ling Liu and M. Tamer Öszu, editors, Encyclopedia of Database
Systems, pages 1927-1929. Springer, Berlin, 2009.
- [Gogolla, 2009b]
- Martin Gogolla.
Towards Model Validation and Verification with SAT Techniques.
In Bernd Becker, Valeria Bertacoo, Rolf Drechsler, and Masahiro Fujita,
editors, Algorithms and Applications for Next Generation SAT
Solvers. IBFI, Schloss Dagstuhl, Germany, 2009.
Dagstuhl Seminar Proceedings 09461. 11 pages.
(11 pages, gzipped PostScript: 330kb via
HTTP, uncompressed PostScript: 4877kb via
HTTP)
- [Gogolla, 2009c]
- Martin Gogolla.
Unified Modeling Language.
In Ling Liu and M. Tamer Öszu, editors, Encyclopedia of Database
Systems, pages 3232-3239. Springer, Berlin, 2009.
- [Gogolla et al., 2009]
- Martin Gogolla,
Mirco Kuhlmann, and Lars Hamann.
Consistency, Independence and Consequences in UML and OCL Models.
In Catherine Dubois, editor, Proc. 3rd Int. Conf. Test and
Proof (TAP'2009), pages 90-104. Springer, Berlin, LNCS 5668,
2009.
(16 pages, gzipped PostScript: 206kb via
HTTP, uncompressed PostScript: 2441kb via
HTTP)
- [Kuske et al., 2009]
- Sabine Kuske, Martin
Gogolla, Hans-Jörg Kreowski, and Paul Ziemann.
Towards an Integrated Graph-Based Semantics for UML.
Journal on Software and System Modeling, Springer DE,
8(3):403-422, 2009.
(19 pages, gzipped PostScript: 6533kb via
HTTP, uncompressed PostScript: 10475kb via
HTTP, PDF: 489kb via
HTTP)
- [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 Steimke,
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, uncompressed PostScript: 711kb via
HTTP)
- [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), pages 481-483. Springer, Berlin,
LNCS 5214, 2008.
(3 pages, gzipped PostScript: 52kb via
HTTP, uncompressed PostScript: 106kb via
HTTP)
- [Gogolla, 2008a]
- Martin Gogolla.
On Horizontal and Vertical Relationships between Models.
In Uwe Aßmann, Jean Bézivin, Richard Paige, Bernhard Rumpe, and
Douglas C. Schmidt, editors, Perspectives Workshop: Model Engineering
of Complex Systems (MECS). IBFI, Schloss Dagstuhl, Germany, 2008.
Dagstuhl Seminar Proceedings 08331. 4 pages.
(4 pages, gzipped PostScript: 107kb via
HTTP, uncompressed PostScript: 1544kb via
HTTP)
- [Gogolla, 2008b]
- Martin Gogolla.
Teaching Touchy Transformations.
In Michal Smialek, editor, MODELS Educators'
Symposium (EDUSYMP'2008), pages 13-25. Warsaw University,
ISBN 83-916444-8-0, 2008.
(13 pages, gzipped PostScript: 167kb via
HTTP, uncompressed PostScript: 2235kb via
HTTP, PDF: 135kb via
HTTP)
- [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), pages 585-586. Springer, Berlin,
LNCS 5088, 2008.
(2 pages, gzipped PostScript: 104kb via
HTTP, uncompressed PostScript: 1693kb via
HTTP)
- [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),
85:57-58, 2008.
ISSN 0295-6322.
(3 pages, gzipped PostScript: 175kb via
HTTP, uncompressed PostScript: 528kb via
HTTP)
- [Gogolla et al., 2008c]
- Martin
Gogolla, Mirco Kuhlmann, and Fabian Büttner.
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency.
In Krzysztof Czarnecki, editor, Proc. 11th Int. Conf. Model Driven
Engineering Languages and Systems (MoDELS'2008), pages 446-459.
Springer, Berlin, LNCS 5301, 2008.
(15 pages, gzipped PostScript: 160kb via
HTTP, uncompressed PostScript: 423kb via
HTTP)
- [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, uncompressed PostScript: 4735kb via
HTTP)
- [Kuhlmann and Gogolla, 2008b]
- Mirco
Kuhlmann and Martin Gogolla.
Modeling and Validating Mondex Scenarios Described in UML and OCL with USE.
Journal on Formal Aspects of Computing, Springer, DE,
20(1):79-100, 2008.
(25 pages, gzipped PostScript: 726kb via
HTTP, uncompressed PostScript: 28464kb via
HTTP)
- [Mustafa et al., 2008]
- Tanveer Mustafa,
Karsten Sohr, Duc-Hanh Dang, Michael Drouineaud, and Stefan Kowski.
Implementing Advanced RBAC Administration Functionality with USE.
Electronic Communications of the EASST,
http://eceasst.cs.tu-berlin.de/index.php/eceasst, 15, 2008.
MoDELS Workshop on OCL (OCL Concepts and Tools 2008), 19 Pages.
(19 pages, gzipped PostScript: 790kb via
HTTP, uncompressed PostScript: 1980kb via
HTTP)
- [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,
20(7):924-939, 2008.
Published online 13 March 2008. DOI 10.1109/TKDE.2008.28.
(14 pages, gzipped PostScript: 5437kb via
HTTP, uncompressed PostScript: 24166kb via
HTTP, PDF: 475kb via
HTTP)
- [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), pages 540-565. Springer, Berlin,
LNCS 5088, 2008.
(26 pages, gzipped PostScript: 1011kb via
HTTP, uncompressed PostScript: 17896kb via
HTTP, PDF: 645kb via
HTTP)
- [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, uncompressed PostScript: 157kb via
HTTP)
- [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, uncompressed PostScript: 181kb via
HTTP)
- [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, uncompressed PostScript: 122kb via
HTTP)
- [Gogolla et al., 2007]
- Martin Gogolla,
Fabian Büttner, and Mark Richters.
USE: A UML-Based Specification Environment for Validating UML and OCL.
Journal on Science of Computer Programming, Elsevier NL,
69:27-34, 2007.
(12 pages, gzipped PostScript: 196kb via
HTTP, uncompressed PostScript: 3118kb via
HTTP, PDF: 365kb via
HTTP)
- [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). Springer, Berlin, LNCS 4199, 2006.
(15 pages, gzipped PostScript: 330kb via
HTTP, uncompressed PostScript: 7278kb via
HTTP)
- [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, uncompressed PostScript: 421kb via
HTTP)
- [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. Springer, Berlin,
LNCS 4178, 2006.
(15 pages, gzipped PostScript: 200kb via
HTTP, uncompressed PostScript: 2004kb via
HTTP)
- [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, uncompressed PostScript: 185kb via
HTTP)
- [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, Elsevier, NL,
17(1):78-105, 2006.
(30 pages, gzipped PostScript: 528kb via
HTTP, uncompressed PostScript: 4842kb via
HTTP, PDF: 441kb via
HTTP)
- [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, uncompressed PostScript: 2505kb via
HTTP)
- [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, uncompressed PostScript: 12636kb via
HTTP)
- [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, uncompressed PostScript: 227kb via
HTTP, PDF: 129kb via
HTTP)
- [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, uncompressed PostScript: 67kb via
HTTP)
- [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, uncompressed PostScript: 190kb via
HTTP)
- [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, uncompressed PostScript: 95kb via
HTTP)
- [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, uncompressed PostScript: 948kb via
HTTP, PDF: 206kb via
HTTP)
- [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, uncompressed PostScript: 1000kb via
HTTP)
- [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, uncompressed PostScript: 1582kb via
HTTP)
- [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, Springer, DE,
4(4):386-398, 2005.
(24 pages, gzipped PostScript: 249kb via
HTTP, uncompressed PostScript: 731kb via
HTTP)
- [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, Berlin, LNCS 3844. Long Version:
EPFL (Switzerland), Technical Report LGL-REPORT-2005-001, 2005.
(14 pages, gzipped PostScript: 206kb via
HTTP, uncompressed PostScript: 4894kb via
HTTP)
- [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. Springer, Berlin,
LNCS 3679, 2005.
(16 pages, gzipped PostScript: 791kb via
HTTP, uncompressed PostScript: 6131kb via
HTTP, PDF: 404kb via
HTTP)
- [Ziemann, 2005]
- Paul Ziemann.
An Integrated Operational Semantics for a UML Core Based on Graph
Transformation.
PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik,
2005.
- [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, uncompressed PostScript: 131kb via
HTTP)
- [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, uncompressed PostScript: 158kb via
HTTP)
- [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, uncompressed PostScript: 5587kb via
HTTP)
- [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, uncompressed PostScript: 362kb via
HTTP)
- [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), pages 31-42. Electronic
Notes in Theoretical Computer Science (ENTCS), Vol. 109, Elsevier, NL,
2004.
(12 pages, gzipped PostScript: 560kb via
HTTP, uncompressed PostScript: 8829kb via
HTTP)
- [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, uncompressed PostScript: 168kb via
HTTP)
- [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, uncompressed PostScript: 877kb via
HTTP)
- [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, uncompressed PostScript: 288kb via
HTTP)
- [Gogolla and Ziemann, 2004]
- Martin
Gogolla and Paul Ziemann.
Checking BART Test Scenarios with UML's Object Constraint Language.
In Fabrice Kordon and Michel Lemoine, editors, Formal Methods for
Embedded Distributed Systems - How to master the complexity, pages
133-170. Kluwer, 2004.
(38 pages, gzipped PostScript: 193kb via
HTTP, uncompressed PostScript: 1089kb via
HTTP)
- [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, LNI P-45, 2004.
(2 pages, gzipped PostScript: 11kb via
HTTP, uncompressed PostScript: 25kb via
HTTP)
- [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, uncompressed PostScript: 102kb via
HTTP)
- [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, LNI P-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, LNI P-52, 2004.
(2 pages, gzipped PostScript: 10kb via
HTTP, uncompressed PostScript: 24kb via
HTTP)
- [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), pages 263-280. Electronic Notes in
Theoretical Computer Science (ENTCS), Vol. 130, Elsevier, NL, 2004.
(15 pages, gzipped PostScript: 178kb via
HTTP, uncompressed PostScript: 549kb via
HTTP)
- [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), pages 17-32. Electronic Notes in Theoretical
Computer Science (ENTCS), Vol. 127, No. 4, Elsevier, NL, 2004.
(16 pages, gzipped PostScript: 267kb via
HTTP, uncompressed PostScript: 808kb via
HTTP)
- [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,
Amsterdam, 2003.
(15 pages, gzipped PostScript: 124kb via
HTTP, uncompressed PostScript: 1519kb via
HTTP)
- [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, uncompressed PostScript: 462kb via
HTTP)
- [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, uncompressed PostScript: 2858kb via
HTTP)
- [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, Berlin, LNCS 2755, 2003.
(38 pages, gzipped PostScript: 1452kb via
HTTP, uncompressed PostScript: 8909kb via
HTTP)
- [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, uncompressed PostScript: 884kb via
HTTP)
- [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, uncompressed PostScript: 444kb via
HTTP)
- [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, uncompressed PostScript: 231kb via
HTTP)
- [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), pages
157-169. Electronic Notes in Theoretical Computer Science (ENTCS),
Vol. 80, Elsevier, NL, 2003.
(13 pages, gzipped PostScript: 188kb via
HTTP, uncompressed PostScript: 695kb via
HTTP)
- [Gogolla, 2002]
- Martin Gogolla.
Editorial for the Special Issue on the UML 2001 Conference.
Journal on Software and System Modeling, Springer, DE,
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), pages 84-99.
Springer, Berlin, LNCS 2460, 2002.
(15 pages, gzipped PostScript: 235kb via
HTTP, uncompressed PostScript: 3535kb via
HTTP)
- [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, uncompressed PostScript: 5467kb via
HTTP)
- [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, uncompressed PostScript: 947kb via
HTTP)
- [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), pages
160-175. Electronic Notes in Theoretical Computer Science (ENTCS),
Vol. 72, No. 3, Elsevier, NL, 2002.
(16 pages, gzipped PostScript: 95kb via
HTTP, uncompressed PostScript: 328kb via
HTTP)
- [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, uncompressed PostScript: 1929kb via
HTTP)
- [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, uncompressed PostScript: 391kb via
HTTP)
- [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), pages 11-28. Springer, Berlin,
LNCS 2335, 2002.
(19 pages, gzipped PostScript: 109kb via
HTTP, uncompressed PostScript: 494kb via
HTTP)
- [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.
Journal on Application Research of Computers, China Computer Federation,
CN, 19(8):80-84, 2002.
ISSN 1001-3695.
(5 pages, gzipped PostScript: 1269kb via
HTTP, uncompressed PostScript: 3558kb via
HTTP)
- [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, uncompressed PostScript: 295kb via
HTTP)
- [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, uncompressed PostScript: 1058kb via
HTTP)
- [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, uncompressed PostScript: 1314kb via
HTTP)
- [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, uncompressed PostScript: 349kb via
HTTP)
- [Gogolla and Kobryn, 2001]
- Martin
Gogolla and Cris Kobryn, editors.
Proc. 4th Int. Conf. Unified Modeling Language (UML'2001).
Springer, Berlin, 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, uncompressed PostScript: 747kb via
HTTP)
- [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, uncompressed PostScript: 163kb via
HTTP)
- [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, uncompressed PostScript: 137kb via
HTTP)
- [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, uncompressed PostScript: 133kb via
HTTP)
- [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, uncompressed PostScript: 3854kb via
HTTP)
- [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, uncompressed PostScript: 524kb via
HTTP)
- [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, uncompressed PostScript: 4317kb via
HTTP)
- [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, uncompressed PostScript: 371kb via
HTTP)
- [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, uncompressed PostScript: 199kb via
HTTP)
- [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, uncompressed PostScript: 38kb via
HTTP)
- [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, uncompressed PostScript: 153kb via
HTTP)
- [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, uncompressed PostScript: 851kb via
HTTP)
- [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, uncompressed PostScript: 969kb via
HTTP)
- [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, uncompressed PostScript: 377kb via
HTTP)
- [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, uncompressed PostScript: 328kb via
HTTP)
- [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, uncompressed PostScript: 5795kb via
HTTP)
- [Gogolla, 1999]
- Martin Gogolla.
Identifying Objects by Declarative Queries.
In Mike P. Papazoglou, Stefano Spaccapietra, and Zahir Tari, editors,
Advances in Object-Oriented Data Modeling, pages 255-277.
MIT Press, 1999.
(25 pages, gzipped PostScript: 138kb via
HTTP, uncompressed PostScript: 682kb via
HTTP)
- [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, uncompressed PostScript: 431kb via
HTTP)
- [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, uncompressed PostScript: 523kb via
HTTP)
- [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, uncompressed PostScript: 1845kb via
HTTP)
- [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, uncompressed PostScript: 123kb via
HTTP)
- [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, uncompressed PostScript: 265kb via
HTTP)
- [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, uncompressed PostScript: 84kb via
HTTP)
- [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, uncompressed PostScript: 714kb via
HTTP)
- [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, uncompressed PostScript: 1535kb via
HTTP)
- [Gogolla, 1998]
- Martin Gogolla.
UML for the Impatient.
Research Report 3/98, Universität Bremen, 1998.
(23 pages, gzipped PostScript: 140kb via
HTTP, uncompressed PostScript: 886kb via
HTTP)
- [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, uncompressed PostScript: 649kb via
HTTP)
- [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, Berlin,
LNCS 1376, 1998.
(16 pages, gzipped PostScript: 77kb via
HTTP, uncompressed PostScript: 353kb via
HTTP)
- [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, uncompressed PostScript: 123kb via
HTTP)
- [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, uncompressed PostScript: 472kb via
HTTP)
- [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, uncompressed PostScript: 480kb via
HTTP)
- [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, uncompressed PostScript: 383kb via
HTTP)
- [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, uncompressed PostScript: 476kb via
HTTP)
- [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, uncompressed PostScript: 279kb via
HTTP)
- [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, uncompressed PostScript: 685kb via
HTTP)
- [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, uncompressed PostScript: 456kb via
HTTP)
- [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, uncompressed PostScript: 86kb via
HTTP)
- [Richters, 1997]
- Mark Richters.
jtrl User Manual.
Internal Report, Universität Bremen, 1997.
(26 pages, gzipped PostScript: 162kb via
HTTP, uncompressed PostScript: 921kb via
HTTP)
- [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, uncompressed PostScript: 701kb via
HTTP)
- [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, uncompressed PostScript: 436kb via
HTTP)
- [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, uncompressed PostScript: 225kb via
HTTP)
- [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, uncompressed PostScript: 577kb via
HTTP)
- [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, uncompressed PostScript: 152kb via
HTTP)
- [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, uncompressed PostScript: 240kb via
HTTP)
- [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, uncompressed PostScript: 267kb via
HTTP)
- [Meyer et al., 1996]
- Bernd Meyer,
Gerhard D. Westerman, and Martin Gogolla.
Drafting ER and OO Schemas in Prototyping Environments.
Journal on Data and Knowledge Engineering, Elsevier, NL,
19(3):201-240, 1996.
(48 pages, gzipped PostScript: 106kb via
HTTP, uncompressed PostScript: 353kb via
HTTP)
- [Wagner and Gogolla,
1996]
- Annika Wagner and Martin Gogolla.
Defining Operational Behavior of Object Specifications by Attributed Graph
Transformations.
Journal on Fundamenta Informaticae, IOS Press, NL,
3,4:407-431, 1996.
(25 pages, gzipped PostScript: 93kb via
HTTP, uncompressed PostScript: 348kb via
HTTP)
- [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, uncompressed PostScript: 234kb via
HTTP)
- [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, uncompressed PostScript: 165kb via
HTTP)
- [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, uncompressed PostScript: 89kb via
HTTP)
- [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, uncompressed PostScript: 176kb via
HTTP)
- [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, uncompressed PostScript: 784kb via
HTTP)
- [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, uncompressed PostScript: 198kb via
HTTP)
- [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, uncompressed PostScript: 222kb via
HTTP)
- [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, uncompressed PostScript: 256kb via
HTTP)
- [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, uncompressed PostScript: 300kb via
HTTP)
- [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, uncompressed PostScript: 229kb via
HTTP)
- [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, uncompressed PostScript: 233kb via
HTTP)
- [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, uncompressed PostScript: 164kb via
HTTP)
- [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, uncompressed PostScript: 126kb via
HTTP)
- [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, uncompressed PostScript: 166kb via
HTTP)
- [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, uncompressed PostScript: 881kb via
HTTP)
- [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, uncompressed PostScript: 89kb via
HTTP)
- [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, uncompressed PostScript: 89kb via
HTTP)
- [Gogolla, 1994d]
- Martin
Gogolla.
Grundlagen von Entity-Relationship-Modellen.
Informatik-Skript 33, Technische Universität Braunschweig, 1994.
(62 pages, gzipped PostScript: 173kb via
HTTP, uncompressed PostScript: 500kb via
HTTP)
- [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, uncompressed PostScript: 165kb via
HTTP)
- [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, uncompressed PostScript: 165kb via
HTTP)
- [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, uncompressed PostScript: 468kb via
HTTP)
- [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, uncompressed PostScript: 230kb via
HTTP)
- [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, uncompressed PostScript: 272kb via
HTTP)
- [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, uncompressed PostScript: 98kb via
HTTP)
- [Herzig et al.,
1994b]
- Rudolf Herzig, Heiko Fischer, and Martin Gogolla.
Zur Gestaltung der Benutzeroberfläche bei der Animation von
Objektspezifikationen.
GI Datenbankrundbrief, 13:43-45, 1994.
Proc. Workshop GI-Fachgruppe Datenbanken.
(4 pages, gzipped PostScript: 77kb via
HTTP, uncompressed PostScript: 279kb via
HTTP)
- [Conrad et al., 1993]
- Stefan
Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis,
and Hans-Dieter Ehrich.
Zur Entwicklung zuverlässiger Informationssysteme in KORSO.
In H. Reichel, editor, Proc. 23. GI Jahrestagung (GI'93) - Informatik -
Wirtschaft - Gesellschaft, pages 464-469. Springer, Berlin,
Informatik Aktuell, 1993.
(6 pages, gzipped PostScript: 58kb via
HTTP, uncompressed PostScript: 144kb via
HTTP)
- [Ehrich et al.,
1993a]
- Hans-Dieter Ehrich, Martin Gogolla, Stefan Conrad, Grit Denker,
Rudolf Herzig, and Nikolaos Vlachantonis.
Beiträge zu ``Das BMFT-Verbundprojekt Korrekte Software (KORSO)''.
In Manfred Broy and Stefan Jähnichen, editors, Das
BMFT-Verbundprojekt Korrekte Software (KORSO), pages 160-161.
Informatik - Forschung und Entwicklung, Vol. 8, No. 3, 1993.
- [Ehrich et al.,
1993b]
- Hans-Dieter Ehrich, Martin Gogolla, Stefan Conrad, Grit Denker,
Rudolf Herzig, and Nikolaos Vlachantonis.
Entwicklung zuverlässiger Informationssysteme - Stand der Arbeiten im
Januar'93.
In Manfred Broy and Stefan Jähnichen, editors, Korrekte Software
durch formale Methoden - 4. KORSO-Workshop (KORSO'93), pages
50-56, 1993.
- [Gogolla, 1993a]
- Martin Gogolla.
A Computational Model for TROLL light.
In Hartmut Ehrig, Friedrich von Henke, Jose Meseguer, and Martin Wirsing,
editors, Specification and Semantics. Dagstuhl-Seminar-Report
Nr. 64, 1993.
(1 pages, gzipped PostScript: 20kb via
HTTP, uncompressed PostScript: 118kb via
HTTP)
- [Gogolla, 1993b]
- Martin
Gogolla.
Some Examples for TROLL light Templates.
In Hans-Dieter Ehrich, editor, Beiträge zu KORSO- und TROLL
light-Fallstudien, pages 51-62. Technische Universität
Braunschweig, Informatik-Bericht Nr. 93-11, 1993.
(68 pages, gzipped PostScript: 191kb via
HTTP, uncompressed PostScript: 517kb via
HTTP)
- [Gogolla, 1993c]
- Martin Gogolla.
TROLL light - A Core Language for Specifying Objects.
In Catriel Beeri, Andreas Heuer, Gunter Saake, and Susan Urban, editors,
Formal Aspects of Object Base Dynamics.
Dagstuhl-Seminar-Report Nr. 62, 1993.
(1 pages, gzipped PostScript: 31kb via
HTTP, uncompressed PostScript: 170kb via
HTTP)
- [Gogolla and Claßen, 1993]
- Martin
Gogolla and Ingo Claßen.
An Object-Oriented Design for the ACT ONE Environment.
In Maurice Nivat, Charles Rattray, Theodor Rus, and Giuseppe Scollo, editors,
Proc. 3rd Int. Conf. Algebraic Methodology and Software
Technology (AMAST'93), pages 361-368. Springer, London, Workshops
in Computing, 1993.
(8 pages, gzipped PostScript: 55kb via
HTTP, uncompressed PostScript: 134kb via
HTTP)
- [Gogolla et al., 1993a]
- Martin Gogolla,
Stefan Conrad, and Rudolf Herzig.
Sketching Concepts and Computational Model of TROLL light.
In Alfonso Miola, editor, Proc. 3rd Int. Symposium Design and
Implementation of Symbolic Computation Systems (DISCO'93), pages
17-32. Springer, Berlin, LNCS 722, 1993.
(16 pages, gzipped PostScript: 106kb via
HTTP, uncompressed PostScript: 264kb via
HTTP)
- [Gogolla et al., 1993b]
- Martin Gogolla,
Rudolf Herzig, Stefan Conrad, Grit Denker, and Nikolaos Vlachantonis.
Integrating the ER Approach in an OO Environment.
In Ramez Elmasri, Vram Kouramajian, and Bernhard Thalheim, editors,
Proc. 12th Int. Conf. Entity-Relationship Approach (ER'93),
pages 376-389. Springer, Berlin, LNCS 823, 1993.
(14 pages, gzipped PostScript: 94kb via
HTTP, uncompressed PostScript: 231kb via
HTTP)
- [Vlachantonis et al.,
1993]
- Nikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit
Denker, Stefan Conrad, and Hans-Dieter Ehrich.
Towards Reliable Information Systems: The KORSO Approach.
In Colette Rolland, Francois Bodart, and Corine Cauvet, editors, Proc.
5th Int. Conf. Advanced Information Systems Engineering (CAiSE'93),
pages 463-483. Springer, Berlin, LNCS 685, 1993.
(20 pages, gzipped PostScript: 87kb via
HTTP, uncompressed PostScript: 229kb via
HTTP)
- [Conrad and Gogolla,
1992]
- Stefan Conrad and Martin Gogolla.
An Annotated Bibliography on Object-Orientation and Deduction.
ACM SIGMOD Record, 21(1):123-132, 1992.
(10 pages, gzipped PostScript: 61kb via
HTTP, uncompressed PostScript: 150kb via
HTTP)
- [Conrad et al.,
1992]
- Stefan Conrad, Martin Gogolla, and Rudolf Herzig.
TROLL light - A Core Language for Specifying Objects.
Informatik-Bericht 92-02, Technische Universität Braunschweig,
1992.
(26 pages, gzipped PostScript: 114kb via
HTTP, uncompressed PostScript: 301kb via
HTTP)
- [Engels et al., 1992]
- Gregor Engels,
Martin Gogolla, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter,
Gunter Saake, and Hans-Dieter Ehrich.
Conceptual Modelling of Database Applications Using an Extended ER Model.
Journal on Data and Knowledge Engineering, Elsevier, NL,
9(2):157-204, 1992.
(58 pages, gzipped PostScript: 163kb via
HTTP, uncompressed PostScript: 484kb via
HTTP)
- [Gogolla, 1992a]
- Martin
Gogolla.
Contributions to ``A Framework for Software Development in KORSO''.
In Martin Wirsing, editor, A Framework for Software Development in
KORSO. Ludwig-Maximilians-Universität München, Institut
für Informatik, Bericht 9205, 1992.
- [Gogolla, 1992b]
- Martin Gogolla.
Fundamentals and Pragmatics of an Entity-Relationship Approach.
Habilitation thesis, Technische Universität Braunschweig,
Naturwissenschaftliche Fakultät, 1992.
Submitted November 1992, Accepted May 1993.
(145 pages, gzipped PostScript: 266kb via
HTTP, uncompressed PostScript: 881kb via
HTTP)
- [Herzig and Gogolla, 1992]
- Rudolf Herzig
and Martin Gogolla.
Transforming Conceptual Data Models into an Object Model.
In Günter Pernul and A Min Tjoa, editors, Proc. 11th Int. Conf.
Entity-Relationship Approach (ER'92), pages 280-298. Springer,
Berlin, LNCS 645, 1992.
(19 pages, gzipped PostScript: 108kb via
HTTP, uncompressed PostScript: 278kb via
HTTP)
- [Claßen and Gogolla,
1991]
- Ingo Claßen and Martin Gogolla.
Towards a Conceptual Model for the Environment of the Algebraic Specification
Language ACT ONE.
Forschungsbericht 91/11, Technische Universität Berlin, 1991.
(24 pages, gzipped PostScript: 100kb via
HTTP, uncompressed PostScript: 261kb via
HTTP)
- [Ehrich et al., 1991]
- Hans-Dieter Ehrich,
Martin Gogolla, and Amilcar Sernadas.
Objects and Their Specification.
In Michel Bidoit and Christine Choppy, editors, Proc. 8th Int. Workshop
Abstract Data Types (WADT'91), pages 40-65. Springer, Berlin,
LNCS 655, 1991.
(26 pages, gzipped PostScript: 97kb via
HTTP, uncompressed PostScript: 255kb via
HTTP)
- [Gogolla and Ehrich, 1991]
- Martin
Gogolla and Hans-Dieter Ehrich.
Contributions to ``COMPASS - A Comprehensive Algebraic Approach to System
Specification and Development''.
In Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, and
Don Sannella, editors, COMPASS - A Comprehensive Algebraic Approach to
System Specification and Development. Springer, Berlin, LNCS 501,
1991.
- [Gogolla and Hohenstein, 1991]
- Martin
Gogolla and Uwe Hohenstein.
Towards a Semantic View of an Extended Entity-Relationship Model.
ACM Transactions on Database Systems, 16(3):369-416,
1991.
(48 pages, gzipped PostScript: 5025kb via
HTTP, uncompressed PostScript: 47544kb via
HTTP)
- [Gogolla et al., 1991]
- Martin Gogolla,
Bernd Meyer, and Gerhard D. Westerman.
Drafting Extended Entity-Relationship Schemas with QUEER.
In Toby Teorey, editor, Proc. 10th Int. Conf. Entity-Relationship
Approach (ER'91), pages 561-585. ER Institute, San Mateo,
1991.
(25 pages, gzipped PostScript: 111kb via
HTTP, uncompressed PostScript: 290kb via
HTTP)
- [Engels et al.,
1990]
- Gregor Engels, Martin Gogolla, Uwe Hohenstein, Klaus
Hülsmann, Perdita Löhr-Richter, Gunter Saake, and Hans-Dieter Ehrich.
Conceptual Modelling of Database Applications Using an Extended ER Model.
Informatik-Bericht 90-05, Technische Universität Braunschweig,
1990.
(58 pages, gzipped PostScript: 163kb via
HTTP, uncompressed PostScript: 484kb via
HTTP)
- [Gogolla, 1990a]
- Martin
Gogolla.
A Note on the Translation of SQL to Tuple Calculus.
Bulletin of the EATCS, 40:231-236, 1990.
(5 pages, gzipped PostScript: 47kb via
HTTP, uncompressed PostScript: 117kb via
HTTP)
- [Gogolla, 1990b]
- Martin
Gogolla.
A Note on the Translation of SQL to Tuple Calculus.
ACM SIGMOD Record, 19(1):18-22, 1990.
(5 pages, gzipped PostScript: 47kb via
HTTP, uncompressed PostScript: 117kb via
HTTP)
- [Gogolla, 1990c]
- Martin
Gogolla.
Datalog - Eine deduktive Datenbanksprache.
Informatik-Skript 25, Technische Universität Braunschweig, 1990.
- [Gogolla and Karge, 1990]
- Martin Gogolla
and Ulrich Karge.
Zur formalen Semantik von SQL.
In Udo Walter Lipeck, Stefan Braß, and Gunter Saake, editors,
Kurzfassungen 2. Workshop Grundlagen von Datenbanken (GvD'90),
pages 27-29. Technische Universität Braunschweig, Informatik-Bericht
Nr. 90-02, 1990.
- [Karge and Gogolla,
1990]
- Ulrich Karge and Martin Gogolla.
Formal Semantics of SQL Queries.
Informatik-Bericht 90-02, Technische Universität Braunschweig,
1990.
- [Meyer et al., 1990]
- Bernd
Meyer, Gerhard D. Westerman, and Martin Gogolla.
QUEER - A Prolog Based Prototype for an Extended ER Approach.
Informatik-Bericht 90-03, Technische Universität Braunschweig,
1990.
(36 pages, gzipped PostScript: 136kb via
HTTP, uncompressed PostScript: 367kb via
HTTP)
- [Ehrich et al.,
1989a]
- Hans-Dieter Ehrich, Gregor Engels, Martin Gogolla, and Gunter
Saake, editors.
Abstracts Workshop Grundlagen von Datenbanken (GvD'89).
Technische Universität Braunschweig, Informatik-Bericht Nr. 89-02,
1989.
- [Ehrich et al., 1989b]
- Hans-Dieter
Ehrich, Martin Gogolla, and Udo Walter Lipeck.
Algebraische Spezifikation Abstrakter Datentypen - Eine Einführung
in die Theorie.
Leitfäden und Monographien der Informatik. Teubner, Stuttgart,
1989.
- [Gogolla, 1989a]
- Martin Gogolla.
Algebraization and Integrity Constraints for an Extended Entity-Relationship
Approach.
In Josep Diaz and Fernando Orejas, editors, Proc. 3rd Int. Joint Conf.
Theory and Practice of Software Development (TAPSOFT'89), pages
259-274. Springer, Berlin, LNCS 351, 1989.
(16 pages, gzipped PostScript: 70kb via
HTTP, uncompressed PostScript: 186kb via
HTTP)
- [Gogolla, 1989b]
- Martin Gogolla.
Zur Übersetzung eines ER-Kalküls nach Prolog.
In Hans-Dieter Ehrich, Gregor Engels, Martin Gogolla, and Gunter Saake,
editors, Abstracts Workshop Grundlagen von
Datenbanken (GvD'89). Technische Universität Braunschweig,
Informatik-Bericht Nr. 89-02, 1989.
- [Gogolla and Ehrich,
1989]
- Martin Gogolla and Hans-Dieter Ehrich.
Contributions to ``COMPASS - A Comprehensive Algebraic Approach to System
Specification and Development''.
In Bernd Krieg-Brückner, editor, COMPASS - A Comprehensive Algebraic
Approach to System Specification and Development. Universität
Bremen, Informatik-Bericht 6/89, 1989.
- [Ehrich et al., 1988]
- Hans-Dieter Ehrich,
Klaus Drosten, and Martin Gogolla.
Towards an Algebraic Semantics for Database Specification.
In Robert A. Meersman and Amilcar C. Sernadas, editors, Proc. 2nd IFIP
2.6 Working Conf. Database Semantics (DS-2'86), pages 119-135.
North Holland, Amsterdam, 1988.
- [Hohenstein and Gogolla, 1988a]
- Uwe
Hohenstein and Martin Gogolla.
A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary
Data Operations and Aggregate Functions.
In Carlo Battini, editor, Proc. 7th Int. Conf. Entity-Relationship
Approach (ER'88), pages 129-148. North-Holland, Amsterdam,
1988.
- [Hohenstein and Gogolla,
1988b]
- Uwe Hohenstein and Martin Gogolla.
Towards a Semantic View of an Extended Entity-Relationship Model.
Informatik-Bericht 88-02, Technische Universität Braunschweig,
1988.
- [Gogolla, 1987]
- Martin Gogolla.
On Parametric Algebraic Specifications with Clean Error Handling.
In Hartmut Ehrig, Robert Kowalski, and Giorgio Levi, editors, Proc. 2nd
Int. Joint Conf. Theory and Practice of Software
Development (TAPSOFT'87), pages 81-95. Springer, Berlin,
LNCS 249, 1987.
- [Ehrich et al., 1986]
- Hans-Dieter Ehrich,
Klaus Drosten, Martin Gogolla, and Udo Walter Lipeck, editors.
Abstracts 4th Int. Workshop Abstract Data Types (WADT'86).
Technische Universität Braunschweig, Informatik-Bericht Nr. 86-09,
1986.
- [Gogolla, 1986a]
- Martin Gogolla.
Exception Handling and Subsorts.
In Hans-Dieter Ehrich, Klaus Drosten, Martin Gogolla, and Udo Walter Lipeck,
editors, Abstracts 4th Int. Workshop Abstract Data
Types (WADT'86). Technische Universität Braunschweig,
Informatik-Bericht Nr. 86-09, 1986.
- [Gogolla, 1986b]
- Martin Gogolla.
Über Partiell Geordnete Sortenmengen und deren Anwendung zur
Fehlerbehandlung in Abstrakten Datentypen.
PhD thesis, Technische Universität Braunschweig, Naturwissenschaftliche
Fakultät, 1986.
Mainly material from the CAAP'84, TCS'84, WADT'84 and TAPSOFT'87 papers.
- [Gogolla, 1985a]
- Martin
Gogolla.
A Final Algebra Semantics for Errors and Exceptions.
Informatik-Bericht 85-06, Technische Universität Braunschweig,
1985.
- [Gogolla, 1985b]
- Martin Gogolla.
A Final Algebra Semantics for Errors and Exceptions.
In Hans-Jörg Kreowski, editor, Proc. 3rd Int. Workshop Abstract Data
Types (WADT'84), pages 89-103. Springer Berlin, Informatik
Fachberichte 116, 1985.
- [Lipeck et al., 1985]
- Udo Walter Lipeck,
Hans-Dieter Ehrich, and Martin Gogolla.
Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic.
In Amilcar Sernadas, Janis Bubenko, and Antoni Olive, editors, Proc.
IFIP Working Conf. Theoretical and Formal Aspects of Information
Systems (TFAIS'85), pages 145-157. North Holland, Amsterdam,
1985.
(13 pages, gzipped PostScript: 1606kb via
HTTP, uncompressed PostScript: 20511kb via
HTTP)
- [Ehrich et al., 1984]
- Hans-Dieter Ehrich,
Udo Walter Lipeck, and Martin Gogolla.
Specification, Semantics and Enforcement of Dynamic Database Constraints.
In Umeshwar Dayal, Gunter Schlageter, and Lim Huat Seng, editors, Proc.
10th Int. Conf. Very Large Data Bases (VLDB'84), pages 310-318.
Morgan Kaufmann, San Mateo, 1984.
(8 pages, gzipped PostScript: 1153kb via
HTTP, uncompressed PostScript: 12773kb via
HTTP)
- [Gogolla, 1984a]
- Martin
Gogolla.
A Final Algebra Semantics for Errors and Exceptions.
In Hans-Jörg Kreowski and Anne Wilharm, editors, Abstracts 3rd Int.
Workshop Abstract Data Types (WADT'84). Universität Bremen,
Informatik-Bericht 9/84, 1984.
- [Gogolla, 1984b]
- Martin Gogolla.
Partially Ordered Sorts in Algebraic Specifications.
In Bruno Courcelle, editor, Proc. 9th Int. Colloquium Trees in Algebra
and Programming (CAAP'84), pages 139-153. Cambridge University
Press, Cambridge, 1984.
(15 pages, gzipped PostScript: 1584kb via
HTTP, uncompressed PostScript: 20309kb via
HTTP, PDF: 1179kb via
HTTP)
- [Gogolla et al., 1984]
- Martin Gogolla,
Klaus Drosten, Udo Lipeck, and Hans-Dieter Ehrich.
Algebraic and Operational Semantics of Specifications Allowing Exceptions and
Errors.
Journal on Theoretical Computer Science, Elsevier, NL,
34:289-313, 1984.
(25 pages, gzipped PostScript: 1749kb via
HTTP, uncompressed PostScript: 22673kb via
HTTP)
- [Gogolla, 1983a]
- Martin Gogolla.
Algebraic Specification of Subsorts.
In Manfred Broy and Martin Wirsing, editors, Abstracts 2nd Int. Workshop
Abstract Data Types (WADT'83). Universität Passau,
Informatik-Bericht, 1983.
- [Gogolla, 1983b]
- Martin
Gogolla.
Algebraic Specifications with Partially Ordered Sorts and Declarations.
Forschungsbericht 169, Universität Dortmund, Abteilung Informatik,
1983.
- [Gogolla and Ehrich,
1983]
- Martin Gogolla and Hans-Dieter Ehrich.
Algebraic Specifications with Subsorts Using Declarations.
Bulletin of the EATCS, 21:31-38, 1983.
- [Drosten et al.,
1982]
- Klaus Drosten, Martin Gogolla, Hans-Dieter Ehrich, and Udo
Lipeck.
A Hierarchical Approach to an Operational Semantics for Conditional Algebraic
Specifications.
Forschungsbericht 144, Universität Dortmund, Abteilung Informatik,
1982.
- [Gogolla et al.,
1982a]
- Martin Gogolla, Klaus Drosten, Udo Lipeck, and Hans-Dieter
Ehrich.
Algebraic and Operational Semantics of Exceptions and Errors.
In Armin B. Cremers and Hans-Peter Kriegel, editors, Proc. 6th GI Conf.
Theoretical Computer Science, pages 141-151. Springer, Berlin,
LNCS 145, 1982.
- [Gogolla et al.,
1982b]
- Martin Gogolla, Klaus Drosten, Udo Lipeck, and Hans-Dieter
Ehrich.
Algebraic and Operational Semantics of Specifications Allowing Exceptions and
Errors.
Forschungsbericht 140, Universität Dortmund, Abteilung Informatik,
1982.
- [Gogolla, 1980]
- Martin Gogolla.
Eine Charakterisierung von nicht-strukturierten Flußdiagrammen.
Master's thesis, Universität Dortmund, Abteilung Informatik, 1980.
- [Coy et al., 1979]
- Wolfgang Coy, Claudio
Moraga, Friedrich Abraham, Angelika Beese, Werner Bielefeld, Magdalena
Bonsiepen, Martin Gogolla, Michael Land, and Manfred Siebert.
Adaptive und Lernende Systeme - Bericht einer Projektgruppe Wintersemester
1978 - Sommersemester 1979.
Interne Berichte und Skripten, Universität Dortmund, Abteilung
Informatik, 1979.
Home|People|Teaching|Publications
Last change: 01.12.2019