Article

Free access

Toward a formal theory of extensible software

Authors:

Shriram Krishnamurthi and

Matthias FelleisenAuthors Info & Claims

SIGSOFT '98/FSE-6: Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering

November 1998

Pages 88 - 98

https://doi.org/10.1145/288195.288269

Published: 01 November 1998 Publication History

Abstract

As software projects continue to grow in scale and scope, it becomes important to reuse software. An important kind of reuse is extensibility, i.e., the extension of software without accessing existing code to edit or copy it. In this paper, we propose a rigorous, semantics-based definition of software extensibility. Then we illustrate the utility of our definitions by applying them to several programs. The examination shows how programming style affects extensibility and also drives the creation of a variant of an existing design pattern. We consider programs in both object-oriented and functional languages to prove the robustness of our definitions.

References

[1]

Allen, R. and D. Garlan. A formal basis for architectural connection. ACAb Transactions on Sofiware Engineering and hfethodology, July 1997.

Digital Library

[2]

Batory, D. and S. O' MaUey. The design and implementation of hierarchical software systems with reusable components. AChl Transactions on Software Engineering and h1ethodology, 1(4):355-398, October 1992.

Digital Library

[3]

Brown, K. G. Design reverse-engineering and automated design pattern detection in smalltalk. Master' s thesis, North Carolina State University, 1996.

[4]

Cartwright, R. S. and M. Felleisen. Extensible denotational language specifications. In Hagiya, M. and J. C. Mitchell, editors, Symposium on Theoretical Aspects of Computer Software, pages 244-272. Springer- Verlag, April 1994. LNCS 789.

Digital Library

[5]

Drossopoulou, S. and S. Eisenbach. Java is type safeprobably. In European Conference on Object-Oriented Programming, pages 389-418, 1997.

[6]

Duggan, D. and C. Sourelis. Mixin modules. In International Conference on Functional Programming, pages 262-273, May 1996.

Digital Library

[7]

Eden, A. H., J. Gil and A. Yehudai. Precise specificat,ion and automatic application of design patterns. In Automated Software Engineering, 1997.

Digital Library

[8]

Felleisen, M. On the expressive power of programming languages. Science of Computer Programming, 17:35- 75, 1991.

Digital Library

[9]

Felleisen, M. and R. Hieb. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science, 102:235-271, 1992.

Digital Library

[10]

Findler, R. B. Modular abstract interpreters. Unpublished manuscript, Carnegie Mellon University, June 1995.

[11]

Flatt, hf., S. Krish.namurthi and M. Felleisen. Classes and mixins. In Symposium on Principles of Programming Languages, pages 171-183, January 1998.

Digital Library

[12]

Frakes, W. and C. Terry. Software reuse: Metrics and models. AChi Computing Surveys, 28(2):415-435, 1996.

Digital Library

[13]

Frappier, hiI., A. h&li and R. Ben Ayed. A relational calculus for software reuse. In IJCAI Workshop on Formal Approaches to the Reuse of Plans, Proofs and Programs, 1995.

[14]

Gamma, E., R. Helm, R. Johnson and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Personal Computing Series. Addison-Wesley, Reading, MA, 1995.

Digital Library

[15]

Gosling, J., B. Joy and G. L. Steele, Jr. The Java Language Specification. Addison-Wesley, 1996.

Digital Library

[16]

Hudak, P., S. Peyton Jones and P. Wadler. Report on the programming language Haskelk a non-strict, purely functional language. ACM SIGPLAN Notices, 27(5), May 1992. Version 1.2.

Digital Library

[17]

Krishnamurthi, S., M. Felleisen and D. P. Friedman. Synthesizing object-oriented and functional design to promote reuse. In European Conference on Object- Oriented Programming, pages 91-113, 1998.

Digital Library

[18]

Krueger, C. W. Software reuse. ACM Computing Surveys, 24(2):131-183, 1992.

Digital Library

[19]

Leach, R. J. Software Reuse: hlethods, Models, and Costs. McGraw-Hill, 1997.

[20]

L&g, S., P. Hudak and M. Jones. Monad transformers and modular interpreters. In Symposium on Principles of Programming Languages, pages 333-343, 1992.

Digital Library

[21]

McIhoy, M. D. Mass produced software components. In Naur, P. and B. Randell, editors, Report on a Conference of the NATO Science Committee, pages 138-150, October 1968.

[22]

Mih, H., F. Mili and A. Mili. Reusing software: Issues and research directions. IEEE Transactions on Software Engineering, 21(6):52&562, June 1995.

Digital Library

[23]

Mihrer, R., M. Tofte and R. Harper. The Definition of Standard ML. MIT Press, Cambridge, MA, 1990.

Digital Library

[24]

Mitchell, J. C. On abstraction and the expressive power of programming languages. Science of Computer Programming, 212:141-163, 1993.

Digital Library

[25]

Nierstrasz, O., J.-G. Schneider and M. Lumpe. Formalizing composable software systems - a research agenda. In IFIP Workshop on Formal Methods for Open Object-based Distributed Systems, 1996.

[26]

Palsberg, 3. and M. I. Schwartzbach. Object-Oriented Type Systems. Wiley, 1994.

Digital Library

[27]

Pouhn, J. S. Measuring Software Reuse: Principies, Practices, and Economic Models. Addison-Wesley, 1997.

[28]

Prieto-Diaz, R. Status report: Software reusability. IEEE Software, pages 61-66, May 1993.

Digital Library

[29]

Sefika, M., A. Sane and R. H. Campbell. Monitoring compliance of a software system with its high-level design models. In International Conference on Software Engineering, 1995.

Digital Library

[30]

Shaw, M. and D. Garlan. Software Architecture: Perspectiues on an Emerging Discipline. Prentice-Hall, 1996.

Digital Library

[31]

Stallman, R. M. GNU Emacs Manual. Free Software Foundation, Cambridge, MA, 1993.

Digital Library

Cited By

Kumar PSingh S(2016)A comprehensive evaluation of aspect-oriented software quality (AOSQ) model using analytic hierarchy process (AHP) technique2016 2nd International Conference on Advances in Computing, Communication, & Automation (ICACCA) (Fall)10.1109/ICACCAF.2016.7748957(1-7)Online publication date: Sep-2016
https://doi.org/10.1109/ICACCAF.2016.7748957
Lim SLucas PTarr PCook W(2006)JDACompanion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications10.1145/1176617.1176631(586-601)Online publication date: 22-Oct-2006
https://dl.acm.org/doi/10.1145/1176617.1176631
Fisher DShivers O(2006)Static analysis for syntax objectsACM SIGPLAN Notices10.1145/1160074.115981741:9(111-121)Online publication date: 16-Sep-2006
https://dl.acm.org/doi/10.1145/1160074.1159817
Show More Cited By

Index Terms

Toward a formal theory of extensible software
1. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
      1. Software management
        Software maintenance
2. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis
    2. Software post-development issues
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Object oriented languages

Recommendations

Toward a formal theory of extensible software

As software projects continue to grow in scale and scope, it becomes important to reuse software. An important kind of reuse is extensibility, i.e., the extension of software without accessing existing code to edit or copy it. In this paper, we propose ...
Read More
Toward a tradition of software engineering

Ever since Boehm's Letter from the Executive Committee, in October 1994, the question, "is software engineering really engineering?" has been raised many times. Apparently, the National Society of Professional Engineers would like to make it illegal for ...
Read More
Toward an Engineering Discipline of Software Reuse

This article stems from a panel session at the 1997 Symposium on Software Reusability, and discusses open research issues, classified by goal and by approach. Software development cannot possibly become an engineering discipline so long as it has not ...
Read More

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SIGSOFT '98/FSE-6: Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering

November 1998

248 pages

ISBN:1581131089

DOI:10.1145/288195

Chairmen:
Leon J. Osterweil
Univ. of Massachusetts at Amherst
,
William L. Scherlis
Carngie Mellon Univ., Pittsburgh, PA

ACM SIGSOFT Software Engineering Notes Volume 23, Issue 6
Nov. 1998
248 pages
ISSN:0163-5948
DOI:10.1145/291252
Chairmen:
Leon J. Osterweil
Univ. of Massachusetts at Amherst, Amherst
,
William L. Scherlis
Carngie Mellon Univ., Pittsburgh, PA
Issue’s Table of Contents

Copyright © 1998 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 November 1998

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SOFT98

Sponsor:

SOFT98: Sixth International Symposium on the Foundations of Software Engineering

November 1 - 5, 1998

Florida, Lake Buena Vista, USA

Acceptance Rates

Overall Acceptance Rate 17 of 128 submissions, 13%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
733
Total Downloads

Downloads (Last 12 months)69
Downloads (Last 6 weeks)14

Other Metrics

View Author Metrics

Citations

Cited By

Kumar PSingh S(2016)A comprehensive evaluation of aspect-oriented software quality (AOSQ) model using analytic hierarchy process (AHP) technique2016 2nd International Conference on Advances in Computing, Communication, & Automation (ICACCA) (Fall)10.1109/ICACCAF.2016.7748957(1-7)Online publication date: Sep-2016
https://doi.org/10.1109/ICACCAF.2016.7748957
Lim SLucas PTarr PCook W(2006)JDACompanion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications10.1145/1176617.1176631(586-601)Online publication date: 22-Oct-2006
https://dl.acm.org/doi/10.1145/1176617.1176631
Fisher DShivers O(2006)Static analysis for syntax objectsACM SIGPLAN Notices10.1145/1160074.115981741:9(111-121)Online publication date: 16-Sep-2006
https://dl.acm.org/doi/10.1145/1160074.1159817
Fisher DShivers OReppy JLawall J(2006)Static analysis for syntax objectsProceedings of the eleventh ACM SIGPLAN international conference on Functional programming10.1145/1159803.1159817(111-121)Online publication date: 17-Sep-2006
https://dl.acm.org/doi/10.1145/1159803.1159817
Charest LReid MAboulhamid EBois G(2001)A methodology for interfacing open source systemC with a third party softwareProceedings of the conference on Design, automation and test in Europe10.5555/367072.367077Online publication date: 13-Mar-2001
https://dl.acm.org/doi/10.5555/367072.367077
Charest LReid MAboulhamid EBois G(2001)A methodology for interfacing open source SystemC with a third party softwareProceedings Design, Automation and Test in Europe. Conference and Exhibition 200110.1109/DATE.2001.914994(16-20)Online publication date: 2001
https://doi.org/10.1109/DATE.2001.914994
Wells JVestergaard R(2000)Equational Reasoning for Linking with First-Class Primitive ModulesProgramming Languages and Systems10.1007/3-540-46425-5_27(412-428)Online publication date: 12-May-2000
https://doi.org/10.1007/3-540-46425-5_27
Duggan D(2000)A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming LanguagesECOOP 2000 — Object-Oriented Programming10.1007/3-540-45102-1_9(179-200)Online publication date: 12-May-2000
https://doi.org/10.1007/3-540-45102-1_9
Braun REsswein W(2015)Extending the MOF for the Adaptation of Hooks, Aspects, Plug-Ins and Add-OnsProceedings of the 5th International Conference on Model and Data Engineering - Volume 934410.1007/978-3-319-23781-7_3(28-38)Online publication date: 26-Sep-2015
https://dl.acm.org/doi/10.1007/978-3-319-23781-7_3

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents