In proceedings of MoDELS/UML 2005, Steimann argues that domain models are aspect free. Steimann's hypothesis is that the notion of aspect in aspect-orientedsoftwaredevelopment (aosd) is a meta-level concept. He ...
详细信息
ISBN:
(纸本)3540457720
In proceedings of MoDELS/UML 2005, Steimann argues that domain models are aspect free. Steimann's hypothesis is that the notion of aspect in aspect-orientedsoftwaredevelopment (aosd) is a meta-level concept. He concludes that aspects are technical concepts, i.e., a property of programming and not a means to reason about domain concepts in a modular fashion. In this paper we argue otherwise. We highlight that, by ignoring the body of work on Early aspects, Steimann in fact ignores the problem domain itself. Early aspects techniques support improved modular and compositional reasoning about the problem domain. Using concrete examples we argue that domain models do indeed have aspects which need first-class support for such reasoning. Steimann's argument is based on treating quantification and obliviousness as fundamental properties of aosd. Using concrete application studies we challenge this basis and argue that abstraction, modularity and composability are much more fundamental.
aspect-orientedsoftwaredevelopment (aosd) techniques support systematic modularization and composition of crosscutting concerns. though aosd techniques have been proposed to handle crosscutting concerns at various s...
详细信息
ISBN:
(纸本)0769521746
aspect-orientedsoftwaredevelopment (aosd) techniques support systematic modularization and composition of crosscutting concerns. though aosd techniques have been proposed to handle crosscutting concerns at various stages during the software life cycle, there is a traceability gap between the aspects at the requirements level and those at later development stages. It is not clear what proof obligations about an aspect-oriented implementation follow from the initial aspectual requirements. this paper presents PROBE, a framework for generation of proof obligations for aspect-oriented systems from the initial aspectual requirements and associated trade-offs. the abstract proof obligations are expressed in standard linear temporal logic. Key components of the framework include an extended Ontology with parametric temporal formulas and functions, and extensive treatment of conflicts among requirements. the resultant temporal logic assertions, grouped into specifications of aspect implementations, can then be instantiated in terms of the implementation and verification tools.
there has been significant recent interest, within the aspect-orientedsoftwaredevelopment (aosd) community, in representing crosscutting concerns at various stages of the software lifecycle. However, most of these e...
详细信息
aspect-orientedsoftwaredevelopment (aosd) techniques support systematic modularization and composition of crosscutting concerns. though aosd techniques have been proposed to handle crosscutting concerns at various s...
详细信息
aspect-orientedsoftwaredevelopment (aosd) techniques support systematic modularization and composition of crosscutting concerns. though aosd techniques have been proposed to handle crosscutting concerns at various stages during the software life cycle, there is a traceability gap between the aspects at the requirements level and those at later development stages. It is not clear what proof obligations about an aspect-oriented implementation follow from the initial aspectual requirements. this work presents PROBE, a framework for generation of proof obligations for aspect-oriented systems from the initial aspectual requirements and associated trade-offs. the abstract proof obligations are expressed in standard linear temporal logic. Key components of the framework include an extended ontology with parametric temporal formulas and functions, and extensive treatment of conflicts among requirements. the resultant temporal logic assertions, grouped into specifications of aspect implementations, can then be instantiated in terms of the implementation and verification tools.
暂无评论