A formal approach to semantic composition of aspect-oriented requirements

Proceedings of the 16th IEEE International Requirements Engineering Conference, RE'08

Volumn , Issue , 2008, Pages 173-182

  Weston, Nathan ^a   Chitchyan, Ruzanna ^a   Rashid, Awais ^a  

^a LANCASTER UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CHEMICAL ANALYSIS; INFORMATION THEORY; QUERY LANGUAGES; REQUIREMENTS ENGINEERING; SEMANTICS; SYNTACTICS;

CROSSCUTTING CONCERNS; FORMAL APPROACHES; FORMAL REASONINGS; NATURAL LANGUAGES; POTENTIAL CONFLICTS; SEMANTIC COMPOSITIONS; SYNTACTIC APPROACHES;

ARCHITECTURAL DESIGN;

EID: 58049145166     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RE.2008.42     Document Type: Conference Paper

References (17)

1. J. F. Allen. Maintaining knowledge about temporal intervals. Commun. ACM, 26(11):832-843, 1983.
2. J. F. Allen and G. Ferguson. Actions and events in interval temporal logic. Technical Report TR521, 1994.
3. J. Araujo, J. Whittle, and D.-K. Kim. Modeling and composing scenario-based requirements with aspects. In RE '04: Proceedings of the Requirements Engineering Conference, 12th IEEE International, pages 58-67, Washington, DC, USA, 2004. IEEE Computer Society.
4. R. Chitchyan, M. Pinto, A. Rashid, and L. Fuentes. Compass: Composition-centric mapping of aspectual requirements to architecture. Transactions on AOSD, 1(4), 2007.
5. R. Chitchyan, A. Rashid, P. Rayson, and R. Waters. Semantics-based composition for aspect-oriented requirements engineering. In AOSD '07: Proceedings of the 6th international conference on Aspect-oriented software development, pages 36-48, New York, NY, USA, 2007. ACM Press.
6. R. Chitchyan, A. Sampaio, A. Rashid, P. Sawyer, and S. S. Khan. Initial version of aspect-oriented requirements engineering model. Technical Report AOSD-Europe Deliverable D36, AOSD-Europe-ULANC-17, Lancaster University, 14 February 2006 2006.
7. R. M. W. Dixon. A Semantic Approach to English Grammar. Oxford University Press, 2nd edition, 2005.
8. A. Galton. A critical examination of allen's theory of action and time. Artificial Intelligence, 42(2-3):159-188, 1990.
9. A. Garcia, T. Batista, A. Rashid, and C. Sant'Anna. Driving and managing architectural decisions with aspects. SIGSOFT Softw. Eng. Notes, 31(5):6, 2006.
10. I. Jacobson and P.-W. Ng. Aspect-Oriented Software Development with Use Cases (Addison-Wesley Object Technology Series). Addison-Wesley Professional, 2004.
11. S. Katz and A. Rashid. From aspectual requirements to proof obligations for aspect-oriented systems. In RE '04: Proceedings of the Requirements Engineering Conference, 12th IEEE International (RE'04), pages 48-57, Washington, DC, USA, 2004. IEEE Computer Society.
12. R. Laney, L. Barroca, M. Jackson, and B. Nuseibeh. Composing requirements using problem frames. In RE '04: Proceedings of the Requirements Engineering Conference, 12th IEEE International, pages 122-131, Washington, DC, USA, 2004. IEEE Computer Society.
13. E. Letier and A. van Lamsweerde. Deriving operational software specifications from system goals. SIGSOFT Softw. Eng. Notes, 27(6):119-128, 2002.
14. A. Moreira, A. Rashid, and J. Araujo. Multi-dimensional separation of concerns in requirements engineering. In RE '05: Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE'05), pages 285-296, Washington, DC, USA, 2005. IEEE Computer Society.
15. R. Nelken and N. Francez. Automatic translation of natural language system specifications. In CAV '96: Proceedings of the 8th International Conference on Computer Aided Verification, pages 360-371, London, UK, 1996. Springer-Verlag.
16. B. Nuseibeh. Weaving together requirements and architectures. Computer, 34(3):115-117, 2001.
17. A. Rashid, A. Moreira, and J. Araujo. Modularisation and composition of aspectual requirements. In Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003.