Detailed conceptual models are necessary, when developing systems for geographic information to ensure consistency and integrity. It is well documented in literature that geographic data have special characteristics and call for extensions to standard modeling languages and techniques like the Unified Modeling Language (UML). This paper deals with the geographic data modeling requirements as pe...

We describe our work on the prototype AutoJML tool which automatically derives JML (Java Modelling Language) specifications from UML state diagrams. UML is widely used for modelling Object-Oriented systems on an abstract level. It should be possible to test whether concrete program code actually implements a UML model. The generated JML specifications can be used for this. There exist tools to ...

Resumo. O potencial de executar-se processos de análise geográfica sobre os componentes do banco de dados geográficos é, de forma geral, a maior motivação para justificar os investimentos necessários para a sua construção. A formalização desses processos em um modelo conceitual, na fase de projeto, desvincula a necessidade de uso da terminologia específica que cada software de SIG utiliza. Esse...

As the scope of logics of action and change continues to increase and powerful research tools are developed, it becomes possible to model larger and more complex scenarios. Unfortunately the scenarios become harder to read and diicult to modify and debug with increasing size and complexity. These problems have been overlooked in the action and change community due to the fact that only smaller ...

There is much interest in developing a rm semantic basis for object-oriented modeling concepts. By providing precise characterizations of object-oriented (OO) modeling concepts one gains the ability to build precise OO models of behavior and structure that can be rigorously analyzed. In this paper we present the current results of our ongoing formalization of the Uniied Modeling Language (UML)....

The Unified Modeling Language UML and the Open Modeling Language both have introduced stereotypes as a new means for user-defined extensions of a given base language. Stereotypes are a very powerful feature. They allow modifications ranging from slight notational changes up to the redefinition of the base language. However, the power of stereotypes entails risk. Badly designed stereotypes can d...

--------OO modelling notations such as the UML embody high-quality modelling experiences, but the lack of precise semantics for the notations prohibits rigorous analysis of the models. In this paper we examine how the existing semantics of UML can be strengthened to support the development of rigorous analysis and proof techniques. Our

Wir befinden uns an Bord der Enterprise NCC-1701D und haben die Aufgabe ein Shuttle zu starten und Erkundungen innerhalb eines Nebels durchzuführen. Der Zeitdruck ist sehr groß und mit Schrecken stellen wir fest, daß auf Grund der starken Hintergrundstrahlung des Nebels der Bordcomputer teilweise gelöscht wurde. Doch glücklicherweise können wir auf die Ausbildung der Sternenflottenakademie zurü...