Contact | Legal | Deutsch German
Zur Startseite der Universität Bremen






Foto Gogolla

Mr.
Prof. Dr. Martin Gogolla

Faculty 03
Mathematics/Computer Science Mathematics/Computer Science

E-Mail: gogolla@informatik.uni-bremen.de

Affiliations | Research Topics | Cooperations | Projects | Scientific Activities | Resources


Affiliations

High-Profile Areas
» Minds Media Machines


Affiliation to an institute
Code Indication deutsch Indication englisch Funcition Keywords deutsch Keywords englisch
TZI  Technologie Zentrum Informatik und Informationstechnik  Center for Computing and Communication Technologies  Member     



Affialation to a work group
Code Indication deutsch Indication englisch Faculty Keywords deutsch Keywords englisch
AGDBS  Arbeitsgruppe Datenbanksysteme  Research Group for Database Systems  F03     




Research Topics
Engineering
» Computer Science


Cooperations

Researchers with cooperation
Institution City Category Country of origin
Koordinierungsstelle für IT-Standards Bremen Non-Profit-Companies/Self-Governing Organizations Germany
Object Management Group Needham, MA 02494 USA Non-Profit-Companies/Self-Governing Organizations United States
University of Malaga Malaga University abroad Spain
AtlanMod, Ecole des Mines de Nantes, INRIA, LINA Nantes Non-Profit-Companies/Self-Governing Organizations France



Projects

Most significant projects
Code Indication deutsch Indication englisch Cooperation partners Funding sources/agencies Term
VV4OCL Entwicklung eines modularen Frameworks für die automatische Validation und Verifikation von UML/OCL-Modellen Development of a modular framework for the automatic validation and verification of UML/OCL models AG Rechnerarchitektur, Universität Bremen DFG 2013 - 2015
XÖV-Support Datenaustausch in der öffentliche Verwaltung Dataexchange in public Administration KOSIT Bund und Land Bremen 2007 - (lau
SEGRAVIS Syntaktische und Semantische Integration Visueller Modellierungstechniken Syntactic and Semantic Integration of Visual Modelling Techniques www.segravis.org/ Drittmittel: EU (Research Training Network) 2002 - 2006
AMUSE Eine Modifikation von USE (A Modification of USE A Modification of USE (AMUSE) Universität Bremen 2002 - 2004
BOS-UML-Tutorial Schulung in UML und OCL Tutorial in UML and OCL Drittmittel: BOS GmbH, Bremen 2001 - 2001
MMISS Multimedia-Instruktion in Sicheren Systemen Multimedia Instruction in Secure Systems Drittmittel: BMBF, Bonn 2001 - 2003
UML-AID-DFG Unified Modeling Language UML - Abstrakte Implementierung und Dokumentation - DFG Unified Modeling Language UML - Abstract Implementation and Documentation - DFG Drittmittel: DFG, Bonn 2000 - 2005
UML-AID-ISP Unified Modeling Language UML - Abstrakte Implementierung und Dokumentation - ISP Unified Modeling Language UML - Abstract Implementation and Documentation - ISP Drittmittel: Land Bremen (ISP) 2000 - 2003
ATLAS-STN Re-Engineering eines Objekt-orientierten Datenbankschemas Re-Engineering of an Object-Oriented Database Schema Drittmittel: ATLAS-STN GmbH, Bremen 1999 - 2001
IDB-SOLID-UMLSpec ID Bremen - Sozialdienstleistungen im Dialog - UML-Spezifikation ID Bremen - Social Contributions in Dialog - UML Specification Drittmittel: ID Bremen GmbH 1999 - 2001
VROOM Virtuelle Realität und Objekt-Orientierte Modellierung Virtual Reality and Object-Oriented Modeling Universität Bremen 1999 - 2001
VWL-IS Verbundwerkstofflabor Informationssystem Compound Material Laboratory Information System Drittmittel: Senator für Wirtschaft und Häfen, Bremen 1998 - 2001
TROLL-light-Animator Entwicklung einer Software-Spezifikationsumgebung für TROLL light Development of a Software Specification Environment for TROLL light http://www.informatik.uni-bremen.de/agbkb/compass/wg_e.htm Drittmittel: EU (ESPRIT BRA) 1997 - 1999
SIGN Software-Implementierung durch Graphische Notation Software Implementation with a Graphical Notation Universität Bremen 1996 - 1998


Agencies that have funded your research during the past five years (public institutions and foundations)
» DFG
» Other Public Institutions


Expertise
Formal specification of safe and secure systems
Graph grammars and graph transformations
Semantics of languages, especially data base languages
Formal methods in information systems design
Object-oriented software development



Scientific Activities


Publications (Hyperlink)
Link (extern): http://www.db.informatik.uni-bremen.de/publications/ http://www.db.informatik.uni-bremen.de/publications/


Most significant Publications
Endogenous Metamodeling Semantics for Structural UML 2 Concepts (Publisher)
Type
Author(s)Lars Hamann, Martin Gogolla
Year2013
InProc. Int. Conf. on MODELS (2013)
YearSpringer, LNCS 8107
Pages488-504
Conference Paper
 
Comprehensive Two-Level Analysis of Role-Based Delegation and Revocation Policies with UML and OCL
Type
Author(s)Karsten Sohr, Mirco Kuhlmann, Martin Gogolla, Hongxin Hu, Gail-Joon Ahn
Year2012
InInformation and Software Technology
Year54
Issue12
Pages1396-1417
Article
 
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency
Type
Author(s)Mirco Kuhlmann, Lars Hamann, Martin Gogolla, Fabian Büttner
Year2012
InSoftware and Systems Modeling
Year11
Issue2
Pages165-182
Article
 
From UML and OCL to Relational Logic and Back (Publisher)
Type
Author(s)Mirco Kuhlmann, Martin Gogolla
Year2012
InProc. Int. Conf. on MODELS (2012)
IssueSpringer, LNCS 7590
Pages415-431
Conference Paper
 
USE: A UML-Based Specification Environment for Validating UML and OCL
Type
Author(s)Martin Gogolla, Fabian Büttner, Mark Richters
Year2007
InScience of Computer Programming
Year69
Pages27-34
Article
 


 

Ph.D. supervision (Hyperlink)
Link (extern): http://www.db.informatik.uni-bremen.de/publications/ http://www.db.informatik.uni-bremen.de/publications/



Resources
 




« back