Abstract | ||
---|---|---|
Conventional software architectures emphasize individual software components and their interconnections. While offering many advantages this results in problems with concerns that cut across the component structure. The code addressing such concerns is scattered around the components and tangled with some other code inside the components. Approaches addressing such issues are emerging with new paradigms like aspect-oriented programming. However, aspects addressing cross-cutting concerns need to be incorporated in an object-oriented design without support from a higher-level design. We propose an approach where aspects and objects rely on coordination provided by a common high level specification. The common specification links the parts of specification that are refined independently and implemented using different techniques. We use the formal specification method DisCo, and demonstrate the approach by providing a specification of a simplified telecommunications system. In addition, we also sketch an Aspect J implementation built in the architectural style encouraged by the method. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1016/S1571-0661(05)80372-X | Electronic Notes in Theoretical Computer Science |
Keywords | Field | DocType |
object oriented design,aspect oriented programming,software component,formal specification,software architecture | Programming language,Computer science,Information science,High level specification,Formal specification,Software,Component-based software engineering,Software requirements specification,Architectural style,Sketch | Journal |
Volume | Issue | ISSN |
68 | 3 | 1571-0661 |
Citations | PageRank | References |
3 | 0.44 | 12 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Timo Aaltonen | 1 | 111 | 13.30 |
Joni Helin | 2 | 6 | 1.20 |
Mika Katara | 3 | 318 | 29.78 |
Pertti Kellomäki | 4 | 53 | 7.29 |
Tommi Mikkonen | 5 | 788 | 122.54 |