Logo des Repositoriums

P007 - Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001

https://dl.gi.de/handle/20.500.12116/30848
Auflistung nach:

Auflistung P007 - Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001 nach Erscheinungsdatum

Zu einem Punkt im Index springen:
1 - 10 von 22
  • Editiertes Buch
  • Konferenzbeitrag
    A UML-integrated test description language for component testing
    (Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Pickin, Simon; Jard, Claude; Heuillard, Thierry; Jézéquel, Jean-Marc; Desfray, Philippe
    A mass market in reusable components demands a high level of compo- nent quality, testing being a crucial part of software quality assurance. For components modelled in UML there are significant advantages to using UML also for the test description language. Since we wish to describe tests of non-trivial temporal ordering properties, we define our test description language based around UML interaction diagrams, seeking inspiration from the work on conformance testing of telecom protocols. We aim at a fully integrated approach which can be captured in a UML component testing profile.
  • Konferenzbeitrag
    Formal redesign of UML class diagrams
    (Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Kosiuczenko, Piotr
    In this paper we study a formal concept of redesign for object-oriented specifications. This concept corresponds to the UML notion of abstraction. The notion of refinement, which has been extensively studied also at the formal level, models well incremental approach where new requirements are added, but can not be changed. This assumption is usually not satisfied in software engineering process where permanent change is a constant factor. We study therefore a new notion which generalizes the notion of interpretation used in algebra. This notion is very flexible and allows us for comparison of different class diagrams even if one of them contains requirements excluded by another. To compare specifications, we map model elements in the first specification on the related model elements in the second specification. This mapping defines a UML trace; it can be lifted to the level of OCL as well as to the level of first order logic and then extended to an interpretation function. We also provide a formal foundation for our concepts and prove its soundness. We demonstrate the applicability of our approach in a series of examples.
  • Konferenzbeitrag
    Toward a test-ready meta-model for use cases
    (Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Williams, Clay E.
    In the UML, use cases are used to define coherent units of functionality associated with classifiers (classes, subsystems, or systems.) Two principal purposes that use cases serve are specifying the functionality the classifier will provide and providing a basis for developing test cases for the classifier. This paper discusses issues that arise when using use cases as the basis for model-based testing. Based on this discussion, a test-ready meta-model for use cases is developed. Next, I describe a tool constructed using the concepts from the meta-model, and provides data from the initial pilots of this tool. I close by discussing future research.
  • Konferenzbeitrag
    A 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.
  • Konferenzbeitrag
    Integrating 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, Xudong
    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.
  • Konferenzbeitrag
    Tool-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, Thorsten
    Model 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.
  • Konferenzbeitrag
    Formal verification of UML diagrams: A first step towards code generation
    (Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Smith, Jeffrey E.; Kokar, Mieczyslaw K.; Baclawski, Kenneth
  • Konferenzbeitrag
    Designing 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, Gabi
    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.
  • Konferenzbeitrag
    Conformance 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-Marc
    UMLAUT 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.