Cited By
View all- Pavel SNoyé JRoyer J(2004)Dynamic Configuration of Software Product Lines in ArchJavaSoftware Product Lines10.1007/978-3-540-28630-1_6(90-109)Online publication date: 2004
Techniques and language constructs for developing generic informations systems: a case study
Pages 145 - 154
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]
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 ofTexas, 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. 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]
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 onSoftware 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. uster 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. ach FG 1: Integration von semi-formalen und formalen Methoden f. ur 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 onObject-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.arder, 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. . Ozsu 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.]]
Index Terms
- Techniques and language constructs for developing generic informations systems: a case study
Recommendations
Techniques and language constructs for developing generic informations systems: a case study
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 ...
Ownership and immutability in generic Java
OOPSLA '10: Proceedings of the ACM international conference on Object oriented programming systems languages and applicationsThe Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable, and readonly data and references). Programmers are prone to design errors,...
Ownership and immutability in generic Java
OOPSLA '10The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable, and readonly data and references). Programmers are prone to design errors,...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 2001 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 May 2001
Check for updates
Author Tags
Qualifiers
- Article
Conference
SSR01
Sponsor:
Acceptance Rates
Overall Acceptance Rate 33 of 76 submissions, 43%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 404Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 18 Feb 2025
Other Metrics
Citations
Cited By
View all- Pavel SNoyé JRoyer J(2004)Dynamic Configuration of Software Product Lines in ArchJavaSoftware Product Lines10.1007/978-3-540-28630-1_6(90-109)Online publication date: 2004
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in