Cited By
View all- Lumpe MSchneider J(2006)On the integration of classboxes into c#Proceedings of the 5th international conference on Software Composition10.1007/11821946_20(307-322)Online publication date: 25-Mar-2006
Classboxes: an experiment in modeling compositional abstractions using explicit contexts
Pages 6 - es
Abstract
The development of flexible and reusable abstractions for software composition has suffered from the inherent problem that reusability and extensibility are hampered by the dependence on position and arity of parameters. In order to address this issue, we have defined λF, a substitution-free variant of the λ-calculus where names are replaced with first-class namespaces and parameter passing is modeled using explicit contexts. We have used λF to define a model for classboxes, a dynamically typed module system for object-oriented languages that provides support for controlling both the visibility and composition of class extensions. This model not only illustrates the expressive power and flexibility of λF as a suitable formal foundation for compositional abstractions, but also assists us in validating and extending the concept of classboxes in a language-neutral way.
References
[1]
U. AßTmann. Invasive Software Composition. Springer, 2003.
[2]
A. Bergel, S. Ducasse, and O. Nierstrasz. Classbox/J: Controlling the Scope of Change in Java. In Proceedings OOPSLA '05, San Diego, USA, Oct. 2005. ACM Press. To appear.
[3]
A. Bergel, S. Ducasse, O. Nierstrasz, and R. Wuyts. Classboxes: Controlling Visibility of Class Extensions. Journal of Computer Languages, Systems & Structures, 31(3--4):107--126, May 2005.
[4]
G. Bracha and W. Cook. Mixin-based Inheritance. In N. Meyrowitz, editor, Proceedings OOPSLA/ECOOP '90, volume 25 of ACM SIGPLAN Notices, pages 303--311, Oct. 1990.
[5]
L. Dami. A Lambda-Calculus for Dynamic Binding. Theoretical Computer Science, 192:201--231, Feb. 1998.
[6]
E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, 1995.
[7]
M. Lumpe. A π-Calculus Based Approach for Software Composition. PhD thesis, University of Bern, Institute of Computer Science and Applied Mathematics, Jan. 1999.
[8]
M. Lumpe. A Lambda Calculus With Forms. In T. Gschwind, U. Aßmann, and O. Nierstrasz, editors, Proceedings of the Fourth International Workshop on Software Composition, LNCS 3628, pages 83--98, Edinburgh, Scotland, Apr. 2005. Springer.
[9]
M. Lumpe and J.-G. Schneider. Form-based Software Composition. In M. Barnett, S. Edwards, D. Giannakopoulou, and G. T. Leavens, editors, Proceedings of ESEC '03 Workshop on Specification and Verification of Component-Based Systems (SAVCBS '03), pages 58--65, Helsinki, Finland, Sept. 2003.
[10]
M. Lumpe and J.-G. Schneider. A Form-based Metamodel for Software Composition. Science of Computer Programming, 56:59--78, Apr. 2005.
[11]
R. Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, 1999.
[12]
H. Mössenböck. C # to the Point. Addison-Wesley, 2005.
[13]
O. Nierstrasz and F. Achermann. A Calculus for Modeling Software Components. In F. S. de Boer, M. M. Bonsangue, S. Graf, and W. P. de Roever, editors, Proceedings of First International Symposium on Formal Methods for Components and Objects (FMCO 2002), LNCS 2852, pages 339--360, Leiden, The Netherlands, 2003. Springer.
[14]
O. Nierstrasz, J.-G. Schneider, and M. Lumpe. Formalizing Composable Software Systems - A Research Agenda. In Proceedings the 1st IFIP Workshop on Formal Methods for Open Object-based Distributed Systems, pages 271--282. Chapmann & Hall, 1996.
[15]
R. S. Pressman. Software Engineering: A Practitioner's Approach. McGraw-Hill, sixth edition, 2005.
[16]
J.-G. Schneider and M. Lumpe. Synchronizing Concurrent Objects in the Pi-Calculus. In R. Ducournau and S. Garlatti, editors, Proceedings of Langages et Modèles à Objets '97, pages 61--76, Roscoff, Oct. 1997. Hermes.
[17]
C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley / ACM Press, Second edition, 2002.
[18]
D. Ungar and R. B. Smith. SELF: The Power of Simplicity. In Proceedings OOPSLA '87, volume 22 of ACM SIGPLAN Notices, pages 227--242, Dec. 1987.
[19]
M. Van Limberghen and T. Mens. Encapsulation and Composition as Orthogonal Operators on Mixins: A Solution to Multiple Inheritance Problems. Object-Oriented Systems, 3(1): 1--30, Mar. 1996.
Index Terms
- Classboxes: an experiment in modeling compositional abstractions using explicit contexts
Recommendations
Classboxes: an experiment in modeling compositional abstractions using explicit contexts
The development of flexible and reusable abstractions for software composition has suffered from the inherent problem that reusability and extensibility are hampered by the dependence on position and arity of parameters. In order to address this issue, ...
Classboxes: controlling visibility of class extensions
A class extension is a method that is defined in a module, but whose class is defined elsewhere. Class extensions offer a convenient way to incrementally modify existing classes when subclassing is inappropriate. Unfortunately existing approaches suffer ...
On the integration of classboxes into c#
SC'06: Proceedings of the 5th international conference on Software CompositionClassboxes are a new module system for object-oriented languages defining a packaging and scoping mechanism for controlling the visibility of isolated extensions to portions of class-based systems. Unlike object-oriented specialization, the class ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 2005 Authors.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 05 September 2005
Check for updates
Qualifiers
- Article
Acceptance Rates
SAVCBS '05 Paper Acceptance Rate 15 of 15 submissions, 100%;
Overall Acceptance Rate 37 of 46 submissions, 80%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 195Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 09 Jan 2025
Other Metrics
Citations
Cited By
View all- Lumpe MSchneider J(2006)On the integration of classboxes into c#Proceedings of the 5th international conference on Software Composition10.1007/11821946_20(307-322)Online publication date: 25-Mar-2006
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