http://dl.gi.de/handle/20.500.12116/30848 2026-07-21T13:28:35Z http://dl.gi.de/handle/20.500.12116/30870 A formal mapping between UML static models and algebraic specifications Favre, Liliana M. Evans, Andy; France, Robert B.; Moreira, Ana M. D.; Rumpe, Bernhard There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system properties. In this paper we propose a systematic approach to transform UML static models into algebraic specifications. We define the GSBLoo algebraic language to cope with concepts of UML. Firstly, we give a formal description for UML static models using GSBLoo. Then, we describe how to translate UML constructs to GSBLoo constructs. In particular, we show how to transform UML relations into GSBLoo . We propose a system of transformation rules to translate OCL constraints to GSBLoo. 2001-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/30867 Designing procedural 4GL applications through UML modeling Davidson, Shiri; Keren, Mila; Porat, Sara; Zodik, Gabi Evans, Andy; France, Robert B.; Moreira, Ana M. D.; Rumpe, Bernhard This paper presents a Unified Modeling Language (UML) model for VisualAge Generator (VG) business-oriented applications. This model was defined to bridge between two different models, the object-oriented UML design model and the VG programming model, which use a procedural high-level 4GL. We introduce a prototype tool named VG UML Modeler which is implemented as a Rational Rose Language Add-in for designing VG applications. This tool provides developers with the ability to create a UML model for VG applications, check its compatibility, and generate the appropriate VG 4GL entities. The paper describes a methodology of the design process for a sample application. 2001-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/30869 Integrating UML statechart and collaboration diagrams using hierarchical predicate transition nets Dong, Zhijiang; He, Xudong Evans, Andy; France, Robert B.; Moreira, Ana M. D.; Rumpe, Bernhard UML has become the standard object-oriented analysis and design language in software industry. However UML lacks a precise semantics that hinders error detection in the early stages of system development. Even worse, there is no clear definition of consistency criteria among various UML notations, and there are few examples of illustrating the use of various notations together. In this paper, we present an approach of using Hierarchical Predicate Transition Nets (HPrTNs) to define and integrate UML statechart diagrams and collaboration diagrams. Our approach establishes a basis for relating various UML models together and for carrying out formal analysis. 2001-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/30868 Calculating with concepts: a technique for the development of business process support Dijkman, Remco M.; Ferreira Pires, Luís; Joosten, Stef M.M. Evans, Andy; France, Robert B.; Moreira, Ana M. D.; Rumpe, Bernhard This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based on these diagrams. This paper aims at showing the industrial benefits of using such a formal and rigorous approach to reason about business processes and software applications in the early phases of the software development process. The paper discusses how the CC technique can be used in the specification of business processes and in the development of their supporting software applications or tools. This paper also illustrates the use of the tech- nique with a realistic case study on tool integration. 2001-01-01T00:00:00Z