Skip to main content
SpringerLink
Log in

TROLL light

Specification with a language for the conceptual modelling of information systems

  • Chapter
  • First Online:
Formal Development of Reactive Systems

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 891))

  • 167 Accesses

Abstract

TROLL light is a language for conceptual modeling of information systems. It is designed to describe the Universe of Discourse (UoD) as a system of concurrently existing and interacting objects. TROLL light objects have observable properties modeled by attributes, and the behavior of objects is described by events. Possible object observerations may be restricted by constraints, whereas event occurrences may be restricted to specified life cycles. TROLL light objects are organized in an object hierarchy established by subobject relationships. Communication among objects is supported by event calling.

TROLL light was employed for the specification of a production cell. In this paper we show some characteristic points of that specification and conclude with a discussion of lessons learned from this work.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. Loucopoulos and R. Zicari, editors. Conceptual Modeling, Databases, and CASE: An Integrated View of Information Systems Development. John Wiley & Sons, Inc., 1992.

    Google Scholar 

  2. R.J. Wieringa. Three Roles of Conceptual Models in Information System Design and Use. In E. Falkenberg and P. Lindgreen, editors, Information System Concepts: An In-Depth Analysis, Proc. IFIP WG8.1 Working Conference, Namur (Belgium), pages 31–51. North-Holland, Amsterdam, 1989.

    Google Scholar 

  3. H.-D. Ehrich, G. Denker and A. Sernadas. Constructing Systems as Object Communities. In M.-C. Gaudel and J.-P. Jouannaud, editors, Proc. TAPSOFT'93: Theory and Practice of Software Development, pages 453–467. Springer LNCS 668, 1993.

    Google Scholar 

  4. S. Conrad, M. Gogolla and R. Herzig, TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92-02, Technische Universität Braunschweig, 1992.

    Google Scholar 

  5. A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In P.M. Stocker and W. Kent. editors, Proc. 13th Int. Conf. on Very Large Data Bases VLDB, pages 107–116. Morgan-Kaufmann, 1987.

    Google Scholar 

  6. J.-F. Costa, A. Sernadas and C. Sernadas. OBL-89 Users Manual (Version 2.3). Internal report, INESC, Lisbon, 1989.

    Google Scholar 

  7. R. Jungclaus, G. Saake, T. Hartmann and C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht 91-04, Technische Universität Braunschweig, 1991.

    Google Scholar 

  8. M. Gogolla, S. Conrad and R. Herzig, Sketching Concepts and Computational Model of TROLL light. In A. Miola, editor, Proc. 3rd Int. Conf. Design and Implementation of Symbolic Computation Systems DISCO, pages 17–32. Springer LNCS 722, 1993.

    Google Scholar 

  9. N. Viachantonis, R. Herzig, M. Gogolla, G. Denker, S. Conrad, and H.-D. Ehrich. Towards Reliable Information Systems: The KORSO Approach. In C. Rolland, F. Bodart and C. Cauvet, editors, Advanced Information Systems Engineering Proc. 5th CAiSE'93, Paris, pages 463–482. Springer LNCS 685, 1993.

    Google Scholar 

  10. R. Herzig and N. Vlachantonis. Spezifikation einer Fertigungszelle in TROLL light. Interner Bericht, Technische Universität Braunschweig, 1992.

    Google Scholar 

  11. R.J. Wieringa, Equational Specification of Dynamic Objects. In R.A. Meersman, W. Kent, and S. Khosla, editors, Object-Oriented Databases: Analysis, Design & Construction (DS-4), Proc. IFIP WG2.6 Working Conference, Windermere (UK) 1990, pages 415–438. North Holland, Amsterdam, 1991.

    Google Scholar 

  12. E. Dubois, P. Du Bois, and M. Petit. O-O Requirements Analysis: an Agent Perspective In O.M. Nierstrasz, editor, ECOOP'93 — Object-Oriented Programming, pages 458–481. Springer LNCS 707, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technische Universität Braunschweig, Deutschland

    Rudolf Herzig & Nikolaos Vlachantonis

Authors
  1. Rudolf Herzig
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nikolaos Vlachantonis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Claus Lewerentz Thomas Lindner

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Herzig, R., Vlachantonis, N. (1995). TROLL light. In: Lewerentz, C., Lindner, T. (eds) Formal Development of Reactive Systems. Lecture Notes in Computer Science, vol 891. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58867-1_65

Download citation

  • DOI: https://doi.org/10.1007/3-540-58867-1_65

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58867-2

  • Online ISBN: 978-3-540-49133-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation