Pub Date : 2007-05-20DOI: 10.1109/EARLYASPECTS.2007.4
Harvey P. Siy, Prasanna Aryal, Victor L. Winter, M. Zand
We present an aspect-oriented requirements specification system for software product lines. We encapsulate nonfunctional concerns as a set of advices for transforming parameterized requirements to product-specific requirements. We apply our system to the Health Watcher case study to demonstrate our approach. We sort out system requirements, exception handling requirements (alternate flows) and non-functional requirements and represent them as aspects in our framework. We have implemented a prototype transformation tool which takes these aspects along with the basic functional requirements as input and produces a requirements document with all applicable aspects woven in.
{"title":"Aspectual Support for Specifying Requirements in Software Product Lines","authors":"Harvey P. Siy, Prasanna Aryal, Victor L. Winter, M. Zand","doi":"10.1109/EARLYASPECTS.2007.4","DOIUrl":"https://doi.org/10.1109/EARLYASPECTS.2007.4","url":null,"abstract":"We present an aspect-oriented requirements specification system for software product lines. We encapsulate nonfunctional concerns as a set of advices for transforming parameterized requirements to product-specific requirements. We apply our system to the Health Watcher case study to demonstrate our approach. We sort out system requirements, exception handling requirements (alternate flows) and non-functional requirements and represent them as aspects in our framework. We have implemented a prototype transformation tool which takes these aspects along with the basic functional requirements as input and produces a requirements document with all applicable aspects woven in.","PeriodicalId":153496,"journal":{"name":"Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design (EARLYASPECTS'07)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130668177","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}
Pub Date : 2007-05-20DOI: 10.1109/EARLYASPECTS.2007.3
M. Amor, Alessandro F. Garcia, L. Fuentes
Specific features of multi-agent systems (MAS), such as autonomy, learning, mobility, coordination, are driving development concerns, which make evident the need for new design abstractions. Up to now, agent-oriented modeling languages have delivered basic MAS design abstractions - such as goals and actions - that explicitly tackle some of these concerns. However, the modularization of a plethora of fundamental MAS features has been hindered throughout the software lifecycle. This paper presents a methodological framework to address enhanced modularity and traceability of such crosscutting concerns in MAS development. Our design framework is mainly rooted at the proposition of a new domain-specific language, called AGOL. In addition, the proposed framework is supported by a bench of transformation rules of AGOL artifacts, which can be effectively used to derive agent implementations in two concrete aspect-oriented implementation platforms, namely AspectT and Malaca.
{"title":"AGOL: An Aspect-Oriented Domain-Specific Language for MAS","authors":"M. Amor, Alessandro F. Garcia, L. Fuentes","doi":"10.1109/EARLYASPECTS.2007.3","DOIUrl":"https://doi.org/10.1109/EARLYASPECTS.2007.3","url":null,"abstract":"Specific features of multi-agent systems (MAS), such as autonomy, learning, mobility, coordination, are driving development concerns, which make evident the need for new design abstractions. Up to now, agent-oriented modeling languages have delivered basic MAS design abstractions - such as goals and actions - that explicitly tackle some of these concerns. However, the modularization of a plethora of fundamental MAS features has been hindered throughout the software lifecycle. This paper presents a methodological framework to address enhanced modularity and traceability of such crosscutting concerns in MAS development. Our design framework is mainly rooted at the proposition of a new domain-specific language, called AGOL. In addition, the proposed framework is supported by a bench of transformation rules of AGOL artifacts, which can be effectively used to derive agent implementations in two concrete aspect-oriented implementation platforms, namely AspectT and Malaca.","PeriodicalId":153496,"journal":{"name":"Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design (EARLYASPECTS'07)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125674713","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}
Pub Date : 2007-05-20DOI: 10.1109/EARLYASPECTS.2007.10
M. Pinto, N. Gámez, Lidia Fuentes
AO-ADL is an aspect-oriented architecture description language. The main contributions of AO-ADL are two. First contribution is the definition of a symmetric composition model, where functional and non-functional concerns are modeled by the same architectural block. Second contribution is the extension of the semantic of connectors with aspectual composition information. In this paper we describe the software architecture of the Health Watcher system using AO-ADL. We present a subset of the functional and extra-functional concerns identified for this system, as well as the compositions among the components modeling them. We specially focus on aspectual compositions to illustrate how the extensions that AO-ADL introduces into connectors provide appropriate support for representing separation of concerns at the architectural level.
{"title":"Towards the Architectural Definition of the Health Watcher System with AO-ADL","authors":"M. Pinto, N. Gámez, Lidia Fuentes","doi":"10.1109/EARLYASPECTS.2007.10","DOIUrl":"https://doi.org/10.1109/EARLYASPECTS.2007.10","url":null,"abstract":"AO-ADL is an aspect-oriented architecture description language. The main contributions of AO-ADL are two. First contribution is the definition of a symmetric composition model, where functional and non-functional concerns are modeled by the same architectural block. Second contribution is the extension of the semantic of connectors with aspectual composition information. In this paper we describe the software architecture of the Health Watcher system using AO-ADL. We present a subset of the functional and extra-functional concerns identified for this system, as well as the compositions among the components modeling them. We specially focus on aspectual compositions to illustrate how the extensions that AO-ADL introduces into connectors provide appropriate support for representing separation of concerns at the architectural level.","PeriodicalId":153496,"journal":{"name":"Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design (EARLYASPECTS'07)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115603711","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}
Pub Date : 2007-05-20DOI: 10.1109/EARLYASPECTS.2007.2
M. S. Tabares, A. Moreira, Raquel Anaya, Fernando Arango Isaza, J. Araújo
This paper proposes a traceability approach for crosscutting concerns. This approach provides a tracing semantics that allows us to identify the tracing links between the source and target elements as well as their transformation rules. These rules are verified for completeness and consistency in order to control and support the evolution of crosscutting concerns. The Health Watcher [3] case study is used to illustrate our approach.
{"title":"A Traceability Method for Crosscutting Concerns with Transformation Rules","authors":"M. S. Tabares, A. Moreira, Raquel Anaya, Fernando Arango Isaza, J. Araújo","doi":"10.1109/EARLYASPECTS.2007.2","DOIUrl":"https://doi.org/10.1109/EARLYASPECTS.2007.2","url":null,"abstract":"This paper proposes a traceability approach for crosscutting concerns. This approach provides a tracing semantics that allows us to identify the tracing links between the source and target elements as well as their transformation rules. These rules are verified for completeness and consistency in order to control and support the evolution of crosscutting concerns. The Health Watcher [3] case study is used to illustrate our approach.","PeriodicalId":153496,"journal":{"name":"Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design (EARLYASPECTS'07)","volume":"147 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116186751","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}
Pub Date : 2007-05-20DOI: 10.1109/EARLYASPECTS.2007.9
V. C. D. Paula, T. Batista
Software architecture description languages (ADLs) and formal methods have been successfully used together during the design phase allowing the semantic validation of systems early in the development process. Recently, a lot of aspect-oriented ADLs (AO ADLs) have been proposed however, most of them, neglects the modeling of aspect-oriented (AO) concepts using formal specification. In this paper we present AOZCL, an aspect-oriented extension to a formal framework (ZCL) with a built-in ADL. AOZCL supports the formal modeling of aspect-oriented architectures. Besides the linguistic issues, we want to carry out more rigorous analysis of the architecture and their crosscutting concerns. To analyze the components' behavior, ZCL uses state machines. We also present the states machines of components considering aspects to realize the behavioral implications of crosscutting concerns. We use a case study to illustrate the use of AOZCL as an ADL.
{"title":"Revisiting a Formal Framework for Modeling Aspects in the Design Phase","authors":"V. C. D. Paula, T. Batista","doi":"10.1109/EARLYASPECTS.2007.9","DOIUrl":"https://doi.org/10.1109/EARLYASPECTS.2007.9","url":null,"abstract":"Software architecture description languages (ADLs) and formal methods have been successfully used together during the design phase allowing the semantic validation of systems early in the development process. Recently, a lot of aspect-oriented ADLs (AO ADLs) have been proposed however, most of them, neglects the modeling of aspect-oriented (AO) concepts using formal specification. In this paper we present AOZCL, an aspect-oriented extension to a formal framework (ZCL) with a built-in ADL. AOZCL supports the formal modeling of aspect-oriented architectures. Besides the linguistic issues, we want to carry out more rigorous analysis of the architecture and their crosscutting concerns. To analyze the components' behavior, ZCL uses state machines. We also present the states machines of components considering aspects to realize the behavioral implications of crosscutting concerns. We use a case study to illustrate the use of AOZCL as an ADL.","PeriodicalId":153496,"journal":{"name":"Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design (EARLYASPECTS'07)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115125878","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}
Pub Date : 2007-05-20DOI: 10.1109/EARLYASPECTS.2007.7
S. Meier, T. Reinhard, Reinhard Stoiber, M. Glinz
For an effective handling of crosscutting concerns during the software process, adequate support is required not only in design and coding, but also in requirements engineering. For this purpose, we have developed an aspect-oriented extension of the requirements modeling language ADORA. In this paper, we present an extension of our approach which makes it capable of supporting the evolution of aspect-oriented requirements models for both functional and non-functional aspects.
{"title":"Modeling and Evolving Crosscutting Concerns in ADORA","authors":"S. Meier, T. Reinhard, Reinhard Stoiber, M. Glinz","doi":"10.1109/EARLYASPECTS.2007.7","DOIUrl":"https://doi.org/10.1109/EARLYASPECTS.2007.7","url":null,"abstract":"For an effective handling of crosscutting concerns during the software process, adequate support is required not only in design and coding, but also in requirements engineering. For this purpose, we have developed an aspect-oriented extension of the requirements modeling language ADORA. In this paper, we present an extension of our approach which makes it capable of supporting the evolution of aspect-oriented requirements models for both functional and non-functional aspects.","PeriodicalId":153496,"journal":{"name":"Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design (EARLYASPECTS'07)","volume":"208 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116225636","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}
Pub Date : 2007-05-20DOI: 10.1109/EARLYASPECTS.2007.1
C. Duan, J. Cleland-Huang
This paper describes an approach for automating the detection of early aspects. Based on hierarchical clustering and an underlying probabilistic algorithm, the technique generates initial requirements clusters representing relatively homogenous feature sets, use cases and potential cross-cutting concerns. A second clustering phase is then applied in which dominant terms are identified and removed from each of the initial clusters, allowing new clusters to form around less dominant terms. This second phase enables previously inter-tangled aspects to be detected. Three metrics are introduced to differentiate potential cross-cutting concerns from other types of clusters. The approach is illustrated through an example based on the Public Health Watcher case study.
{"title":"A Clustering Technique for Early Detection of Dominant and Recessive Cross-Cutting Concerns","authors":"C. Duan, J. Cleland-Huang","doi":"10.1109/EARLYASPECTS.2007.1","DOIUrl":"https://doi.org/10.1109/EARLYASPECTS.2007.1","url":null,"abstract":"This paper describes an approach for automating the detection of early aspects. Based on hierarchical clustering and an underlying probabilistic algorithm, the technique generates initial requirements clusters representing relatively homogenous feature sets, use cases and potential cross-cutting concerns. A second clustering phase is then applied in which dominant terms are identified and removed from each of the initial clusters, allowing new clusters to form around less dominant terms. This second phase enables previously inter-tangled aspects to be detected. Three metrics are introduced to differentiate potential cross-cutting concerns from other types of clusters. The approach is illustrated through an example based on the Public Health Watcher case study.","PeriodicalId":153496,"journal":{"name":"Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design (EARLYASPECTS'07)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130238280","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}
Pub Date : 2007-05-20DOI: 10.1109/EARLYASPECTS.2007.8
P. Greenwood, A. Garcia, A. Rashid, E. Figueiredo, C. Sant'Anna, N. Cacho, A. Sampaio, S. Soares, Paulo Borba, M. Dósea, R. Ramos, U. Kulesza, T. Bartolomei, M. Pinto, L. Fuentes, N. Gámez, A. Moreira, J. Araújo, T. Batista, A. Medeiros, F. Dantas, L. Fernandes, J. Wloka, C. Chavez, R. France, I. Brito
Aspect-Oriented Software Development (AOSD) techniques are gaining increased attention from both academic and industrial organisations. In order to promote a smooth adoption of such techniques it is of paramount importance to perform empirical analysis of AOSD to gather a better understanding of its benefits and limitations. In addition, the effects of aspect-oriented (AO) mechanisms on the entire development process need to be better assessed rather than just analysing each development phase in isolation. As such, this paper outlines our initial effort on the design of a testbed that will provide end-to-end systematic comparison of AOSD techniques with other mainstream modularisation techniques. This will allow the proponents of AO and non- AO techniques to compare their approaches in a consistent manner. The testbed is currently composed of: (i) a benchmark application, (ii) an initial set of metrics suite to assess certain internal and external software attributes, and (in) a "repository" of artifacts derived from AOSD approaches that are assessed based on the application of (i) and (ii). This paper mainly documents a selection of techniques that will be initially applied to the benchmark. We also discuss the expected initial outcomes such a testbed will feed back to the compared techniques. The applications of these techniques are contributions from different research groups working on AOSD.
{"title":"On the Contributions of an End-to-End AOSD Testbed","authors":"P. Greenwood, A. Garcia, A. Rashid, E. Figueiredo, C. Sant'Anna, N. Cacho, A. Sampaio, S. Soares, Paulo Borba, M. Dósea, R. Ramos, U. Kulesza, T. Bartolomei, M. Pinto, L. Fuentes, N. Gámez, A. Moreira, J. Araújo, T. Batista, A. Medeiros, F. Dantas, L. Fernandes, J. Wloka, C. Chavez, R. France, I. Brito","doi":"10.1109/EARLYASPECTS.2007.8","DOIUrl":"https://doi.org/10.1109/EARLYASPECTS.2007.8","url":null,"abstract":"Aspect-Oriented Software Development (AOSD) techniques are gaining increased attention from both academic and industrial organisations. In order to promote a smooth adoption of such techniques it is of paramount importance to perform empirical analysis of AOSD to gather a better understanding of its benefits and limitations. In addition, the effects of aspect-oriented (AO) mechanisms on the entire development process need to be better assessed rather than just analysing each development phase in isolation. As such, this paper outlines our initial effort on the design of a testbed that will provide end-to-end systematic comparison of AOSD techniques with other mainstream modularisation techniques. This will allow the proponents of AO and non- AO techniques to compare their approaches in a consistent manner. The testbed is currently composed of: (i) a benchmark application, (ii) an initial set of metrics suite to assess certain internal and external software attributes, and (in) a \"repository\" of artifacts derived from AOSD approaches that are assessed based on the application of (i) and (ii). This paper mainly documents a selection of techniques that will be initially applied to the benchmark. We also discuss the expected initial outcomes such a testbed will feed back to the compared techniques. The applications of these techniques are contributions from different research groups working on AOSD.","PeriodicalId":153496,"journal":{"name":"Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design (EARLYASPECTS'07)","volume":"211 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121276809","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：