P007 - Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001
Autor*innen mit den meisten Dokumenten
Auflistung nach:
Neueste Veröffentlichungen
- KonferenzbeitragA formal mapping between UML static models and algebraic specifications(Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Favre, Liliana M.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.
- KonferenzbeitragIntegrating UML statechart and collaboration diagrams using hierarchical predicate transition nets(Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Dong, Zhijiang; He, XudongUML 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.
- KonferenzbeitragDesigning procedural 4GL applications through UML modeling(Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Davidson, Shiri; Keren, Mila; Porat, Sara; Zodik, GabiThis 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.
- KonferenzbeitragCalculating with concepts: a technique for the development of business process support(Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Dijkman, Remco M.; Ferreira Pires, Luís; Joosten, Stef M.M.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.
- KonferenzbeitragConformance testing from UML specifications experience report1(Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Bousquet, Lydie du; Martin, Hugues; Jézéquel, Jean-MarcUMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conformance test suites for protocols. Both tools are connected so that it is possible to specify an application in UML and derive automatically some test cases. In this article, the integration of those tools in an industrial process is evaluated through a case study. This case study, proposed by Gemplus, is a Java Card applet: a classical electronic purse.
- KonferenzbeitragUsing OCL beyond specifications(Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Chiorean, DanDespite of its important potential and role in defining a more rigorous modeling language and in designing and implementing safer applications, until today OCL was not used at its true value. Using the results obtained in implementing OCL support in ROCASE3, and taking into account the conclusions obtained testing the tools mentioned at http://www.klasse.nl/ocl, the paper tries to analyze this state of facts. The requirements needed in order to obtain a strong OCL support are presented. The ROCASE OCL support beyond semantical analysis is presented by means of a real example. Finally the conclusions acquired in our activity are offered.
- KonferenzbeitragTowards Efficient Code Synthesis from Statecharts(Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Björklund, Dag; Lilius, Johan; Porres, IvanThis paper describes a strategy for synthesizing efficient code from UML statecharts based on SMDL, an intermediate language with formal operational semantics. We use an intermediate language to support semantic variations in UML models and different target programming languages. SMDL models are implemented using Software Graphs that can be reduced to generated optimized code.
- KonferenzbeitragTool-support for model-driven software engineering(Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Boger, Marko; Sturm, ThorstenModel Driven Architecture is an initiative of the OMG that puts a platform and programming language independent modelling using UML in the center of the development. Transformation from high level views to technology- dependent views take place more or less automatically through mappings. However, this requires heavy tool support and so far few tools to support this idea adequately exist. In a series of papers an outlook on such tools and the effect on the possibilities for a new generation of Model-Driven Software Engineering processes are discussed. The focus in this paper lies on the execution of models and code generation from state diagrams.
- KonferenzbeitragCatalytic modeling: UML meets XP(Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Cameron Wills, AlanI have always been a strong believer and practitioner of the JFDI approach to development, which yields high morale, early identification of problems in design and of any misunderstandings of the requirements, and easily tracks changing needs as they occur. I applaud eXtreme Programming [Be00] for enunciating some excellent guiding principles that separate this approach from iterative hacking. And yet I also have always believed in using models to understand abstractions during the design; and to communicate them to others both during the design and afterwards. The one aspect of XP I’m not keen on is the disdain for documents and models other than those enshrined in the code and tests. Nevertheless, it’s undeniable that any documents separate from code and tests can and will get out of step with them, and will not be read. This position paper outlines some of my experience, as a consultant methodologist with a number of clients, in attempting to get the benefits of XP at the same time as those that follow from using modeling techniques.
- «
- 1 (current)
- 2
- 3
- »