Publications (5)0 Total impact
- International Journal of Software Engineering and Knowledge Engineering. 01/2010; 20:783-808.
Conference Proceeding: An Aspect for Design by Contract in Java.[show abstract] [hide abstract]
ABSTRACT: Several techniques exist for introducing Design by Contract in lan- guages providing no direct support for it, such as Java. One such technique uses aspects that introduce preconditions and postconditions by means of before and after advices. For using this, programmers must be knowledgeable of the aspect language, even if they would rather concentrate on Design by Contract alone. On the other hand, we can use aspects to weave in preconditions, preconditions and invariants that have been programmed in the source language, as regular Boolean functions. In doing this, we must find ways to automatically "inherit" preconditions and postconditions when redefining functions in subclasses and we must be able to record the initial state of the object when calling a modifier, so that it can be observed in the postconditions. With such a system, during de- velopment, the program will be compiled together with the aspects providing the Design by Contract facilities, using the compiler for the aspect language, and the running program will automatically check all the weaved in assertions, raising an exception when they evaluate to false. For the release build, it suf- fices to compile using the source language compiler, ignoring the aspects, and the assertions will be left out.Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008; 01/2008
Conference Proceeding: A Metadata-Driven Approach for Aspect-Oriented Requirements Analysis.[show abstract] [hide abstract]
ABSTRACT: ABSTRACT This paper presents a metadata*driven approach base d on aspect*oriented requirements analysis. This approac h has been defined in cooperation with the European Space Agency in the context of the “Aspect Specification for theICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems, Volume ISAS-2, Barcelona, Spain, June 12-16, 2008; 01/2008
Conference Proceeding: Aspect-Oriented Analysis Applied to the Space Domain.[show abstract] [hide abstract]
ABSTRACT: This paper presents an aspect metadata approach, which has been developed in the scope of the "Aspect Specification for the Space Domain" project, of the European Space Agency (ESA). This approach is based on XML and XML Schema technologies, enabling a rigorous knowledge representation. The proposed approach has been applied to a real complex system, the "Space Environment Support System for Telecom/Navigation Missions", enabling a comparison and evaluation between the proposed approach and the "traditional" requirements analysis methods used during the development of the original version of the system. This paper presents a full description of both the identified metadata concepts and their relationships. The metadata concepts and associated instances have been stored in a Metadata Repository that provides simple navigation facilities between concepts. The Metadata Repository also enables the automatic generation of documentation.ICEIS 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume EIS, Funchal, Madeira, Portugal, June 12-16, 2007; 01/2007
Article: Contracts for aspect-oriented design[show abstract] [hide abstract]
ABSTRACT: The Java approach to Object-Oriented Design by Contract can be extended and applied to Aspect-Oriented Software. For doing so, we need to address how current Object-Oriented Design by Contract can be modified to tackle aspect advising, as well as to actually extend the Design by Contract approach for aspect modules. Our approach is general enough to be applied to Java Aspect-Oriented extensions such as AspectJ, CaesarJ, and FuseJ.
New University of LisbonLisboa, Lisbon, Portugal