Filters








4,159 Hits in 5.6 sec

Weaving aspects into C++ applications for validation of temporal invariants

T.H. Gibbs, B.A. Malloy
Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings.  
To facilitate incorporation of temporal invariants as a maintenance or reengineering activity, we weave invariants into the system as aspects.  ...  In our case study of a C++ system, the aspects are woven into join points using policies.  ...  In Section 4 we describe our model of temporal invariants and our technique for weaving temporal invariants as aspects into the case study application.  ... 
doi:10.1109/csmr.2003.1192433 dblp:conf/csmr/GibbsM03 fatcat:ympb466z6rc6zhq6uxe46pzbae

A closer look at aspect interference and cooperation

Cynthia Disenfeld, Shmuel Katz
2012 Proceedings of the 11th annual international conference on Aspect-oriented Software Development - AOSD '12  
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without recursion.  ...  In this semantics, whenever a joinpoint of an aspect is reached, the corresponding advice is begun even if the joinpoint is inside the advice of other aspects.  ...  This method assumes that there are no joinpoints inside advice and is valid for sequential weaving, where the advice of an aspect is woven into the system at the joinpoints available so far, and then another  ... 
doi:10.1145/2162049.2162063 dblp:conf/aosd/DisenfeldK12 fatcat:26s67yjjz5b4bchk4qnyw2ll3u

MAVEN: modular aspect verification and interference analysis

Max Goldman, Emilia Katz, Shmuel Katz
2010 Formal methods in system design  
This is the first technique for once-and-for-all verification of an aspect relative to its specification, thereby increasing the modularity of proofs for systems with aspects.  ...  The specification includes assumptions about properties of the underlying system, and guaranteed properties of any system after the aspect is woven into it.  ...  As described in Sect. 6.2.2, even if aspects A, B, and C are pairwise interference-free, and are correct relative to their assumptions and guarantees, weaving of all three into a system with P A ∧ P B  ... 
doi:10.1007/s10703-010-0101-1 fatcat:lylvusrz4rbuzjxdnh6mabwduu

Confluence of aspects for sequence diagrams

Roy Grønmo, Ragnhild Kobro Runde, Birger Møller-Pedersen
2011 Journal of Software and Systems Modeling  
This raises the need to analyse the set of aspects to identify possible aspect interactions (dependencies and conflicts) between applications of aspects.  ...  In a real-world scenario, there may be multiple aspects applicable to the same base model.  ...  We thank Stein Krogdahl for his valuable feedback.  ... 
doi:10.1007/s10270-011-0212-1 fatcat:aghr6jaahvbldod7f3n2fnn24u

Aspects of availability

Pascal Fradet, Stéphane Hong Tuan Ha
2010 Science of Computer Programming  
For instance, files, printers, processors or network connection managers are examples of resources. This type of client-server model is of widespread use in web servers and distributed applications.  ...  Programs and aspects are specified as timed automata and the weaving process as an automata product.  ...  For example, the aspect (C L); a (C L ); a waits for the events C or C ; the first event occurring triggers the execution of the corresponding advice and equation (L and a or L and a ).  ... 
doi:10.1016/j.scico.2009.10.002 fatcat:6wieq3ojg5akncfkl7hfg3braq

Aspects of availability

Pascal Fradet, Stéphane Hong Tuan Ha
2007 Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07  
For instance, files, printers, processors or network connection managers are examples of resources. This type of client-server model is of widespread use in web servers and distributed applications.  ...  Programs and aspects are specified as timed automata and the weaving process as an automata product.  ...  For example, the aspect (C L); a (C L ); a waits for the events C or C ; the first event occurring triggers the execution of the corresponding advice and equation (L and a or L and a ).  ... 
doi:10.1145/1289971.1289999 dblp:conf/gpce/FradetH07 fatcat:2ucves3przgx5ivjma7fxmzsnu

Aspect Categories and Classes of Temporal Properties [chapter]

Shmuel Katz
2006 Lecture Notes in Computer Science  
For some categories, broad classes of syntactically identifiable temporal properties, such as safety, liveness, or existence properties, are guaranteed to hold for a system with any aspect of the category  ...  Moreover, relatively simple verification techniques are shown to hold for some classes of temporal properties over systems augmented with some other categories of aspects.  ...  In fact, one of the reasons for weaving a regulative aspect into an underlying system is to eliminate problematic states (that violate desired invariants) by making them unreachable in the state graph  ... 
doi:10.1007/11687061_4 fatcat:r643mpownfggrappzamkc5fnpm

Support for distributed adaptations in aspect-oriented middleware

Eddy Truyen, Nico Janssens, Frans Sanen, Wouter Joosen
2008 Proceedings of the 7th international conference on Aspect-oriented software development - AOSD '08  
We have validated our approach by delivering and examining two implementations of the DyReS framework: one on top of JBoss AOP and a second one for Spring AOP.  ...  Many aspect-oriented middleware platforms support run-time aspect weaving, but do not support coordinating distributed changes to a set of aspects at run-time.  ...  Acknowledgments We would like to thank the reviewers for their insightful comments that helped to improve this paper.  ... 
doi:10.1145/1353482.1353497 dblp:conf/aosd/TruyenJSJ08 fatcat:gfvbwa7udveudfzsn2td4z3kxe

Model Checking Aspectual Pervasive Software Services

Dhaminda B. Abeywickrama, Sita Ramakrishnan
2011 2011 IEEE 35th Annual Computer Software and Applications Conference  
However, this has two challenges: the semi-formal nature of UML notations, and the expressive power of aspects.  ...  This paper explores model checking as a solution for modeling aspectual pervasive software services and their compositions, and rigorously verifying the process behavior of these models against specified  ...  We use model transformations to automate the application of design patterns and generate infrastructure code for the c-FSP aspects using FSP semantics.  ... 
doi:10.1109/compsac.2011.41 dblp:conf/compsac/AbeywickramaR11 fatcat:o3kx7bd2knbtfpjjm37ttby3y4

Certificate translation for specification-preserving advices

Gilles Barthe, César Kunz
2008 Proceedings of the 7th workshop on Foundations of aspect-oriented languages - FOAL '08  
We extend our earlier work on certificate translation, and show in the context of a very simple AOP language that it is possible to generate certificates of executable code from proofs of aspect-oriented  ...  To achieve this goal, we introduce a notion of specification-preserving advice, and provide a verification method for programs with specification-preserving advices.  ...  [15] proposes a classification of aspects as spectative, regulative or invasive, and analyze the class of temporal properties that are preserved by aspects falling in these categories.  ... 
doi:10.1145/1394496.1394498 dblp:conf/foal/BartheK08 fatcat:ggzpvyvlzjhxbaymstqrvgie5m

Aspect-Oriented Development Method for Non-Functional Characteristics of Cyber Physical Systems Based on MDA Approach

Lichen Zhang
2012 Journal of Software  
Different aspects can be designed separately, and woven into systems. In this paper, we propose an aspect-oriented MDA approach for non-functional properties to develop cyber physical systems.  ...  AOP is a new software development paradigm, which could attain a higher level of separation of concerns in both functional and nonfunctional matters by introducing aspect, for the implementation of crosscutting  ...  Step four: Transform the generic aspects to enhanced aspects using the aspect converter. Step five: Weave the enhanced aspects into the enhanced PIM to produce the PSM.  ... 
doi:10.4304/jsw.7.3.608-619 fatcat:u7tsi5jpnfb37pn5xc5simd5mm

Towards Dynamic Monitoring of WS-BPEL Processes [chapter]

Luciano Baresi, Sam Guinea
2005 Lecture Notes in Computer Science  
The intrinsic flexibility and dynamism of service-centric applications preclude their pre-release validation and demand for suitable probes to monitor their behavior at run-time.  ...  After weaving selected rules into the process at deployment time, the user can set the amount of monitoring at run-time by means of these parameters (see Sections 3 and 4).  ...  Introduction The flexibility and dynamism of service-centric applications impose a shift in the validation process.  ... 
doi:10.1007/11596141_21 fatcat:y4aumw4qqjdlnbzix6nxrhvvwi

A Generative Middleware Specialization Process for Distributed Real-Time and Embedded Systems

Akshay Dabholkar, Aniruddha Gokhale
2011 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing  
to manually identify the system invariants, and sources of performance and memory footprint bottlenecks that determine the required specializations.  ...  General-purpose middleware must often be specialized for resource-constrained, real-time and embedded systems to improve their response-times, reliability, memory footprint, and even power consumption.  ...  For the sake of terseness, we have only shown a few of the frameworks that were optimized. C.  ... 
doi:10.1109/isorc.2011.32 dblp:conf/isorc/DabholkarG11 fatcat:hq7ms36cwngzhamddbvdxtcyty

Application-Tailored Databases for Real-Time Systems [chapter]

Jörgen Hansson, Aleksandra Te_anovic
2007 Chapman & Hall/CRC Computer & Information Science Series  
Acknowledgments The authors would like to thank Jack Goossen and Rob van Ommering for the initial reviewing of the  ...  Aspects are written in an aspect language that corresponds to the language in which the software system is written, e.g., AspectC [6] for software written in C, AspectC++ [34] for C++ or C, and AspectJ  ...  Aspect weaving is done using join points of the software for which the aspect is written.  ... 
doi:10.1201/9781420011746.ch28 fatcat:a6c7e7rutvhslcvrkbjen53jaq

Spatiotemporal Data Modeling for "4D" Databases [chapter]

Alexander Zipf
2005 GIS for Sustainable Development  
Special thanks go to Sven Krüger, now at Quadox AG, Germany, for contributing considerably to the modeling and implementing the model.  ...  Acknowledgments This work has been undertaken in the context of the project Deep Map at the EML, supported by Klaus Tschira Foundation (KTS), and the BMBF project SMARTKOM.  ...  For example the borders of structures that is it possible for sub-linear or branching orders to have (absolute) overlapping temporal Temporal History Temporal Order Valid Transa c tion Event sub  ... 
doi:10.1201/9781420037845.ch8 fatcat:pfahm55xdrdrdg5pk2l2msfzha
« Previous Showing results 1 — 15 out of 4,159 results