H. Hussmann, M. Cerioli, G. Reggio, and F. Tort. Abstract Data Types and UML Models. Technical Report DISI-TR-99-15, DISI -- Universita di Genova, Italy, 1999.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....said above, the signature #D contains a symbol for every feature of Integer . Every feature of Integer is translated into the corresponding function or predicate symbol of the ADT. In the same way, the OCL types Real and String are handled with the help of ADTs Real and String . Humann et al. [10] have argued convincingly that the encapsulation concepts of ADTs and UML classes are very di#erent and that UML classes can, as a consequence, not smoothly be translated into ADTs. However, their analysis applies primarily to user defined classes and does not a#ect the translation of the basic ....

H. Humann, M. Cerioli, G. Reggio, and F. Tort. Abstract data types and UML models. Technical Report DISI-TR-99-15, DISI -- Universita di Genova, Italy, 1999.

....feature 3 of Integer, and Axexp contains axioms for the ADT (the Peano axioms) Every feature of Integer is translated into the corresponding function or predicate symbol of the ADT. In the same way, the OCL types Real and String are handled with the help of ADTs Real and String. Humann et al. [11] have argued convincingly that the encapsulation concepts of ADTs and UML classes are very di#erent and that UML classes can, as a consequence, not smoothly be translated into ADTs. However, their analysis applies primarily to user defined classes and does not a#ect the translation of basic OCL ....

H. Humann, M. Cerioli, G. Reggio, and F. Tort. Abstract data types and UML models. Technical Report DISI-TR-99-15, DISI -- Universita di Genova, Italy, 1999. ftp://ftp.disi.unige.it/person/ReggioG/HussmannEtAlt99a.pdf.

....goal is to provide a formal rigorous underpinning of UML, possibly exploiting CoFI related techniques. A sketchy porposal for a general approach to the problem has been presented at a Workshop at OOPSLA 98 in Vancouver [4] Two other draft papers are available, one relating the ADT approach to UML [18] and the other proposing an underlying model for the UML State Machines [37] 8.6 External Relations The External Relations Task Group is coordinated by Peter Mosses, Aarhus. 39 The design of Casl is based on a (critical) selection of constructs from existing languages, and it should be ....

Heinrich Hussmann, Maura Cerioli, Gianna Reggio, and F. Tort. Abstract Data Types and UML Models. Technical report, DISI -- Universit`a di Genova, DISI-TR-99-15, 1999.

....functional and logic programming, fixpoint and category theory, universal algebra and coalgebra. Whatever was adopted from these areas, could be reformulated in terms of many sorted logic with equality. Section 2 illustrates the ST specification of UML classes at an example presented in [20]. Section 3 deals with refinements or (abstract) implementations of STs. A refinement of an ST is another ST that meets certain correctness conditions on the Herbrand models of both types and on a given signature morphism from the abstract type to the concrete one. Section 4 proposes a ....

....diagram. Section 5 confronts OCL with logic based constraint languages. Section 6 deals with the integration of state 3 machines into STs representing class diagrams. Here we present two examples involving guards, generic states and action event communication. 2 UML and algebraic specification [20] asserts a conceptual difference between the algebraic specification methodology and the object oriented modelling approach: the former favors if not demands a high degree of data encapsulation and constraint locality, while the latter admits, at least on higher design levels, the free use of ....

[Article contains additional citation context not shown here]

H. Humann, M. Cerioli, G. Reggio, F. Tort, Abstract Data Types and UML Models, Report DISI-TR-99-15, University of Genova 1999

....Much work still has to be done in order to get more useful and specific definitions, and also to relate them to association classes. 3.6 Tool Integration We have not yet translated the OCL language into algebraic specifications, but the previous work demonstrates its feasibility. See [HHK98a,HCRT99,FC99] for related works. Note that several points are not discussed here because of lack of space. Amongst them we have the relation between our association type and association as class, the specification file organization, the management of the existing instances, aggregation, composition, ....

Heinrich Hussmann, Maura Cerioli, Gianna Reggio, and Francoise Tort. Abstract Data Types and UML Models. In 14th Workshop on Algebraic Development Techniques, Bonas, France, september 1999.

....and that UML already contains a number of graphical formalisms dealing with concurrency and reactiveness. The basic idea of the joint work is to adopt Casl as a language for annotating UML static and dynamic diagrams, enhancing and possibly replacing the Object Constraint Language of UML. See [66, 36, 54, 5]. The current state of this joint activity is as follows: ffl A draft document describes the integration between static UML class diagrams and Casl. ffl A technical report and a submitted paper describe an algebraic semantics for UML statecharts using labelled transition systems according to the ....

H. Hussmann, M. Cerioli, G. Reggio, and F. Tort. Abstract data types and UML models. Technical Report DISI-TR-99-15, DISI -- Universit'a di Genova, 1999. Presented at WADT'99, Bonas.

No context found.

H. Hussmann, M. Cerioli, G. Reggio, and F. Tort. Abstract Data Types and UML Models. Technical Report DISI-TR-99-15, DISI -- Universita di Genova, Italy, 1999.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC