This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Development Environment for an Object Specification Language
June 1995 (vol. 7 no. 3)
pp. 505-508

Abstract—Techniques for the development of reliable information systems on the basis of their formal specification are the main concern in our project. Our work focuses on the specification language TROLL light which allows to describe the part of the world to be modeled as a community of concurrently existing and communicating objects. Our specification language comes along with an integrated, open development environment. The task of this environment is to give support for the creation of correct information systems. Two important ingredients of the environment to be described here in more detail are the animator and the proof support system.

[1] P. Loucopoulos,“Conceptual modeling,” P. Loucopoulos and R. Zicari, eds., Conceptual Modeling, Databases, and CASE: An Integrated View of InformationSystems Development.New York: John Wiley&Sons, pp. 1-26, 992.
[2] E. Dubois, Ph. Du Bois, and M. Petit, "Object-Oriented Requirements Analysis: An Agent Perspective," Proc. ECOOP'93—Seventh European Conf. Object-Oriented Programming, pp. 458-481, Lecture Notes in Computer Science 707, Springer-Verlag, 1993.
[3] M. Gogolla,S. Conrad,, and R. Herzig,“Sketching concepts and computational model of TROLL light,” A. Miola, ed., DISCO’93, Proc. Third Int’l Conf. Design and Implementation ofSymbolic Computation Systems, LNCS 722. Berlin: Springer-Verlag, pp. 17-32, 1993.
[4] M. Gogolla,R. Herzig,S. Conrad,G. Denker,, and N. Vlachantonis,“Integrating the ER approach in an OO environment,” R. Elmasri, V. Kouramajian, and B. Thalheim, eds., ER’93, Proc. 12th Int’l Conf. ER Approach, LNCS 823. Berlin: Springer-Verlag, pp. 382-395, 1994.
[5] A. Sernadas,C. Sernadas,, and H.-D. Ehrich,“Object-oriented specification of databases: An algebraic approach,” P.M. Stoecker and W. Kent, eds., VLDB’87, Proc. 13th Int’l Conf. Very Large Databases.Saratoga, Calif: VLDB Endowment Press, pp.107-116, 1987.
[6] G. Saake,R. Jungclaus,, and T. Hartmann,“Application modelling in heterogeneous environments using an objectspecification language, M. Huhn et al., eds., ICICIS’93, Int’l Conf. Intelligent&Cooperative Information Systems, IEEE CS Press, pp. 309-318, 1993.
[7] M. Wirsing, “Algebraic Specification,” Handbook of Theoretical Computer Science, vol. B, pp. 675-788, Amsterdam: North Holland, 1990.
[8] R. Hull and R. King, “Semantic Database Modelling: Survey, Applications, and Research Issues,” Computing Surveys, vol. 19, no. 3, pp. 201-260, ACM, Sept. 1987.
[9] C.A.R. Hoare,“Communicating sequential processes,” Comm. of the ACM, vol. 21, no. 8, pp. 666-677, Aug. 1978.
[10] M.R. Cagan,“The HP SoftBench environment: An architecture for a new generation ofsoftware tools,” Hewlett-Packard J., vol. 41, 1990.
[11] C. Lamb, G. Landis, J. Orenstein, and D. Weinreb, "The ObjectStore Database System," Comm. ACM, vol. 34, no. 10, Oct. 1991.
[12] A. Earl,“A reference model for computer assisted software engineering environmentframeworks,” technical report, Version 4.0, ECMA/TC33/TGRM/90/016. Bristol, England: Hewlett-Packard Laboratories, 1990.
[13] J.K. Ousterhout,“TK: An X11 toolkit based on the TCL Language.”Berkeley: Univ. of Calif. 1990.
[14] N. Vlachantonis,R. Herzig,M. Gogolla,G. Denker,S. Conrad,, and H.-D. Ehrich,“Towards reliable information systems: The KORSO approach,” C. Rolland, F. Bodart, and C. Cauvet, eds., CAiSE’93, Proc. Fifth Int’l Conf. Advanced Information Systems Engineering, LNCS 685. Berlin: Springer-Verlag, pp. 463-482, 1993.
[15] L.C. Paulson,“Isabelle: The Next 700 theorem provers,” P. Odifreddi, ed., Logic and Computer Science, Academic Press, pp. 361-385, 1990.

Index Terms:
Information system design, semantic data model, object specification, certification, validation, verification.
Citation:
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis, "A Development Environment for an Object Specification Language," IEEE Transactions on Knowledge and Data Engineering, vol. 7, no. 3, pp. 505-508, June 1995, doi:10.1109/69.390254
Usage of this product signifies your acceptance of the Terms of Use.