P007 - Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001
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
1 - 10 von 22
Treffer pro Seite
Sortieroptionen
- 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.
- 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.
- KonferenzbeitragRIGR - A repository model based approach to management(Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Trask, Ray; France, Robert B.Organizations with large integrated computer-based systems are often faced with the challenge of evolving their mission-critical systems in a manner that maximizes reuse opportunities, minimizes redundancies, and addresses business goals. To support these goals system developers must be provided with tools that allow them effectively assess the impact of change across the systems (impact analyses), identify reuse opportunities (reuse analyses), identify gaps in existing system functionalities (gap analyses), and identify redundancies (redundancy analyses). In this paper we discuss some of the issues related to implementing a model-based repository capable of supporting Redundancy, Impact, Gap, and Reuse (RIGR) analyses.
- KonferenzbeitragIdentifying semantic dimensions of (UML) sequence diagrams(Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Hausmann, Jan Hendrik; Küster, Jochen Malte; Sauer, StefanAlthough UML sequence diagrams are widely used in practical software development, there is still a great demand for improvements. Their use both within and outside the standard interpretation of the UML specification is not seldom confused bacause different interpretations for sequence diagrams exist without menas to distinguish between them. Furthermore, alternative sequence diagram notations with more syntactical features and different semantics still have a big influence and are readily used (explicitl as well as implicitly (alongside UML's sequence diagrams. Without necessary clarification, the meaning of sequence diagrams remains vague. Hence they are not suited for providing a common understanding of inter-object behaviour which is a prerequisite for their deployment within rigorous software development processes. Additionally, model quliaty assurance by consistency checking and validation is not well supported. In this paper, we survey, structure, and classify syntactic and semantic alternatives that appear in sequence diagrams in practice. We thereby identify scope of interpretation, level of abstraction, composition and refinement, ordering, time, and represented function as the essential semantic dimensions of sequence diagrams. The spanned semantic space is suited as a basis for discussing and proposing extensions of UML sequence diagrams to precisely determine the semantic interpretation of modeled sequence diagrams.
- 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.
- 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.
- KonferenzbeitragA proposal for a lightweight rigorous UML-based development method for reliable systems(Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Paige, Richard; Ostroff, JonathanA lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming with the utility of modelling, while offering a counterpoint to Extreme Modelling. The method is built atop of a subset of UML, making use of contracts for documentation and for run-time (and potentially static) checking. Rules are given to establish consistency of views of a system, and a proposal for a tool pro- totype that implements the diagrams and which helps to establish their consistency is outlined. The key elements of a process, which emphasizes rapid production of code and test drivers, are also outlined.
- 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.
- 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.
- «
- 1 (current)
- 2
- 3
- »