Article

Implementing protocols via declarative event patterns

Authors:

Robert J. Walker,

Kevin ViggersAuthors Info & Claims

SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering

Pages 159 - 169

https://doi.org/10.1145/1029894.1029918

Published: 31 October 2004 Publication History

Abstract

This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are descriptions of sequences of events in the execution of a system that include the ability to recognize properly nested event structures. DEPs allow a developer to describe a protocol at a high-level, without the need to express extraneous details. A developer can indicate that specific actions be taken when a given pattern occurs. DEPs are automatically translated into the appropriate instrumentation and automaton for recognizing a given pattern. Support for DEPs has been implemented in a proof-of-concept extension to the AspectJ language that is based on advanced compiler technology. A case study is described that compares the use of DEPs in the implementation of a protocol (FTP user authentication) to the use of a set of other approaches, both object-oriented and aspect-oriented.

References

[1]

R. Åberg et al. On the automatic evolution of an OS kernel using temporal logic and AOP. In Int'l Conf. Automated Softw. Eng., 2003.]]

[2]

A. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.]]

Digital Library

[3]

J. Aycock and N. Horspool. Schrodinger's token. Software---Practice & Experience, 31(8), 2001.]]

[4]

J. Aycock, N. Horspool, J. Janouek, and B. Melichar. Even faster generalized LR parsing. Acta Informatica, 37(9), 2001.]]

Digital Library

[5]

W. Bartussek and D. Parnas. Using assertions about traces to write abstract specifications for software modules. In Information Systems Methodology, 1978. LNCS 65.]]

Digital Library

[6]

J. Bradfield and C. Stirling. Modal logics and mu-calculi. In Handbook of Process Algebra. Elsevier, 2001.]]

[7]

S. Butkevich, M. Renedo, G. Baumgartner, and M. Young. Compiler and tool support for debugging object protocols. In Int'l Symp. Foundations Softw. Eng., 2000.]]

Digital Library

[8]

T. Colcombet and P. Fradet. Enforcing trace properties by program transformation. In Symp. Princ. Progr. Lang., 2000.]]

Digital Library

[9]

Cs3 Inc. TriggerWare: Infrastructure for Event Reasoning Applications, Version 1.0, 2004. http://www.cs3-inc.com/www.cs3-inc.com.]]

[10]

W. De Pauw, D. Lorenz, J. Vlissides, and M. Wegman. Execution patterns in object-oriented visualization. In USENIX Conf. Object-Oriented Tech. and Sys., 1998.]]

Digital Library

[11]

R. Douence, P. Fradet, and M. Südholt. A framework for the detection and resolution of aspect interactions. In Int'l Conf. Generic Prog. and Component Eng., 2002. LNCS 2487.]]

Digital Library

[12]

R. Douence, O. Motelet, and M. Südholt. A formal definition of crosscuts. In Metalevel Architectures and Separation of Crosscutting Concerns, 2001. LNCS 2192.]]

Digital Library

[13]

R. Douence and M. Südholt. A model and a tool for event-based aspect-oriented programming (EAOP). TR 02/11/INFO, Ecole des Mines de Nantes, 2002.]]

[14]

M. Feather. Reuse in the context of a transformation-based methodology. In T. Biggerstaff and A. Perlis, editors, Software Reusability, volume 1. Addison--Wesley, 1989.]]

Digital Library

[15]

S. Fickas and M. Feather. Requirements monitoring in dynamic environments. In IEEE Symp. Requirements Eng., 1995.]]

Digital Library

[16]

R. Filman and K. Havelund. Source-code instrumentation and quantification of events. In Wkshp. Foundations Aspect-Oriented Lang. at AOSD, 2002.]]

[17]

D. Hoffman and P. Strooper. State abstraction and modular software development. In Int'l Symp. Foundations Softw. Eng., 1995.]]

Digital Library

[18]

JAsCo tool. http://ssel.vub.ac.be/jascossel.vub.ac.be/jasco, 2004.]]

[19]

G. Kiczales et al. An overview of AspectJ. In Proc. European Conf. Object-Oriented Progr., 2001. LNCS 2072.]]

Digital Library

[20]

D. Knuth. On the translation of languages from left to right. Information and Control, 8(6), 1965.]]

[21]

E. Ochmanski. Recognizable trace languages. In The Book of Traces. World Scientific, 1995.]]

[22]

J. Postel and J. Reynolds. File Transfer Protocol (FTP). Request for Comments 959, Network Working Group, 1985.]]

Digital Library

[23]

S. Reiss and M. Renieris. Encoding program executions. In Int'l Conf. Softw. Eng., 2001.]]

Digital Library

[24]

D. Sereni and O. de Moor. Static analysis of aspects. In Int'l Conf. Aspect-Oriented Softw. Dev., 2003.]]

Digital Library

[25]

The AspectJ Team. The AspectJ Programming Guide. Palo Alto Research Center, Inc., 2003.]]

[26]

K. Viggers and R. Walker. An implementation of declarative event patterns. TR 2004-745-10, Univ. of Calgary, 2004.]]

[27]

D. Wagner and D. Dean. Intrusion detection via static analysis. In IEEE Symp. Security and Privacy, 2001.]]

Digital Library

[28]

R. Walker. IConJ 0.1: A proof-of-concept tool for the application of the implicit context model to Java software. TR 2004-757-22, Univ. of Calgary, 2004.]]

[29]

R. Walker and G. Murphy. Implicit context: Easing software evolution and reuse. In Int'l Symp. Foundations Softw. Eng., 2000.]]

Digital Library

[30]

D. Yellin and R. Strom. Protocol specifications and component adaptors. ACM Trans. Progr. Lang. Sys., 19(2), 1997.]]

Digital Library

Cited By

Coker ZSunshine JLe Goues C(2021)FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)10.1109/SANER50967.2021.00027(201-212)Online publication date: Mar-2021
https://doi.org/10.1109/SANER50967.2021.00027
Havelund KReger GRoşu G(2019)Runtime Verification Past Experiences and Future ProjectionsComputing and Software Science10.1007/978-3-319-91908-9_25(532-562)Online publication date: 2019
https://doi.org/10.1007/978-3-319-91908-9_25
Harkes Dvan Chastelet EVisser EPearce DMayerhofer TSteimann F(2018)Migrating business logic to an incremental computing DSL: a case studyProceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3276604.3276617(83-96)Online publication date: 24-Oct-2018
https://dl.acm.org/doi/10.1145/3276604.3276617
Show More Cited By

Index Terms

Implementing protocols via declarative event patterns

Recommendations

Implementing protocols via declarative event patterns

This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are descriptions of sequences of events in the execution of a system that include ...
Design and Implementation of an Aspect-Oriented C Programming Language

Aspect-Oriented Programming (AOP) is a programming paradigm that implements crosscutting concerns in a modular way. People have witnessed the prosperity of AOP languages for Java and C++, such as AspectJ and AspectC++, which has propelled AOP to become ...
Composing design patterns: a scalability study of aspect-oriented programming
AOSD '06: Proceedings of the 5th international conference on Aspect-oriented software development

Pattern composition has been shown as a challenge to applying design patterns in real software systems. One of the main problems is that multiple design patterns in a system are not limited to affect only the application concerns. They also crosscut ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering

October 2004

282 pages

ISBN:1581138555

DOI:10.1145/1029894

General Chair:
Richard N. Taylor
University of California, Irvine, CA
,
Program Chair:
Matthew B. Dwyer
University of Nebraska - Lincoln

ACM SIGSOFT Software Engineering Notes Volume 29, Issue 6
November 2004
275 pages
ISSN:0163-5948
DOI:10.1145/1041685
Issue’s Table of Contents

Copyright © 2004 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: 31 October 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SIGSOFT04/FSE-12

Sponsor:

SIGSOFT04/FSE-12: SIGSOFT 2004 -12th International Symposium on the Foundations of Software Engineering

October 31 - November 6, 2004

CA, Newport Beach, USA

Acceptance Rates

Overall Acceptance Rate 17 of 128 submissions, 13%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

75
Total Citations
View Citations
768
Total Downloads

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

Reflects downloads up to 18 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Coker ZSunshine JLe Goues C(2021)FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)10.1109/SANER50967.2021.00027(201-212)Online publication date: Mar-2021
https://doi.org/10.1109/SANER50967.2021.00027
Havelund KReger GRoşu G(2019)Runtime Verification Past Experiences and Future ProjectionsComputing and Software Science10.1007/978-3-319-91908-9_25(532-562)Online publication date: 2019
https://doi.org/10.1007/978-3-319-91908-9_25
Harkes Dvan Chastelet EVisser EPearce DMayerhofer TSteimann F(2018)Migrating business logic to an incremental computing DSL: a case studyProceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3276604.3276617(83-96)Online publication date: 24-Oct-2018
https://dl.acm.org/doi/10.1145/3276604.3276617
Havelund KRoşu G(2018)Runtime Verification - 17 Years LaterRuntime Verification10.1007/978-3-030-03769-7_1(3-17)Online publication date: 8-Nov-2018
https://doi.org/10.1007/978-3-030-03769-7_1
Asteasuain FBraberman V(2017)Declaratively building behavior by means of scenario clausesRequirements Engineering10.1007/s00766-015-0242-222:2(239-274)Online publication date: 1-Jun-2017
https://dl.acm.org/doi/10.1007/s00766-015-0242-2
De Fraine BErnst ESüdholt M(2012)Essential AOPACM Transactions on Programming Languages and Systems10.1145/2362389.236239134:3(1-43)Online publication date: 5-Nov-2012
https://dl.acm.org/doi/10.1145/2362389.2362391
Bockisch CMalakuti SAkşit MKatz SBorba PChiba S(2011)Making aspects naturalProceedings of the tenth international conference on Aspect-oriented software development10.1145/1960275.1960312(285-300)Online publication date: 21-Mar-2011
https://dl.acm.org/doi/10.1145/1960275.1960312
Kamina TAotani TMasuhara HBorba PChiba S(2011)EventCJProceedings of the tenth international conference on Aspect-oriented software development10.1145/1960275.1960305(253-264)Online publication date: 21-Mar-2011
https://dl.acm.org/doi/10.1145/1960275.1960305
Bodden ELam P(2010)ClaraProceedings of the First international conference on Runtime verification10.5555/1939399.1939409(74-88)Online publication date: 1-Nov-2010
https://dl.acm.org/doi/10.5555/1939399.1939409
De Fraine BErnst ESüdholt M(2010)Essential AOPProceedings of the 24th European conference on Object-oriented programming10.5555/1883978.1883987(101-125)Online publication date: 21-Jun-2010
https://dl.acm.org/doi/10.5555/1883978.1883987
Show More Cited By

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.

Figures

Tables

Media

View Table of Conten