Skip to main content
SpringerLink
Log in

On combining semi-formal and formal object specification techniques

  • Contributed Papers
  • Conference paper
  • First Online:
Recent Trends in Algebraic Development Techniques (WADT 1997)

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

Included in the following conference series:

Abstract

In the early phases of software development it seems profitable to freely mix semi-formal and formal design techniques. Formal techniques have their strength in their ability to rigorously define desired software qualities like functionality, whereas semi-formal methods are usually said to be easier to understand and to be more human-nature oriented. We propose a new approach in order to combine these two areas by exploiting how constructs of the formal specification language TROLL light are related to the graphical elements of the UML approach.

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. G. v. Bochmann, M. Barbeau, M. Erradi, L. Lecomte, P. Mondain-Monval, and N. Williams. Mondel: An Object-Oriented Specification Language. Département d'Informatique et de Recherche Opérationelle, Publication 748, Université de Montréal, 1990.

    Google Scholar 

  2. M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, F. Regensburger, O. Slotosch, and K. Stølen. The Requirement and Design Specification Language SPECTRUM — An Informal Introduction (Version 1.0). Technical Report TUM 19311-12, TU München, 1993.

    Google Scholar 

  3. Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, and Veronika Thurner. Towards a Formalization of the Unified Modeling Language. In Mehmet Aksit and Satoshi Matsuoka, editors, Proc. 11th European Conf. Object-Oriented Programming ECOOP'97), pages 344–366. Springer, Berlin, LNCS 1241, 1997.

    Google Scholar 

  4. G. Booch, I. Jacobson, and J. Rumbaugh.UML Summay (Version 1.0). Rational Corporation, Santa Clara, 1997. http://www.rational.com.

    Google Scholar 

  5. S. Conrad, M. Gogolla, and R. Herzig. Safe Derivations in Object Hierarchies. In D. Patel, Y. Sun, and S. Patel, editors, Int. Conf. Object-Oriented Information Systems (OOIS'94), pages 306–319. Springer, London, 1995.

    Google Scholar 

  6. CoFI Task Group on Language Design. CASL — The CoFl Algebraic Specification Language. Technical Report, DAIMI, Aarhus, Danmark, 1997.

    Google Scholar 

  7. E. Dubois, P. Du Bois, and M. Petit. O-O Requirements Analysis: An Agent Perspective. In O.M. Nierstrasz, editor, Proc. European Conf. on Object-Oriented Programming (ECOOP'93), pages 458–481. Springer, Berlin, LNCS 707, 1993.

    Google Scholar 

  8. H. Ehrig, W. Fey, and H. Hansen. ACT ONE: An Algebraic Specification Language with Two Levels of Semantics. Technical Report 83-03, Technische Universität Berlin, 1983.

    Google Scholar 

  9. P. Feldman and D. Miller. Entity Model Clustering: Structuring a Data Model by Abstraction. Computer Journal, 29(4):348–360, August 1986.

    Google Scholar 

  10. 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, Berlin, LNCS 722, 1993.

    Google Scholar 

  11. M. Gogolla and R. Herzig. An Algebraic Semantics for the Object Specification Language TROLL light. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specification (WADT'94), pages 288–304. Springer, Berlin, LNCS 906, 1995.

    Google Scholar 

  12. S. Greenspan, J. Mylopoulos, and A. Borgida. On Formal Requirements Modeling Languages: RML Revisited. In B. Fadini, editor, Proc. 16th Int. Conf. on Software Engineering (ICSE'94), pages 135–148. IEEE Computer Society Press, 1994.

    Google Scholar 

  13. R. Herzig, S. Conrad, and M. Gogolla. Compositional Description of Object Communities with TROLL light. In C. Chrisment, editor, Proc. Basque Int. Workshop on Information Technology (BIWIT'94): Information Systems Design and Hypermedia, pages 183–194. Cépaduès-Éditions, Toulouse, 1994.

    Google Scholar 

  14. D. Harel and E. Gery. Executable Object Modeling with Statecharts. In 18th Int. Conf. Software Engineering, pages 246–257. Springer Verlag, Berlin, 1996.

    Google Scholar 

  15. S. Huffman and R. V. Zoeller. A Rule-Based System Tool for Automated ER Model Clustering. In F. H. Lochovsky, editor, Proc. 8th Int. Conf. Entity-Relationship Approach, pages 221-236. Elsevier Science Publishers, 1990.

    Google Scholar 

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

    Google Scholar 

  17. R. Jungclaus, R. J. Wieringa, P. Hartel, G. Saake, and T. Hartmann. Combining TROLL with the Object Modeling Technique. In B. Wolfinger, editor, Innovationen bei Rechen-und Kommunikationssystemen. GI-Fachgespräch FG 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software, pages 35–42. Informatik aktuell, Springer, Berlin, 1994.

    Google Scholar 

  18. M. Koubarakis, J. Mylopoulos, M. Stanley, and M. Jarke. TELOS: A Knowledge Representation Language for Requirements Modelling. Technical Report CSRI-222, University of Toronto, 1988.

    Google Scholar 

  19. M. Larosa and G. Reggio. A Graphic Notation for Formal Specifications of Dynamic Systems. In P. Lucas, editor, Proc. 4th Int. Symposium Formal Methods Europe (FME'97). Springer, LNCS, 1997.

    Google Scholar 

  20. M. Missikoff and M. Toiati. MOSAICO — A System for Conceptual Modeling and Rapid Prototyping of Object-Oriented Database Application. SIGMOD Record, 23(2):508–519, 1994.

    Google Scholar 

  21. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs (NJ), 1991.

    Google Scholar 

  22. M. Richters and M. Gogolla. A Web-based Animator for Object Specifications in a Persistent Environment. In M. Bidoit and M. Dauchet, editors, Proc. 7th Int. Conf. Theory and Practice of Software Development (TAPSOFT'97), pages 867–870. Springer, Berlin, LNCS 1214, 1997.

    Google Scholar 

  23. O. Rauh-and E. Stickel. Entity Tree Clustering — A Method for Simplifying ER Designs. In Proc. Inf. Conf Entity-Relationship Approach (ERA'92), 1992.

    Google Scholar 

  24. J. Ramos and A. Sernadas. A Brief Introduction to Gnome. Research Report, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1096 Lisboa, Portugal, 1995.

    Google Scholar 

  25. D.T. Sannella and A. Tarlecki. Extended ML: An Institution-Independent Framework for Formal Program Development. In Proc. Workshop on Category Theory and Computer Programming, pages 364–389. Springer, LNCS 240, 1986.

    Google Scholar 

  26. 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 Conf., pages 415–438. North-Holland, Amsterdam, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Informatics Department, University of Bremen, Postfach 330440, D-28334, Bremen, Germany

    Martin Gogolla & Mark Richters

Authors
  1. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mark Richters
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Francesco Parisi Presicce

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gogolla, M., Richters, M. (1998). On combining semi-formal and formal object specification techniques. In: Presicce, F.P. (eds) Recent Trends in Algebraic Development Techniques. WADT 1997. Lecture Notes in Computer Science, vol 1376. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64299-4_37

Download citation

  • DOI: https://doi.org/10.1007/3-540-64299-4_37

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation