Filters








13 Hits in 4.1 sec

Symbiosis in logic-based pointcuts over a history of join points

Kris Gybels, Charlotte Herzeel, Theo D'Hondt
2008 Proceedings of the 2008 ACM symposium on Applied computing - SAC '08  
As has previously been shown, offering access to the past history of the base program also increases pointcut expressiveness.  ...  We discuss the unimplementable ideal model of declarative history-based logic pointcut languages, and the possible approximations that can be made that are still implementable and what limits they impose  ...  The aim of this paper is to focus on the relationship between HALO and other efforts in integrating symbiosis in logic-based and particularly history-based pointcut languages.  ... 
doi:10.1145/1363686.1363751 dblp:conf/sac/GybelsHD08 fatcat:s5bwrsn7xberrehawh3ghrcoxy

Modularizing crosscuts in an e-commerce application in Lisp using HALO

Charlotte Herzeel, Kris Gybels, Pascal Costanza, Theo D'Hondt
2009 Proceedings of the 2007 International Lisp Conference on - ILC '07  
For this purpose we give an overview of HALO, a novel pointcut language based on logic meta programming and temporal logic, which allows one to reason about program execution and (past) program state.  ...  In this paper we consider extending an e-commerce application, written in CLOS, with two of such crosscutting concerns.  ...  THE HALO LANGUAGE HALO ("History-based Aspects using LOgic") is a novel logic-based pointcut language for Common Lisp [2] that allows pointcuts to be expressed over a history of join points as well as  ... 
doi:10.1145/1622123.1622136 dblp:conf/lfp/HerzeelGCD07 fatcat:cbmqx56cobb3jpvypyotrh4bi4

Application-specific models and pointcuts using a logic metalanguage

Johan Brichau, Andy Kellens, Kris Gybels, Kim Mens, Robert Hirschfeld, Theo D'Hondt
2008 Computer languages, systems & structures  
To resolve these issues, we present an aspect-oriented programming system that features a logic-based pointcut language that is open such that it can be extended with application-specific pointcut predicates  ...  As a result, pointcuts can be specified in terms of this more high-level model of the application which confines all intricate implementation details that are otherwise exposed in the pointcut definitions  ...  A pointcut essentially specifies a set of join points, which are specific points in the base program where the aspect will be invoked implicitly.  ... 
doi:10.1016/j.cl.2007.05.004 fatcat:zup5z4cosre33pefilzyl5mghi

Application-Specific Models and Pointcuts Using a Logic Meta Language [chapter]

Johan Brichau, Andy Kellens, Kris Gybels, Kim Mens, Robert Hirschfeld, Theo D'Hondt
2007 Lecture Notes in Computer Science  
To resolve these issues, we present an aspect-oriented programming system that features a logic-based pointcut language that is open such that it can be extended with application-specific pointcut predicates  ...  As a result, pointcuts can be specified in terms of this more highlevel model of the application which confines all intricate implementation details that are otherwise exposed in the pointcut definitions  ...  A pointcut essentially specifies a set of join points, which are specific points in the base program where the aspect will be invoked implicitly.  ... 
doi:10.1007/978-3-540-71836-9_1 fatcat:zbxm45sdnzfkpc2lqje5ecp6ca

Expressive Pointcuts for Increased Modularity [chapter]

Klaus Ostermann, Mira Mezini, Christoph Bockisch
2005 Lecture Notes in Computer Science  
In aspect-oriented programming, pointcuts are used to describe crosscutting structure.  ...  We show how this raises the abstraction level and modularity of pointcuts and present first steps toward an efficient implementation by means of a static analysis technique.  ...  Acknowledgments We would like to thank Gregor Kiczales, Michael Haupt and Michael Eichberg for comments on drafts of this paper.  ... 
doi:10.1007/11531142_10 fatcat:sb7krwwyxbhzvfejj7xnyv77ia

Time warp, an approach for reasoning over system histories

Verónica Uquillas Gómez, Andy Kellens, Johan Brichau, Theo D'Hondt
2009 Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops - IWPSE-Evol '09  
In this paper we present Time Warp, a library of logic predicates that builds on the SOUL language and the FAMIX and Hismo meta-models and that allows writing queries about the history of a system.  ...  The version history of a software system contains a wealth of information that can assist developers in their daily implementation and maintenance tasks.  ...  Acknowledgments Andy Kellens is funded by a research mandate provided by the "Institute for the Promotion of Innovation through Science and Technology in Flanders" (IWT Vlaanderen).  ... 
doi:10.1145/1595808.1595825 dblp:conf/iwpse/GomezKBD09 fatcat:7r2a2p3dbje5hoze7ftnlhjc4a

JTL

Tal Cohen, Joseph (Yossi) Gil, Itay Maman
2006 SIGPLAN notices  
Thus, in a sense, JTL mimics the Query By Example [80] idea. As in the logic paradigm, a JTL program is a set of predicate definitions, one of which is marked as the program goal.  ...  The first line in the curly brackets is an existential quantifier ranging over all class members.  ...  We are also indebted to her for her meticulous read of early drafts of this paper. Comments and encouragements of James Noble are happily acknowledged.  ... 
doi:10.1145/1167515.1167481 fatcat:y5lqlnegmbhwvbrktqi4joyoey

JTL

Tal Cohen, Joseph (Yossi) Gil, Itay Maman
2006 Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06  
The underlying semantics of the language is that of queries formulated in First Order Predicate Logic augmented with transitive closure ( FOPL * ).  ...  The first line in the curly brackets is an existential quantifier ranging over all class members.  ...  Two primary applications were in mind at the time of the initial design: (a) Join-point selection for aspect-oriented programming, where JTL can serve as a powerful substitute of ASPECTJ's pointcut syntax  ... 
doi:10.1145/1167473.1167481 dblp:conf/oopsla/CohenGM06 fatcat:4dqmc44idnbcbkxdki7io7e5gm

Epi-aspects

Sebastian Fleissner, Elisa L. A. Baniassad
2007 SIGPLAN notices  
This paper provides the architectural design of epi-aspects, an autopoietic simulator, and a concrete framework for developing epiaspects in Java.  ...  The framework and the simulator are used to conduct a case study in which we develop and test a conscientious Java application.  ...  Existing aspect-oriented programming languages, such as AspectJ, provide sufficient pointcut primitives to describe most of the application join points required by epi-aspects.  ... 
doi:10.1145/1297105.1297076 fatcat:e7w7fgaxz5dmjiy4t3x76shnh4

Comparative Studies of Programming Languages; Course Lecture Notes [article]

Joey Paquet, Serguei A. Mokhov
2010 arXiv   pre-print
These notes include a compiled book of primarily related articles from the Wikipedia, the Free Encyclopedia, as well as Comparative Programming Languages book and other resources, including our own.  ...  Lecture notes for the Comparative Studies of Programming Languages course, COMP6411, taught at the Department of Computer Science and Software Engineering, Faculty of Engineering and Computer Science,  ...  or query called a pointcut (that detects whether a given join point matches).  ... 
arXiv:1007.2123v6 fatcat:4vwgbvr4xbhzjoubgv7d52mrke

The role of features and aspects in software development [article]

Sven Apel, Universitäts- Und Landesbibliothek Sachsen-Anhalt, Martin-Luther Universität
2018
In order to profit from their individual strengths, we propose the symbiosis of FOP and AOP.  ...  The result is a set of programming guidelines in form of a catalog that contrasts the strengths and weaknesses of FOP and AOP.  ...  For example, the pointcut cflow refers to the dynamic control flow of a program; it can be used to limit a set of join points to those that occur in the control flow of another join point.  ... 
doi:10.25673/4759 fatcat:7dbi2h7i25esta47mmunekbpde

Object Technology for Ambient Intelligence [article]

(:Unkn) Unknown, Technische Universität Berlin, Technische Universität Berlin, Holger Mügge, Éric Tanter, Pascal Cherrier, Jessie Dedecker, Christina Lopes, Michael Cebulla
2020
We think that our SAMProc-based infrastructure especially enables AmI requirements of heterogeneity, dynamics, communication, context, adaptability, mobility and controllability of requirements.  ...  These requirements can in most instances be fulfilled by using our sketched SAMProc approach.  ...  In Halo, context is modelled as logic facts. Pointcuts can be restricted to such a context, by linking join point conditions to context facts.  ... 
doi:10.14279/depositonce-10299 fatcat:ooj7iudaybe7rd436hzejzvrba

AN APPLICATION OF THE 5-S ACTIVITY THEORETIC REQUIREMENTS METHOD
english

2006 Proceedings of the First International Conference on Software and Data Technologies   unpublished
Portals are web sites or applications that provide access to a number of sources of information and facilities (portlets). They aggregate information from multiple sources into a single display.  ...  Based on the Publish/Subscribe model, messaging frameworks guarantee reliable delivery of messages in program-to-program communication while recognizing that synchronous communication with remote applications  ...  We have been developing a prototype system based on the method. The evaluation of our method through the use of the prototype system is another future work.  ... 
doi:10.5220/0001316401510158 fatcat:jm27ggpvlzatzh5t3envzikpbu