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.
KeywordsEvent Occurrence Object Description Interaction Rule Object Community Object Hierarchy
Unable to display preview. Download preview PDF.
- 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
- 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
- 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
- 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
- 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
- J.-F. Costa, A. Sernadas and C. Sernadas. OBL-89 Users Manual (Version 2.3). Internal report, INESC, Lisbon, 1989.Google Scholar
- 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
- 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
- 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
- R. Herzig and N. Vlachantonis. Spezifikation einer Fertigungszelle in TROLL light. Interner Bericht, Technische Universität Braunschweig, 1992.Google Scholar
- 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
- 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