More Web Proxy on the site http://driver.im/

research-article

Implicit invocation of traits

Authors:

Thomas Pawlitzki,

Friedrich SteimannAuthors Info & Claims

SAC '10: Proceedings of the 2010 ACM Symposium on Applied Computing

Pages 2085 - 2089

https://doi.org/10.1145/1774088.1774528

Published: 22 March 2010 Publication History

Abstract

We propose the introduction of a special kind of traits that implement methods implicitly invoked when an event of a given type occurs. Events are announced explicitly in the source code at their place of origin, and classes publishing events, as well as traits subscribing to them, are explicitly marked as such. The result is greater independence of publisher and subscriber (when compared to other implementations), as well as an explicit interface between the two. An implementation in Scala is briefly sketched.

References

[1]

AspectJ. http://www.eclipse.org/aspectj/.

[2]

J. Dingel, D. Garlan, S. Jha, and D. Notkin. Reasoning about implicit invocation. In SIGSOFT Software Engineering Notes, pages 209--221, 1998.

Digital Library

[3]

P. Eugster. Type-based publish/subscribe: Concepts and experiences. ACM Trans. Program. Lang. Syst., 29(1):6, 2007.

Digital Library

[4]

P. Eugster and K. Jayaram. EventJava: An extension of java for event correlation. Proc. ECOOP '09, 2009.

Digital Library

[5]

E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: elements of reusable object-oriented software. Addison-Wesley Professional, 1995.

Digital Library

[6]

D. Garlan and D. Notkin. Formalizing design spaces: Implicit invocation mechanisms. In Proc. VDM '91, pages 31--44, London, UK, 1991. Springer-Verlag.

Digital Library

[7]

M. Odersky, L. Spoon, and B. Venners. Programming in Scala. Artima, 2008.

[8]

H. Rajan and G. T. Leavens. Ptolemy: A language with quantified, typed events. In Proc. of ECOOP '08, pages 155--179, 2008.

Digital Library

[9]

H. Rajan and K. J. Sullivan. Classpects: Unifying aspect- and object-oriented language design. In Proc. ICSE '05, pages 59--68. ACM Press, 2005.

Digital Library

[10]

S. P. Reiss. Connecting tools using message passing in the Field environment. IEEE Softw., 7(4):57--66, 1990.

Digital Library

[11]

N. Schärli, S. Ducasse, O. Nierstrasz, and A. P. Black. Traits: Composable units of behaviour. In In Proc. ECOOP '03, pages 248--274. Springer, 2003.

[12]

F. Steimann. The paradoxical success of aspect-oriented programming. In Proc. OOPSLA '06, pages 481--497, 2006.

Digital Library

[13]

F. Steimann, T. Pawlitzki, S. Apel, and C. Kästner. Types and modularity for implicit invocation with implicit announcement. ACM TOSEM, accepted for publication in 2011.

Digital Library

[14]

K. Sullivan and D. Notkin. Reconciling environment integration and component independence. In SIG-SOFT Softw. Eng. Notes, pages 22--33, 1990.

Digital Library

[15]

J. Xu, H. Rajan, and K. Sullivan. Understanding aspects via implicit invocation. In ASE, IEEE Computer, pages 332--335. Society Press, 2004.

Digital Library

Cited By

Sánchez JLeavens GFuentes LBatory DCzarnecki K(2016)Reasoning tradeoffs in languages with enhanced modularity featuresProceedings of the 15th International Conference on Modularity10.1145/2889443.2889447(13-24)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.1145/2889443.2889447
Behringer BCheung SOrso AStorey M(2014)Integrating approaches for feature implementationProceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering10.1145/2635868.2666605(775-778)Online publication date: 11-Nov-2014
https://dl.acm.org/doi/10.1145/2635868.2666605
Van Ham JSalvaneschi GMezini MNoyé JPeternier ABinder WErnst EHirschfeld R(2014)JEScalaProceedings of the 13th international conference on Modularity10.1145/2577080.2577082(205-216)Online publication date: 22-Apr-2014
https://dl.acm.org/doi/10.1145/2577080.2577082

Index Terms

Implicit invocation of traits
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Control structures
        Polymorphism

Recommendations

Types and modularity for implicit invocation with implicit announcement

Through implicit invocation, procedures are called without explicitly referencing them. Implicit announcement adds to this implicitness by not only keeping implicit which procedures are called, but also where or when—under implicit invocation with ...
Stateful traits and their formalization

Traits offer a fine-grained mechanism to compose classes from reusable components while avoiding problems of fragility brought by multiple inheritance and mixins. Traits as originally proposed are stateless, that is, they contain only methods, but no ...
Implicit invocation meets safe, implicit concurrency
GPCE '10

Writing correct and efficient concurrent programs still remains a challenge. Explicit concurrency is difficult, error prone, and creates code which is hard to maintain and debug. This type of concurrency also treats modular program design and ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '10: Proceedings of the 2010 ACM Symposium on Applied Computing

March 2010

2712 pages

ISBN:9781605586397

DOI:10.1145/1774088

Conference Chairs:
Sung Y. Shin
South Dakota State University
,
Sascha Ossowski
University Rey Juan Carlos, Spain
,
Michael Schumacher
University of Applied Sciences Western Switzerland, Switzerland
,
Program Chairs:
Mathew J. Palakal
Indiana University Purdue University
,
Chih-Cheng Hung
Southern Polytechnic State University

Copyright © 2010 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

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 March 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SAC'10

Sponsor:

SIGAPP

SAC'10: The 2010 ACM Symposium on Applied Computing

March 22 - 26, 2010

Sierre, Switzerland

Acceptance Rates

SAC '10 Paper Acceptance Rate 364 of 1,353 submissions, 27%;

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
98
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Sánchez JLeavens GFuentes LBatory DCzarnecki K(2016)Reasoning tradeoffs in languages with enhanced modularity featuresProceedings of the 15th International Conference on Modularity10.1145/2889443.2889447(13-24)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.1145/2889443.2889447
Behringer BCheung SOrso AStorey M(2014)Integrating approaches for feature implementationProceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering10.1145/2635868.2666605(775-778)Online publication date: 11-Nov-2014
https://dl.acm.org/doi/10.1145/2635868.2666605
Van Ham JSalvaneschi GMezini MNoyé JPeternier ABinder WErnst EHirschfeld R(2014)JEScalaProceedings of the 13th international conference on Modularity10.1145/2577080.2577082(205-216)Online publication date: 22-Apr-2014
https://dl.acm.org/doi/10.1145/2577080.2577082

View Options

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

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents