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

ABSTRACT

When creating a family of systems, i.e. several systems of similar type which differ within some aspects, it is desirable to be able to express these differences already at the level of the specification, and to automatically obtain systems from it which are ready to run. The use of generic methods may lead to substantial progress in this area. This report explores two aspects: parameterization concepts at the specification level, which can be used to describe variants of a system, and generator programs, which produce runnable systems from prefabricated components.

REFERENCES

• 1: Martin Abadi , Luca Cardelli, A Theory of Objects, Springer-Verlag New York, Inc., Secaucus, NJ, 1996
• 2: Serge Abiteboul , Peter Buneman , Dan Suciu, Data on the Web: from relations to semistructured data and XML, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1999
• 3: Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 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 ofTexas, 1996.
• 6: D. Batory. Intelligent Components and Software Generators. Invited presentation to the "Software Quality Institute Symposion on Software Reliability", Austin, 1997.
• 7: Grady Booch , James Rumbaugh , Ivar Jacobson, The Unified Modeling Language user guide, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1999
• 8: Gilad Bracha , Martin Odersky , David Stoutamire , Philip Wadler, Making the future safe for the past: adding genericity to the Java programming language, Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.183-200, October 18-22, 1998, Vancouver, British Columbia, Canada
• 9: J. Costa Seco and L. Caires. Parametric Typed Components. In Proc. 5th International Workshop on Component-Oriented Programming, 2000. To appear.
• 10: Krzysztof Czarnecki , Ulrich W. Eisenecker, Generative programming: methods, tools, and applications, ACM Press/Addison-Wesley Publishing Co., New York, NY, 2000
• 11: S. Eckstein. Towards a Module Concept for Object Oriented Specification Languages. In J. Barzdic ns, 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: Hartmut Ehrig , B. Mahr, Fundamentals of Algebraic Specification I, Springer-Verlag New York, Inc., Secaucus, NJ, 1985
• 14: H. Ehrig , Bernd Mahr, Fundamentals of algebraic specification 2: module specifications and constraints, Springer-Verlag New York, Inc., New York, NY, 1990
• 15: J. A. Goguen, Parameterized programming and software architecture, Proceedings of the 4th International Conference on Software Reuse, p.2, April 23-26, 1996
• 16: J. Goguen and G. Malcolm, editors. Software Engineering with OBJ: Algebraic Specification in Action. Kluwer, Boston, 2000.
• 17: Joseph A. Goguen , Will Tracz, An implementation-oriented semantics for module composition, Foundations of component-based systems, Cambridge University Press, New York, NY, 2000
• 18: Antonio Grau , Juliana Küster Filipe , Mojgan Kowsari , Silke Eckstein , Ralf Pinger , Hans-Dieter Ehrich, The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools, Proceedings of the 17th International Conference on Conceptual Modeling, p.277-290, November 16-19, 1998
• 19: David Harel, From Play-In Scenarios to Code: An Achievable Dream, Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, p.22-34, March 25-April 02, 2000
• 20: P. Hartel. Conceptual Modelling of Information Systems as Distributed Object Systems. (In German). Series DISDBIS. Infix-Verlag, Sankt Augustin, 1997.
• 21: Peter Hartel , Grit Denker , Mojgan Kowsari , Maren Krone , Hans-Dieter Ehrich, Information systems modelling with TROLL formal methods at work, Information Systems, v.22 n.2-3, p.79-99, April/May 1997 [doi>10.1016/S0306-4379(97)00006-9]
• 22: Stan Jarzabek , Peter Knauber, Synergy between component-based and generative approaches, Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, p.429-445, September 06-10, 1999, Toulouse, France
• 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. ach FG 1: Integration von semi-formalen und formalen Methoden f. ur die Spezifikation von Software, pages 35-42. Springer, Informatik aktuell, 1994.
• 24: Jacques Loeckx , Hans-Dieter Ehrich , Markus Wolf, Specification of abstract data types, John Wiley & Sons, Inc., New York, NY, 1997
• 25: Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
• 26: Mira Mezini , Karl Lieberherr, Adaptive plug-and-play components for evolutionary software development, Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.97-116, October 18-22, 1998, Vancouver, British Columbia, Canada
• 27: Joseph A. Bank , Andrew C. Myers , Barbara Liskov, Parameterized types for Java, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.132-145, January 15-17, 1997, Paris, France [doi>10.1145/263699.263714]
• 28: Udo Nink , Theo Härder , Norbert Ritter, Generating Call-Level Interfaces for Advanced Database Application Programming, Proceedings of the 25th International Conference on Very Large Data Bases, p.575-586, September 07-10, 1999
• 29: M. Tamer Özsu , Patrick Valduriez, Principles of distributed database systems (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1999
• 30: James Rumbaugh , Michael Blaha , William Premerlani , Frederick Eddy , William Lorensen, Object-oriented modeling and design, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
• 31: James Rumbaugh , Ivar Jacobson , Grady Booch, The Unified Modeling Language reference manual, Addison-Wesley Longman Ltd., Essex, UK, 1998
• 32: Olga De Troyer, Designing Well-Structured Websites: Lessons to Be Learned from Database Schema Methodology, Proceedings of the 17th International Conference on Conceptual Modeling, p.51-64, November 16-19, 1998
• 33: Michael VanHilst , David Notkin, Using role components in implement collaboration-based designs, Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.359-369, October 06-10, 1996, San Jose, California, United States
• 34: Jos Warmer , Anneke Kleppe, The object constraint language: precise modeling with UML, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1998
• 35: Martin Wirsing, Algebraic Specification Languages: An Overview, Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification, p.81-115, May 30-June 03, 1994

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: UML

  H. Information Systems

General Terms:
Design, Measurement, Performance, Theory

Keywords:
Java, UML, application generators, information systems, parameterized programming, parameterized specification