R. Jungclaus, T. Hartmann, G. Saake, and C. Sernadas. Introduction to TROLL -- A Language for Object-Oriented Specification of Information Systems. In G. Saake and A. Sernadas, editors, Information Systems -- Correctness and Reusability, pages 97--128. TU Braunschweig, Informatik Bericht 91-03, 1991.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....approach is in the line with the project recently presented by B. Meyer [Meyer98] trying to obtain a set of trusted components by using several techniques, including Design by Contract and formal validation, among others. The features of the chosen language, OASIS, are very similar to TROLL [Jungclaus91] and LCM (Language for Conceptual Modeling) Wieringa94] These both the throwaway one in section 4 and the evolutionary one in section 5. Finally, section 6 comments related works and section 7 presents conclusions and further work. 2. OASIS OBJECT MODEL Before presenting the prototyping ....

.... integrity constraints debit = credit limit; type = saving or type = checking ; holder.edad 18 end class Figure 9 Translating OASIS into Eiffel (evolutionary prototype) 6. RELATED WORK Another prototyping environment has been developed for the formal specification language TROLL [Jungclaus91]. It is called Tbench [Kusch95] and uses an editing and execution system for the specifications. In contrast to our environment, TBench does not automatically generate a first software model, as a first step in the development process of the final system. There is another CASE tool for LCM ....

R. Jungclaus; T. Hartmann; G. Saake; C. Sernadas. "Introduction to TROLL- A Language for Object-Oriented Specification of Information Systems". Proc. IS-CORE Workshop WS'91, pp. 97-128. 1991.

....it provides its own variant of temporal logic for specifying invariants and liveness properties. Calculi for refining Z specifications have been proposed; however, as of yet the notion of refinement is not formally defined for Object Z. The formal object oriented specification language TROLL [10] has initially been defined for designing information systems. TROLL has later been extended [7] by defining a temporal logic for TROLL and developing a theory for refinement based on this temporal logic. A proof system is not available for this approach. Maude [13] is a calculus for expressing ....

R. Jungclaus, T. Hartmann, G. Saake, and C. Sernadas. Introduction to TROLL -- A Language for Object-Oriented Specification of Information Systems. In G. Saake and A. Sernadas, editors, Information Systems -- Correctness and Reusability, Informatik Bericht 91-03, pages 97--128. TU Braunschweig, 1991.

....is entirely left to the objects. Whereas this allows for an arbitrary degree of concurrency at objects (see below) the communication context a request and reply is by necessity spread across methods of different objects. Examples of languages that offer one way communication are Troll [19], CSP [15] and actor languages, e.g. ACT [20] Conversely, RPC can be interpreted as a pair of tightly coupled messages (request and reply) thus preserving a simple form of context. On the other hand, blocking (synchronous) RPC is the most common form of object interaction in today s systems. ....

R. Jungclaus, T. Hartmann, G. Saake, and C. Sernadas. Introduction to troll --- a language for object-oriented specification of information systems. In G. Saake and A. Sernadas, editors, Information Systems --- Correctness and Reusability (Workshop IS-CORE '91, ESPRIT BRA WG 3023, London, Sep. 1991.

....Section 4. Static aggregation is also the semantic basis for other high level language constructs describing specialization generalization hierarchies, temporary roles of objects, interfaces, and relationships between objects. For a detailed description of these issues see [SJE91, JSS91a, JSH91, JHSS91, JSHS91, HJ91, SJ92] With the concepts of snapshots and object embedding, we may now formalize calling and sharing of events, the basic constructions for modeling the communication between objects, especially the synchronization of the parts of complex objects. Definition 2.10 Let ob 1 = P 1 ; ....

Jungclaus, R.; Hartmann, T.; Saake, G.; Sernadas, C.: Introduction to TROLL -- A Language for Object-Oriented Specification of Information Systems. In: Saake, G.; Sernadas, A. (eds.): Proc. ISCORE Workshop WS'91. TU Braunschweig, Informatik Berichte 91-03, 1991, pp. 97--128.

....is necessary for the domain specialist and on the other hand formality is necessary to derive information for further design, implementation, and prototyping issues. In this extended abstract we present the modeling language Troll (the successor version of the language introduced in [JSHS91, JHSS91] that provides a notation close to object oriented programming languages but also incorporates declarative features for high level design documents. Troll provides abstractions like classes (collections) specialization and roles (is a) composite objects (part of ) Furthermore Troll provides ....

....any concrete system is implemented the former by means of a suitable logic for consistency checking the latter by means of translating specifications into an executable form for prototyping. In this paper, we give an overview of the revised version of the language Troll introduced in [JSHS91, JHSS91] The approach evolved from integrating work on algebraic specification of data types [EM85, EGL89] and databases [Ehr86, EDG88] process specification [Hoa85, Mil89] the specification of reactive systems [Pnu77, Ser80, MP92, Saa91] conceptual modeling [Che76, MBW80, BMS84, Bor85, HG88, EGH ....

R. Jungclaus, T. Hartmann, G. Saake, and C. Sernadas. Introduction to TROLL -- A Language for Object-Oriented Specification of Information Systems. In G. Saake and A. Sernadas, editors, Information Systems -- Correctness and Reusability, pages 97--128. TU Braunschweig, Informatik Bericht 91-03, 1991.

....design methodologies are evolving which are based on object oriented concepts and techniques. Ve91] gives an overview of recent work in this area. We are cooperating in the ESPRIT BRA Working Group IS CORE where a graphical language [SGCS91, SRGS91, SSGRG91, SGGSR91] and a textual counterpart [JSS90, JHSS91, JSS91, JSHS91, SJ91] for designing, specifying and implementing object communities are being developed. But what precisely is an object Some common sense is given by Wegner [We89] who says: This work was partly supported by the EC under ESPRIT BRA WG 3023 IS CORE (Information Systems COrrectness and ....

....argue that we should carefully distinguish between objects and aspects of objects, and we introduce object classes as another kind of objects. In section 4, the basic object constructions around inheritance and interaction are explained. In section 5, we outline features of the language Troll ([JHSS91]) for specifying and designing object communities which is being developed at TU Braunschweig. 2 Templates and How They Are Related In natural language, we refer to objects by substantives, but we use the same substantive in two different ways: with the definite article the (or words like ....

[Article contains additional citation context not shown here]

Jungclaus, R.; Hartmann, T.; Saake, G.; Sernadas, C.: Introduction to Troll --- A Language for Object--Oriented Specification of Information Systems. Information Systems -- Correctness and Reusability, Proc. ISCORE Workshop'91 (G.Saake, A.Sernadas, eds.), Informatik--Berichte 91--03, Techn. Univ. Braunschweig 1991, 97-- 128

....methodologies are evolving which are based on object oriented concepts and techniques. Ve91] gives an overview of recent work in this area. We are cooperating in the ESPRIT BRA Working Group IS CORE where a graphical language [SGCS91, SRGS91, SSGRG91, SGGSR91] and a textual counterpart [JSS90, JHSS91, JSS91, JSHS91, SJ91] for designing, specifying and implementing object communities are being developed. But what precisely is an object As we have seen, it has an internal state and a certain behavior reflected by its operations: it is a unit of structure and behavior and it has an ....

....Together with the algebraic approach to concurrency invented in [AR87a] powerful means for expressing interaction of processes are available, with different kinds of parallelism and even with higher order processes. 3. 3 OBLOG The languages OBLOG [CSS89] OBject LOGic) and its successor TROLL [JHSS91] Textual Representation of an Object Logic Language) were developed hand in hand with the conceptual framework outlined in section 2. Information systems are described as communities of interacting objects. Object templates specify processes and observations on these processes. The languages ....

Jungclaus,R.;Hartmann,T.;Saake,G.;Sernadas,C.: Introduction to TROLL --- A Language for Object--Oriented Specification of Information Systems. Information Systems -- Correctness and Reusability, Proc. ISCORE Workshop'91 (G.Saake, A.Sernadas, eds.), Informatik--Berichte 91--03, Tech. Univ. Braunschweig 1991, 97-- 128

No context found.

R. Jungclaus, T. Hartmann, G. Saake, and C. Sernadas. Introduction to TROLL -- A Language for Object-Oriented Specification of Information Systems. In G. Saake and A. Sernadas, editors, Information Systems -- Correctness and Reusability, pages 97--128. TU Braunschweig, Informatik Bericht 91-03, 1991.

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