Advertisement

The Troll Approach to Conceptual Modelling: Syntax, Semantics, and Tools

  • Antonio Grau
  • Juliana Küster Filipe
  • Mojgan Kowsari
  • Silke Eckstein
  • Ralf Pinger
  • Hans-Dieter Ehrich
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1507)

Abstract

In this paper, we present the use of Troll for the conceptual modelling of distributed information systems. Troll offers both textual and graphical notations. Troll has been used in practice to model an industrial information system. We use an extract of this case study to describe briefly the syntax and underlying semantics of the language. We also show a set of software tools that are being developed to support the modelling with Troll. These tools include editors, checkers as well as an animator for validating Troll specifications. We report on the experiences we gained by applying the language to the industrial project. Finally, a short description on further work is given.

Keywords

Temporal Logic Object Class Linear Temporal Logic Graphical Notation Denotational Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Cusack, E., Rudkin, S., Smith, C.: An Object-Oriented Interpretation of LOTOS. In: Vuong, S. (ed.) Formal Description Techniques II, FORTE 1989, pp. 211–226. North-Holland, Amsterdam (1990)Google Scholar
  2. 2.
    Denker, G., Hartel, P.: TROLL – An Object Oriented Formal Method for Distributed Information System Design: Syntax and Pragmatics. Informatik-Bericht 1997-2003, Technische Universität Braunschweig (1997)Google Scholar
  3. 3.
    Du Bois, P.: The Albert-II Language – On the specification and the Use of a Formal Specification Language for Requirements Analysis. PhD thesis, Facultes Universitaires Notre-Dame de la Paix, Namur, Belgium (1995)Google Scholar
  4. 4.
    Dürr, E.H., Katwijk, J.v.: VDM++, A Formal Specification Language for Object–Oriented Design. In: Proceedings of TOOLS7 (Technology of Object- Oriented Languages and Systems). Prentice Hall, Englewood Cliffs (1992)Google Scholar
  5. 5.
    Eckstein, S.: Towards a module concept for object oriented specification languages. In: Bārzdiņš, J. (ed.) Proc. 3rd Int. Baltic Workshop on Databases and Information Systems, Riga, Latvia, April 15-17, pp. 180–188 (1998)Google Scholar
  6. 6.
    Ehrich, H.-D., Caleiro, C., Sernadas, A., Denker, G.: Logics for Specifying Concurrent Information Systems. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, pp. 167–198. Kluwer Academic, Dordrecht (1998)Google Scholar
  7. 7.
    Ehrich, H.-D., Hartel, P.: Temporal Specification of Information Systems. In: Pnueli, A., Lin, H. (eds.) Logic and Software Engineering, Proc. Int. Workshop in Honor of C.S, Tang,Beijing, 14-15 August 1995, pp. 43–71. World Scientific, Singapore (1996)Google Scholar
  8. 8.
    Feenstra, R., Wieringa, R.: LCM 3.0: A Language for Describing Conceptual Models - Syntax Definition. Technical report, Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam (1993)Google Scholar
  9. 9.
    Grau, A., Kowsari, M.: A Validation System for Object-Oriented Specifications of Information Systems. In: Manthey, R., Wolfengagen,V. (eds.) Proc. Of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS 1997), St. Petersburg, September 2-5. EWiC, Springer (1997)Google Scholar
  10. 10.
    Harmon, P., Watson, M.: Understanding UML- The Developer’s Guide. Morgan Kaufmann, San Francisco (1998)zbMATHGoogle Scholar
  11. 11.
    Hartel, P., Denker, G., Kowsari, M., Krone, M., Ehrich, H.-D.: Information systems modelling with TROLL formal methods at work. Information Systems 22(2-3), 79–99 (1997)CrossRefGoogle Scholar
  12. 12.
    Hartmann, T., Saake, G., Jungclaus, R., Hartel, P., Kusch, J.: Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 1994-2003, Technische Universität Braunschweig (1994)Google Scholar
  13. 13.
    Jungclaus, R., Saake, G., Hartmann, T., Sernadas, C.: TROLL – A Language for Object-Oriented Specification of Information Systems. ACM Transactions on Information Systems 14(2), 175–211 (1996)CrossRefGoogle Scholar
  14. 14.
    Filipe, J.K.: Modelling Parameterisation in Concurrent Object Systems. Logic Journal of the IGPL 5(6), 877–879 (1997); In: Conference Report: Workshop on Logic, Language, Information and Computation WoLLIC 1997, Fortaleza, Ceará, Brazil, August 20-22 (1997)Google Scholar
  15. 15.
    Filipe, J.K.: On a Distributed Temporal Logic for Modular Object Systems. Technical Report 1998-2006, Technical University Braunschweig (1998)Google Scholar
  16. 16.
    Lano, K.: Z++: an Object-Oriented Extension to Z. In: Nicholls, J. (ed.) Z Users Workshop: Proc. 4th Annu. Z User Meeting. Workshops in Computing, pp. 151–172. Springer, Berlin (1991)Google Scholar
  17. 17.
    Lodaya, K., Ramanujam, R., Thiagarajan, P.S.: Temporal Logics for Communicating Sequential Agents. Int. Journal of Foundations of Computer Science 3(2), 117–159 (1992)zbMATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    Nielsen, M., Plotkin, G., Winskel, G.: Petri Nets, Event Structures and Domains, part 1. Theoretical Computer Science 13, 85–108 (1981)zbMATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    Pastor, O., Insfran, E., Pelechano, V., Romero, J., Mesegue, J.: OO-Method: An OO Software Production Environment Combining Conventional and Formal Methods. In: Olivé, À., Pastor, J.A. (eds.) CAiSE 1997. LNCS, vol. 1250, pp. 145–158. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  20. 20.
    Ruiz-Delgado, A., Pitt, D., Smythe, C.: A Review of Object-Oriented Approaches in Formal Methods. The Computer Journal 38(10), 777–784 (1995)CrossRefGoogle Scholar
  21. 21.
    Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object–Oriented Modeling and Design. Prentice Hall, New York (1991)Google Scholar
  22. 22.
    Sernadas, A., Sernadas, C., Ehrich, H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. In: Stoecker, P.M., Kent, W. (eds.) Proc. 13th Int. Conf. on Very Large Databases VLDB 1987, pp. 107–116. VLDB Endowment Press, Saratoga (1987)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Antonio Grau
    • 1
  • Juliana Küster Filipe
    • 1
  • Mojgan Kowsari
    • 1
  • Silke Eckstein
    • 1
  • Ralf Pinger
    • 1
  • Hans-Dieter Ehrich
    • 1
  1. 1.Informatik, Abt. DatenbankenTechnische Universität BraunschweigBraunschweigGermany

Personalised recommendations