A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Filters
Weaving aspects into C++ applications for validation of temporal invariants
Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings.
Preserved Fulltext
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
2012
Proceedings of the 11th annual international conference on Aspect-oriented Software Development - AOSD '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2010
Formal methods in system design
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2011
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2008
Proceedings of the 7th international conference on Aspect-oriented software development - AOSD '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
2011 IEEE 35th Annual Computer Software and Applications Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
Proceedings of the 7th workshop on Foundations of aspect-oriented languages - FOAL '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2012
Journal of Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2007
Chapman & Hall/CRC Computer & Information Science Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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]
2005
GIS for Sustainable Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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