Modeling and performance analysis for security aspects

Science of Computer Programming

Volumn 61, Issue 1, 2006, Pages 58-71

  Dai, Lirong ^a   Cooper, Kendra ^b  

^a SEATTLE UNIVERSITY   (United States)

^b The University of Texas at Dallas   (United States)

Author keywords

Aspect oriented software development; Non functional properties; Software architecture

Indexed keywords

COMPUTER AIDED LANGUAGE TRANSLATION; COMPUTER SIMULATION; COST EFFECTIVENESS; LOGIC DESIGN; SYSTEMS ANALYSIS;

ASPECT-ORIENTED SOFTWARE DEVELOPMENT; NON-FUNCTIONAL PROPERTIES; SOFTWARE ARCHITECTURE;

SECURITY OF DATA;

EID: 33646091728     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2005.11.006     Document Type: Article

References (29)

1. ArgoUML, archived at. http://argouml.tigris.org/
2. S. Balsamo, M. Bernardo, M. Simeoni, Combining stochastic process algebras and queueing networks for software architecture analysis, in: Proceedings of ACM International Workshop on Software and Performance, 2002, pp. 190-202
3. Bass L., Clements P., and Kazman R. Software Architecture in Practice. second ed. (2003), Addison-Wesley, Reading, MA
4. Chung L., Nixon B., Yu E., and Mylopoulos J. Non-Functional Requirements in Software Engineering (2000), Kluwer Academic Publishing
5. Clark T., and Evans A. Foundations of the unified modeling language. Proceedings of the Second Northern Formal Methods Workshop, Electronic Workshops in Computing (1998), Springer Verlag
6. Clark S., and Walker R. Generic aspect-oriented design with Theme/UML. Aspect-Oriented Software Development (2005), Addison Wesley Professional 425-459
7. K. Cooper, L. Dai, Formal modeling and analysis of performance aspects in software architectures, Technical Report UTDCS-31-04, The University of Texas at Dallas, August 2004
8. Filman R., Elrad T., Clarke S., and Aksit M. Aspect-Oriented Software Development (2005), Addison Wesley Professional
9. S. Göbel, C. Pohl, S. Röttger, S. Zschaler, The COMQUAD component model: enabling dynamic selection of implementations by weaving non-functional aspects, in: Proceedings of the Third International Conference on Aspect-Oriented Software Development, 2004, pp. 74-82
10. ter Hofstede A.H.M., and Proper H.A. How to formalize it? Formalization principles for information system development methods. Information and Software Technology 40 10 (1998) 519-540
11. Holzmann G.J. The Spin Model Checker: Primer and Reference Manual (2003), Addison-Wesley
12. ISO 7498-2: Information processing systems-Open Systems Interconnection-Basic reference Model-Part 2: Security Architecture, 1989
13. Keller S., Kahn L., and Panara R. Specifying software quality requirements with metrics. Tutorial: System and Software Requirements Engineering (1990), IEEE Computer Society Press 145-163
14. M. Kyas, H. Fecher, F.S. Boer, J. Jacob, J. Hooman, M. Zwaag, T. Arons, H. Kugler, Formalizing UML models and OCL constraints in PVS, in: Proceedings of Semantic Foundations of Engineering Design Languages, SFEDL'04, 2004
15. Laddad R. AspectJ in Action: Practical Aspect-Oriented Programming (2003), Manning Publications
16. K. Lano, J. Bicarregui, A. Evans, Structured axiomatic semantics for UML models, in: Proceedings of Rigorous Object-Oriented Methods, ROOM 2000, 2000
17. Luckham D.C., Kenney J.J., Augustin L.M., Vera J., Bryan D., and Mann W. Specification and analysis of system architecture using Rapide. IEEE Transactions on Software Engineering 21 4 (1995) 336-354
18. T. Massoni, R. Gheyi, P. Borba, A UML class diagram analyzer, in: Proceedings of the Third International Workshop on Critical Systems Development with UML, 2004
19. W.E. McUmber, B. Cheng, A general framework for formalizing UML with formal languages, in: Proceedings of the 23rd International Conference on Software Engineering, 2001, pp. 433-442
20. Meyer B. Introduction to the Theory of Programming Languages (1990), Prentice-Hall
21. P.V. Mockapetris, Domain Names - Implementation and Specification, IETF STD0013, November 1987
22. R.T. Monroe, Capturing software architecture design expertise with Armani, Technical Report No. CMU-CS-98-163, Carnegie Mellon University School of Computer Science, 1998
23. I. Ober, An ASM semantics for UML derived from the meta-model and incorporating actions, in: Proceedings of the Tenth International Workshop on Abstract State Machines, 2003, pp. 356-372
24. Object Management Group, UMLTM Profile for Schedulability, Performance, and Time Specification, OMG Documents ptc/2003-03-02, 2003
25. Rumbaugh J., Jacobson I., and Booch G. The Unified Modeling Language Reference Manual. second ed. (2004), Addison-Wesley
26. Security Patterns Home Page, achieved at. http://www.securitypatterns.org/
27. Software Design Group, the Alloy Analyzer, archived at (2002-2005). http://alloy.mit.edu
28. Wand M., Kiczales G., and Dutchyn C. A semantics for advice and dynamic join points in aspect-oriented programming. ACM Transactions on Programming Languages and Systems 26 5 (2004) 890-910
29. Win B., Joosen W., and Piessens F. Developing secure applications through aspect-oriented programming. Aspect-Oriented Software Development (2005) 633-651