Martin Gogolla

Papers

Total Citations

H-Index

About

Martin Gogolla is a leading figure in the field of software engineering and formal methods, with a particular focus on the Unified Modeling Language (UML) and the Object Constraint Language (OCL). His work has been instrumental in bridging the gap between informal modeling and rigorous formal verification, enabling developers to specify and validate complex system behaviors with precision. A key contribution is his pioneering research on formally modeling robot behavior using UML and OCL, as exemplified in his 2018 paper (5 citations), which demonstrates how these languages can capture intricate robotic actions and constraints. Beyond this, Gogolla has made foundational contributions to the development of OCL itself, including its semantics, tool support, and application in model-driven engineering. His impact is reflected in over 5,000 total citations, with several papers receiving hundreds of citations each, underscoring his influence on both academia and industry. Notably, he has been a driving force behind the USE (UML-based Specification Environment) tool, a widely used platform for validating UML and OCL models. Gogolla’s work continues to shape how researchers and practitioners approach formal modeling, making him a key reference for anyone exploring the intersection of modeling languages and rigorous system specification.