Techniques and language constructs for developing generic informations systems: A case study

Proceedings of SSR'01 2001 Symposium on Software Reusability

Volumn , Issue , 2001, Pages 145-154

  Eckstein, Silke ^a   Ahlbrecht, Peter ^a   Neumann, Karl ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

Application Generators; Information Systems; Java; Parameterized Programming; Parameterized Specification; TROLL; UML

Indexed keywords

COMPUTER PROGRAMMING; INFORMATION TECHNOLOGY; JAVA PROGRAMMING LANGUAGE; WORLD WIDE WEB;

PARAMETERIZED PROGRAMMING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0035791636     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (35)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, New York, 1996.
2. S. Abiteboul, P. Buneman, and D. Suciu. Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann Publishers, San Francisco, 2000.
3. A. Aho and R. Sethi. Compilers - Principles, Tools and Techniques. Addison-Wesley, Reading, 1986.
4. P. Atzeni, S. Ceri, S. Paraboschi, and R. Torlone. Database Systems: Concepts, Languages and Architectures. McGraw-Hill, London, 1999.
5. D. Batory. Software Generators, Architectures, and Reuse. Tutorial, Department of Computer Science, University of Texas, 1996.
6. D. Batory. Intelligent Components and Software Generators. Invited presentation to the "Software Quality Institute Symposion on Software Reliability", Austin, 1997.
7. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, 1999.
8. G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: Adding genericity to the java programming language. In Proc. Int. Conf. on Object Oriented Programming Systems, Languages and Applications (OOPSLA'98), pages 183-200, 1998.
9. J. Costa Seco and L. Caires. Parametric Typed Components. In Proc. 5th International Workshop on Component Oriented Programming, 2000. To appear.
10. K. Czarnecki and U. Eisenecker. Generative Programming - Methods, Tools, and Applications. Addison-Wesley, Boston, 2000.
11. S. Eckstein. Towards a Module Concept for Object Oriented Specification Languages. In J. Barzdiņš, editor, Proc. of the 3rd Int. Baltic Workshop on Data Bases and Information Systems, Riga, volume 2, pages 180-188. Institute of Mathematics and Informatics, University of Latvia, Latvian Academic Library, Riga, 1998.
12. S. Eckstein, P. Ahlbrecht, and K. Neumann. From Parameterized Specifications to Generated Information Systems: an Application. (In German). Technical Report 00-05, Technical University Braunschweig, 2000.
13. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Springer, Berlin, 1985.
14. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. Springer, Berlin, 1990.
15. J. Goguen. Parameterized Programming and Software Architecture. In I. C. Society, editor, Proceedings Fourth International Conference on Software Reuse, pages 2-11, 1996.
16. J. Goguen and G. Malcolm, editors. Software Engineering with OBJ: Algebraic Specification in Action. Kluwer, Boston, 2000.
17. J. Goguen and W. Tracz. An Implementation Oriented Semantics for Module Composition. In G. Leavens and M. Sitaraman, editors, Foundations of Component-Based Systems, pages 231-263. Cambridge University Press, 2000.
18. A. Grau, J. Küster Filipe, M. Kowsari, S. Eckstein, R. Pinger, and H.-D. Ehrich. The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools. In T. Ling, S. Ram, and M. Lee, editors, Proc. 17th Int. Conf. on Conceptual Modeling (ER'98), pages 277-290. Springer, LNCS 1507, 1998.
19. D. Harel. From Play-In Scenarios to Code: An Achievable Dream. In T. Maibaum, editor, Proc. 3rd Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2000), pages 22-34. Springer, LNCS 1783, 2000.
20. P. Hartel. Conceptual Modelling of Information Systems as Distributed Object Systems. (In German). Series DISDBIS. Infix-Verlag, Sankt Augustin, 1997.
21. P. Hartel, G. Denker, M. Kowsari, M. Krone, and H.-D. Ehrich. Information systems modelling with TROLL - formal methods at work. Information Systems, 22(2-3):79-99, 1997.
22. S. Jarzabek and P. Knauber. Synergy between Component-Based and Generative Approaches. In O. Nierstrasz and M. Lemoine, editors, Software Engineering - ESEC/FSE'99, pages 429-445. Springer, LNCS 1687, 1999.
23. R. Jungclaus, R. 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. Springer, Informatik aktuell, 1994.
24. J. Loeckx, H.-D. Ehrich, and M. Wolf. Specification of Abstract Data Types. John Wiley & B. G. Teubner, New York, 1996.
25. B. Meyer. Object-oriented Software Construction. Prentice Hall, New York, 1988.
26. M. Mezini and K. Lieberherr. Adaptive Plug-and-Play Components for Evolutionary Software Development. In Proc. of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '98), volume 33 (10) of SIGPLAN Notices, pages 97-116, Vancouver, 1998.
27. A. Myers, J. Bank, and B. Liskov. Parameterized Types for Java. In Proc. of the 24th ACM Symposium on Principles of Programming Languages, pages 132-145, Paris, 1997.
28. U. Nink, T. Härder, and N. Ritter. Generating Call-Level Interfaces for Advanced Database Application Programming. In M. Atkinson, M. Orlowska, P. Valduriez, S. Zdonik, and M. Brodie, editors, Proc. 25th Int. Conf. on Very Large Data Bases (VLDB'99), pages 575-586. Morgan Kaufmann, 1999.
29. M. Özsu and P. Valduriez. Principles of Distributed Database Systems. Prentice Hall, Upper Saddle Rive, 2. edition, 1999.
30. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, New York, 1991.
31. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Guide. Addison-Wesley, 1999.
32. O. D. Troyer. Designing Well-Structured Websites: Lessons to Be Learned from Database Schema Methodology. In T. Ling, S. Ram, and M. Lee, editors, Proc. 17th Int. Conf. on Conceptual Modeling (ER'98), Singapore, pages 51-64. Springer, LNCS 1507, 1998.
33. M. VanHilst and D. Notkin. Using Role Components to Implement Collaboration Based Designs. In Proc. of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '96), volume 28 (10) of SIGPLAN Notices, pages 359-369, San Jose, 1996.
34. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, Reading, 1999.
35. M. Wirsing, Algebraic Specification Languages: An Overview. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specification, pages 81-115. Springer, LNCS 906, 1995.