T. HARTMANN, G. SAAKE, R. JUNGCLAUS, P. HARTEL, J. KUSH, Revised Version of the Modelling Language TROLL, tech report 94-03, Technische Universitt Braunschweig, April 1994.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....language states and transitions are modeled, respectively, as objects and arrows belonging to the same rewrite model which is a categorical extension of the algebraic structure. Meseguer s rewriting logic is also the basis of the speci cation language Maude [24] The speci cation language Troll [25] should be mentioned as one of the main 18 practical achievements in the eld. Troll is oriented to the speci cation of objects where a method (event) is speci ed by means of evaluation rules similar to equations on attributes. Although the semantics of Troll is given rather informally, there ....

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kush. Revised Version of the Modelling Language TROLL. Technishe Universitaet Braunschweig, Informatik-Berichte 94-03, 1994.

....into a refinement theory for object oriented specification has already been done in [8, 9, 10] In the first paper a syntax and semantics of transaction specification are presented and a syntactic characterisation for refinement is given. We use the objectoriented specification language Troll [25] to illustrate our ideas. Topics of the second paper are interleaving of transactions and a semantic refinement criterion. The refinement criterion presented in [9] is purely based on the event structure semantics. Here we continue this work by focussing especially on the notion of schedules as ....

....MODEL FOR OBJECT SYSTEMS In this chapter we introduce the object oriented specification language Troll by example. The example will serve to explain intuitively our object model and will be used later on to illustrate the main concepts action refinement and transaction interleaving . Troll [25, 22] is a language particularly suited for the early design stages of modelling and designing information systems. Such reactive systems are described as sets of objects communicating with each other. Our intuitive understanding of an object can be described as a unit of structure reflected by ....

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). InformatikBericht 94--03, Technische Universitat Braunschweig, 1994.

.... on the modelling level to object oriented programming languages (for instance OMT [24] OOA [2] 1] and others) The formal ones have a well defined semantics based on a theoretical background (for instance ABEL [3] ALBERT [9] CSML [29] FOOPS [23] GNOME [26] OBLOG [28] Object Z [10] Troll [15], Z [20] and others) These formal languages are defined on top of different frameworks, including algebraic and process models, equational and temporal logics and others. The object oriented specification language Troll has been developed at the database department in Braunschweig. It is ....

....is also suitable to give semantics to Troll specifications. Thus, we present in Sect. 4 an appropriate interpretation of Troll features in terms of reification logic. Sect. 5 closes the paper with a short summary and some future work. 2 System Specification A Temporal Logic Approach Troll [15] is a language for information system modelling especially to be used in the early design phases. The basic assumption is that a system can be understood as a concurrent community of interacting objects. Due to the underlying idea of objects as units of structure and behaviour it is possible to ....

[Article contains additional citation context not shown here]

Hartmann, T., Saake, G., Jungclaus, R., Hartel, P., Kusch, J.: Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994.

....borrow and memb borrow always occur synchronously. The two local actions only update the local state of two entities but the synchronous occurrence results in a simultaneous update of the state of several objects. This solution is followed in several algebraic and logical specification formalisms [11, 50, 18, 35, 46, 48]. It resembles specification of object interaction at the programming language level by means of contracts [20] We now returning to the guidelines of the JSD ER approach. ffl Allocate an action to an entity to enforce a sequencing of actions in the life of this entity. Allocate it to several ....

....et al. 10] it 15 is preferable to use a declarative way of specifying the effect of transactions, because this leads to a higher level of implementation independence. This approach is taken in Fusion [10] and in a number of formal methods that are currently under development, such as Troll [25, 18, 36] and MCM [50, 48] 6 Discussion: Function Decomposition The transaction decomposition table allows us to pinpoint a common core of superficially very different methods, such as JSD, ER modelling, DF modelling, and OMT. It is easy to show that other object oriented methods, such as Shlaer Mellor ....

T. Hartmann, G. Saake, P. Hartel, and J. Kusch. Revised version of the modelling language TROLL (TROLL version 2.0). Technical Report 94-03, Abt. Datenbanken, Tech. Universitat Braunschweig, P.B. 3329, Braunschweig, Germany, April 1994.

....the object oriented paradigm. Troll is based on OBLOG [22] and takes ideas and concepts from abstract data types, behaviour modelling, speci cation of reactive systems and concurrency theory. In this paper we want to present Troll in its third version [2] Previous versions have been published in [13, 12] among Work reported here was partially supported by the EU under ESPRIT IV WG 22704 ASPIRE, the DFG under Eh 75 11 1, the Spanish Ministry of Education and Culture and the Technical Federal Board, lab 3.41, project CATC. others. In contrast to older versions, Troll version 3.0 is devoted to ....

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94-03, Technische Universitat Braunschweig, 1994.

....using the concepts of the object oriented paradigm. In this paper we propose a language independent model with the ability to express asynchronous communication for concurrent object societies. This theory establishes a possible semantics for the object oriented specification language Troll [10] assuming the communication between objects to be of asynchronous nature. The main contribution of such a theory is that the designer does not have to care about the communication mechanism during the specification process: for a given Troll specification models are constructed which automatically ....

....the corresponding action. Communication is called unsafe otherwise. For the rest of the paper we will only take asynchronous communication into consideration. Before we define the event structure semantics for objects we will briefly introduce the object oriented specification language Troll [10, 9]. Troll is a language to be used in early design phases. Language features for object types are: actions with preconditions, attributes and rules for specifying effects of actions on attributes. Moreover, objects are encapsulated units in the sense that the status of an object, given by the ....

[Article contains additional citation context not shown here]

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994.

....to our approach are that they do not allow multiple role groups per class and that they do not specify cardinality constraints for role classes. They do allow multiple roles of one role class per player. Another similar approach to roles and dynamic classes can be found in the Troll language [13, 12, 30]. The concept of dynamic role in Troll is similar to our role concept, although there is no separate identification mechanism for dynamic roles and there is no possibility to play multiple roles of the same role class. Dynamic roles inherit properties of the player by a standard inheritance ....

.... (e.g. determinism of actions is not required in MAL) MAL has been used as a vehicle of research in the specification of database views [36] the specification of object oriented systems [53] and the specification of reactive systems [32] Another closely related logic based language is Troll [30], itself developed on the basis of the Oblog language [9, 57] Troll uses temporal logic to define the effect of events, dynamic integrity constraints, and object life cycles. As discussed earlier, it contains constructs to define dynamic roles (reminiscent of our roles) and derived roles (our ....

T. Hartmann, G. Saake, P. Hartel, and J. Kusch. Revised version of the modelling language TROLL (TROLL version 2.0). Technical Report 94-03, Abt. Datenbanken, Tech. Universitat Braunschweig, P.B. 3329, Braunschweig, Germany, April 1994.

....causal relationship from s to r. Note that this is only a suggestion, for s; r does not represent the initiative of the transaction. It merely says that if anything will happen after s, it will be r. I considered extending the language with an event calling operator like the one used in Troll [6] and representing a transaction by s r. The events section of a class specification is split into an events and an action section, to indicate whether the event is a stimulus or a response. Here is what TABLE CONTROL looks like when this is done: begin object class TABLECONTROL events ....

T. Hartmann, G. Saake, P. Hartel, and J. Kusch. Revised version of the modelling language TROLL (TROLL version 2.0). Technical Report 94-03, Abt. Datenbanken, Tech. Universitat Braunschweig, P.B. 3329, Braunschweig, Germany, April 1994.

....OOPLs can associate several actions, i.e. method executions, in di erent classes with an event. If an event happens, all associated actions are performed in parallel. If the event is equivalent to a selector, all results have to be combined into a net result using an aggregation function (see [10, 11] for examples of such languages) In constrained classes, an action can be associated with an event already handled in superclasses; this action constitutes an extension of the implementation of the event. This approach is simple and safe but limited to pure additions of actions. There is no way ....

Torsten Hartmann, Gunter Saake, Ralf Jungclaus, Peter Hartel, and Jan Kusch. Revised Version of the Modelling Language Troll (Version 2.0). InformatikBericht 94-03, Technische Universitat Braunschweig, 1994.

....been implemented and our aim is to add a module for animation of specifications. 1 Introduction OASIS [9,10] is a Formal Language for the Conceptual Specification of Information Systems. Nowadays there is a growing interest in formal approaches to model information systems. CMSL [20] and TROLL [6] are languages near to OASIS that address the system specification in a similar way. OO Method [12] is the methodological framework based on the OASIS model. In order to validate the system requirements it is useful to animate the system specification by means of a prototype automatically ....

Hartmann T., Saake G., Jungclaus R., Hartel P., Kusch J., Revised Version of Modelling Language TROLL, Informatik-Bericht 94-03, TU Braun-schweig, 1994.

....the object oriented concepts of an OASIS Specification are represented into OPNs. 1. INTRODUCTION OASIS [4] 5] is a Formal language for the Conceptual Specification of Information Systems. Nowadays there is a growing interest in formal approaches to model information systems. CMSL [9] and TROLL [1] are languages similar to OASIS that address the system specification in such way. OO Method [6] is the companion methodology for the OASIS approach. Is important to animate the system specification by means of a prototype automatically generated. Experiments have been carried out using Petri Nets ....

Hartmann T., Saake G., Jungclaus R., Hartel P., Kusch J., "Revised Version of Modelling Language TROLL", Informatik-Bericht 94-03, TU Braun-schweig, 1994.

....are distributed reactive systems consisting of one or more databases and application programs. The object oriented language Troll [12, 3] was developed for specifying information systems at a high level of abstraction. The current version 3 is based on earlier investigations as described in [13, 15]. The textual language Troll was supplemented by the graphical variant OmTroll [16] which borrows concepts from OMT [22] In the following we will give a brief survey of the main concepts of the Troll language. A more detailed description can be found in [12, 3] A software system is considered ....

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994.

....in more than one class, but disallows method redefinition in subclasses. Each method in OpenODB has exactly one implementation, so there cannot be any conflicts. However, method redefinition is considered one of the prime characteristics of object oriented systems. The semantic object model TROLL (Hartmann et al. 1994) in its revised version allows objects to have several roles without requiring a most specific role. Roles may redefine methods, but in TROLL you can only specify additional actions for events instead of completely new implementations, to ensure semantic properties. This excludes optimizations in ....

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, et al. Revised Version of the Modelling Language TROLL (Version 2.0). Informatik-Bericht 94--03, Technische Universität Braunschweig. 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Report 94--03, TU Braunschweig, 1994.

....with attributes, local actions and action guards, and system transactions that are realized by a finite set of communicating objects as represented by the transaction decomposition table. LCM was designed with this purpose in mind but other formal languages can also do the job, such as Troll [21, 31] or Oblog [39] One of the benefits of combining formal specification techniques with semi formal techniques is the increased usability of the formal techniques. Because semi formal techniques are actually used on a larger scale than formal techniques, another benefit is that the attempt to define ....

T. Hartmann, G. Saake, P. Hartel, and J. Kusch. Revised version of the modelling language TROLL (TROLL version 2.0). Technical Report 94-03, Abt. Datenbanken, Tech. Universitat Braunschweig, P.B. 3329, Braunschweig, Germany, April 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994.

No context found.

T. HARTMANN, G. SAAKE, R. JUNGCLAUS, P. HARTEL, J. KUSH, Revised Version of the Modelling Language TROLL, tech report 94-03, Technische Universitt Braunschweig, April 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, J. Kusch. Revised Version of the Modelling Language TROLL. Technical Report 94-03. TU Braunschweig. 1994

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel und J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94-- 03, Technische Universitat Braunschweig, 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). InformatikBericht 94--03, Technische Universitat Braunschweig, 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994.

No context found.

Torsten Hartmann, Gunter Saake, Ralf Jungclaus, Peter Hartel, and Jan Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 9403, Technische Universit#t Braunschweig, 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94-03, Technische Universitat Braunschweig, 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). InformatikBericht 94--03, Technische Universitat Braunschweig, 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel und J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94--03, Technische Universitat Braunschweig, 1994.

No context found.

T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised version of the modelling language TROLL. Technical Report 94-03, Technische Universitat Braunschweig, 1994.

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