The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Computer
Synchronous Observers and the Verification of Reactive Systems
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Large-scale AOSD for middleware
Proceedings of the 3rd international conference on Aspect-oriented software development
Composition, reuse and interaction analysis of stateful aspects
Proceedings of the 3rd international conference on Aspect-oriented software development
Logical-Time Contracts for Reactive Embedded Components
EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework
Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
Proving the Correctness of Multiprocess Programs
IEEE Transactions on Software Engineering
CompAr: ensuring safe around advice composition
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Modular design of man-machine interfaces with larissa
SC'06 Proceedings of the 5th international conference on Software Composition
Argos: an automaton-based synchronous language
Computer Languages
| Hi-index | 0.00 |
We present two tools for the formal analysis of the aspect language Larissa, which extends the simple synchronous language Argos. The first tool concerns the combination of design-by-contract with Larissa aspects, and shows how we can apply an aspect not only to a program, but to a specification of programs in form of a contract, and obtain a new contract. The second concerns aspect interferences, that is, aspects that influence each other in an unintended way if they are applied to the same program. We present a way to weave aspects in a less conflict-prone manner, and a means to detect remaining conflicts statically. These tools are quite powerful, compared to those available for other aspect languages.