Abstract
The focus of this paper is the development of a formally based object-oriented modeling formalism called oMmOLL by using features from mostly informal object-oriented modeling approaches (mainly OMT) and from a formal object-oriented specification approach (Troll). The goals of our approach are to improve popular informal modeling techniques by giving formal semantics to modeling constructs and to improve the applicability of formally-based specification approaches. Based on a brief analysis of OMT against Troll we will present OMTROLL using examples.
Partially supported by ESPRIT BRA WG 6071 IS-CORE, DFG under Sa 465/1-3, and OBLOG Software S.A., Lisboa.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
D. Coleman, P. Arnold, S. Bodoff, S. Dollin, H. Gilchrist, F. Hayes, and P. Jeremes. Object-oriented Development - The Fusion Method. Prentice-Hall, 1994.
S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92–02, TU Braunschweig, 1992.
J.F. Costa, A. Sernadas, and C. Sernadas. OBL-89 User’s Manual, version 2.3. Instituto Superior Técnico, Lisbon, May 1989.
Juliana Küster Filipe. Describing Semantics of OMT using OSL. Diploma Thesis, TU Braunschweig, 1994.
R.B. Feenstra and R.J. Wieringa. LCM 3.0: a language for describing conceptual models. Technical Report IR-344, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, December 1993.
J. A. Goguen and J. Meseguer. Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, pages 417–477. MIT Press, 1987.
D. Harel. Statecharts: a visual formalism for comples systems. Science of Computer Programmung, 8: 231–274, 1987.
T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language TROLL (Version 2.0). Informatik-Bericht 94–03, Technische Universität Braunschweig, 1994.
R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht 91–04, TU Braunschweig, 1991.
R. Jungclaus. Modeling of Dynamic Object Systems—A Logic-Based Approach. Advanced Studies in Computer Science. Vieweg Verlag, Braunschweig/Wiesbaden, 1993.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ, 1991.
S. Stepney, R. Barden, and D. Cooper, editors. Object Orientation in Z. Springer, 1992.
S. Shlaer and S. J. Mellor. Object Lifecycles: Modeling the World in States. Yourdon Press/Prentice Hall, Englewood Cliffs, NJ, 1992.
A. Sernadas, C. Sernadas, and J. F. Costa. Object Specification Logic. Research report, INESC/DMIST, Lisbon (P), 1992. To appear in Journal of Logic and Computation
A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In P.M. Stoecker and W. Kent, editors, Proc. 13th Int. Conf. on Very Large Databases VLDB’87, pages 107–116. VLDB Endowment Press, Saratoga (CA), 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jungclaus, R., Wieringa, R.J., Hartel, P., Saake, G., Hartmann, T. (1994). Combining Troll with the Object Modeling Technique. In: Wolfinger, B. (eds) Innovationen bei Rechen- und Kommunikationssystemen. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-51136-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-51136-3_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58313-4
Online ISBN: 978-3-642-51136-3
eBook Packages: Springer Book Archive