{"title":"La réflexion comportementale partielle comme infrastructure de programmation par aspects. Etude du cas des coupes dynamiques","authors":"Leonardo Rodríguez, Éric Tanter, Jacques Noyé","doi":"10.3166/objet.11.3.31-52","DOIUrl":"https://doi.org/10.3166/objet.11.3.31-52","url":null,"abstract":"The relationship between reflection and aspect-oriented programming is still under exploration. This paper reports on an experiment to support a widely-accepted, general-purpose aspect language mechanism - Aspect J's dynamic crosscutting -, with a model of partial behavioral reflection. We present a first approach to such a mapping, identify some extensions that can improve the effectiveness of the mapping, and validate our proposal through a revisited mapping. These extensions have been integrated into our Java and AOP reflective platform, Reflex.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129530804","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Traits Programming with AspectJ","authors":"S. Denier","doi":"10.3166/objet.11.3.69-86","DOIUrl":"https://doi.org/10.3166/objet.11.3.69-86","url":null,"abstract":"Traits as defined by Scharli, Ducasse et al. allow for the explicit handling of a meaningful set of methods. This article presents an attempt to map the trait model from Smalltalk to the Java language. We use AspectJ introduction mechanism to do this. Thus we enlighten purposes of locality and reusability shared by traits and structural AOP.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117017524","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Les aspects et les composants logiciels. Etude de cas avec le modèle de composant FRACTAL","authors":"Houssam Fakih, Noury Bouraqadi","doi":"10.3166/objet.11.3.87-104","DOIUrl":"https://doi.org/10.3166/objet.11.3.87-104","url":null,"abstract":"Component-Based Software Development (CBSD) swears software reuse but it suffers from code scattering and tangling. Aspect-Oriented Programming (AOP) deals with these problems. We present in this paper, FRACTAL-AOP, an add-on to the FRACTAL component model that combines AOP and CBSD into an overall model. We extend component's membrane with new control interfaces that expose join points. Besides, aspects are defined using generic components. Therefore, weaving relies only on components configuration and assembly.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133737040","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Systèmes de gestion de ressources et aspects de disponibilité","authors":"Pascal Fradet, S. Ha","doi":"10.3166/objet.12.2-3.183-210","DOIUrl":"https://doi.org/10.3166/objet.12.2-3.183-210","url":null,"abstract":"tomates. L'avantage de cette approche formelle est double : d'une part,l'utilisateur garde la maitrise de l'impact semantique du tissage et, d'autre part, il peut utiliser de s outils de model- checking pour optimiser le tissage et verifier des proprietes de disponibilite . ABSTRACT. In this paper, we focus on availability properties and the prevention of denia l of services. We propose a domain-specific aspect language to preventthe denials of service caused by resource management. Our aspects specify availability policies by enfor cing time limits in the allocation of resources. In our language, an aspect can be seen a s a formal temporal property on execution traces. Programs and aspects are specified astimed automata and the weaving process as an automata product. The benefit of this formal app roach is two-fold: the user keeps the semantic impact of weaving under control and (s)he ca n use a model-checker to optimize the woven program and verify availability properties.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131872159","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Hanh-Middi Tran, Laurence Duchien, Philippe Bedu, Hai-Quan Nguyen, J. Perrin
{"title":"Figures de transformation pour des architectures logicielles","authors":"Hanh-Middi Tran, Laurence Duchien, Philippe Bedu, Hai-Quan Nguyen, J. Perrin","doi":"10.3166/objet.11.1-2.63-78","DOIUrl":"https://doi.org/10.3166/objet.11.1-2.63-78","url":null,"abstract":"Reasoning about software architecture helps to improve design of applications. According to most of the software architects, architecture design has to be separated in different viewpoints. Nonetheless the transition between two viewpoints is not easy. In the DASIBAO methodology based on RM-ODP (Reference Model for Open Distributed Processing), there is a gap in the process to turn a functional architecture into a technical one. This paper presents a new concept, called architectural figure, which describes how to add technical concerns in a functional architecture and the mechanism to perform this transformation.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116417278","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"SLA-based routing for EAI middleware","authors":"Y. Caseau","doi":"10.3166/objet.11.1-2.13-14","DOIUrl":"https://doi.org/10.3166/objet.11.1-2.13-14","url":null,"abstract":"A psychograph, of a type employing a movable indicator to designate indicia on a principal part of the device such as a board, can be constructed so that the indicator will cause a switch to close each time it points to or otherwise designates an indicia. A circuit is used to provide an output in the form of a signal capable of being stored or used by a computer, an electronic typewriter or the like when a switch is closed for a pedetermined time interval. Normally the board or similar part of the device will carry a plurality of indicia and a separate switch will be associated with each so that signals corresponding to all of the indicia can be obtained.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115876986","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Vers la négociation de contrats dans les composants logiciels hiérarchiques","authors":"Hervé Chang, P. Collet","doi":"10.3166/objet.11.1-2.239-252","DOIUrl":"https://doi.org/10.3166/objet.11.1-2.239-252","url":null,"abstract":"The contractual approach turns out to be well-suited to specification and verification needs in component-based software systems. However, contracts are frequently challenged by dynamic reconfigurations and fluctuations of non functional aspects. To solve this problem, we propose, in this article, a first negotiation model which aims at automatically restoring the validity of contracts. We also describe a concession-based negotiation policy, which is well-suited to behavioral contracts with executable assertions. This model is integrated into ConFract, a contracting system for the Fractal hierarchical component model.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116469269","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Raffinement de classes dans les langages à objets statiquement typés","authors":"Jean Privat, Roland Ducournau","doi":"10.3166/objet.11.1-2.17-32","DOIUrl":"https://doi.org/10.3166/objet.11.1-2.17-32","url":null,"abstract":"Classes and specialisation bring simultaneously structure and flexibility to object oriented programs. However, many propositions for model extension (aspects, modules, etc.) prove that these qualities are often considered insufficient. This article proposes two binded notions of class refinement and modules, the former improves flexibility whereas the latter improves structure. Modules contain a coherent set of class definitions and can modify classes defined in modules they depend. This proposition focuses on statically typed languages where modules can be separately compiled. It is based on a module metamodel analogue to the class one and problems with multiple specialisation and refinement are managed like those in multiple inheritance.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124187252","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Représentation graphique des objets et sous-typage","authors":"Cong-Cong Xing, Boumediene Belkhouche","doi":"10.3166/objet.11.1-2.191-206","DOIUrl":"https://doi.org/10.3166/objet.11.1-2.191-206","url":null,"abstract":"Internal dependencies among object components characterize the behaviors of objects and differentiate them from records. Fundamental typing/subtyping shortcomings still persist in current object type systems due to the overlook of such object component interdependencies. In this paper, we propose object type graphs (OTG) as a new approach to the typing of object-oriented languages. Under OTG, object types are represented as colored directed graphs and object component interdependancies are formalized as computable links and integrated into object types. We show how problems in conventional object type systems can be easily resolved under OTG.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130235009","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Des signatures numériques pour améliorer la recherche structurelle de patrons","authors":"Yann-Gaël Guéhéneuc, H. Sahraoui","doi":"10.3166/objet.11.1-2.97-112","DOIUrl":"https://doi.org/10.3166/objet.11.1-2.97-112","url":null,"abstract":"Design patterns describe good solutions to common and recurring problems in program design. The solutions are design motifs, which software engineers introduce in the architecture of their programs. It is important to identify the design motifs used in a program architecture to understand solved design problems and to make informed changes to the program, during maintenance. The identification of micro-architectures similar to design motifs is difficult because of the large search space, i.e., the many possible combinations of classes. We propose an experimental study of classes playing roles in design motifs using metrics and a machine-learning algorithm to associate numerical signatures with design motifs roles. A numerical signature is a set of metric values characterising classes playing a given role. We devise numerical signatures experimentally using a repository of micro-architectures similar to design motifs. We show that numerical signatures help in reducing the search space of micro-architectures similar to design motifs efficiently using the Composite design motif and the JHOTDRAW framework.","PeriodicalId":201701,"journal":{"name":"Obj. Logiciel Base données Réseaux","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128402956","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}