The si* modeling framework: Metamodel and applications

International Journal of Software Engineering and Knowledge Engineering

Volumn 19, Issue 5, 2009, Pages 727-746

  Zannone, Nicola ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

Agent oriented software; Requirements engineering; Security engineering; Socio technical systems

Indexed keywords

AGENT-ORIENTED SOFTWARE; BUSINESS PROCESS; DESIGN ALTERNATIVES; DEVELOPMENT ENVIRONMENT; META MODEL; MODELING FRAMEWORKS; MODELING LANGUAGES; SECURITY ENGINEERING; SECURITY REQUIREMENTS ENGINEERING; SOCIO-TECHNICAL SYSTEMS; SYSTEM DEVELOPMENT PROCESS;

LINGUISTICS; QUERY LANGUAGES; REQUIREMENTS ENGINEERING; SECURITY SYSTEMS; SOFTWARE AGENTS;

ENGINEERING;

EID: 70350322328     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194009004374     Document Type: Article

References (38)

1. R. Anderson, Why cryptosystems fail, CACM 37(11) (1994) 32-40.
2. Y. Asnar and P. Giorgini, Modelling risk and identifying countermeasures in organizations, in Proc. of CRITIS'06, 2006.
3. Y. Asnar, P. Giorgini, F. Massacci, and N. Zannone, From trust to dependability through risk analysis, in Proc. of ARES'07, 2007.
4. U. Aßmann, S. Zschaler, and G. Wagner, Ontologies, meta-models, and the modeldriven paradigm, in Ontologies for Software Engineering and Software Technology (Springer-Verlag, 2006), pp. 249-273.
5. D. Basin, J. Doser, and T. Lodderstedt, Model driven security: From UML models to access control infrastructures, TOSEM 15(1) (2006) 39-91.
6. P. Bresciani, P. Giorgini, F. Giunchiglia, J. Mylopoulos, and A. Perini. TROPOS: An agent-oriented software development methodology, JAAMAS 8(3) (2004) 203-236.
7. V. Bryl, F. Massacci, J. Mylopoulos, and N. Zannone, Designing security requirements models through planning, in Proc. of CAiSE'06, LNCS 4001 (Springer-Verlag, 2006), pp. 33-47.
8. L. K. Chung, B. A. Nixon, E. S. K. Yu, and J. Mylopoulos, Non-Functional Requirements in Software Engineering (Kluwer Publishing, 2000).
9. L. Compagna, P. E. Khoury, F. Massacci, R. Thomas, and N. Zannone, How to capture, communicate, model, and verify the knowledge of legal, security, and privacy experts: A pattern-based approach, in Proc. of ICAIL'07 (ACM Press, 2007), pp. 149-154.
10. R. Crook, D. Ince, L. Lin, and B. Nuseibeh, Security requirements engineering: When anti-requirements hit the fan, in Proc. of RE'02 (IEEE Press, 2002), pp. 203-205.
11. A. Dardenne, A. van Lamsweerde, and S. Fickas, Goal-directed requirements acquisition, Sci. of Comp. Prog. 20 (1993) 3-50.
12. R. Falcone and C. Castelfranchi, Social trust: A cognitive approach, in Trust and Deception in Virtual Societibes (Kluwer Academic Publishers, 2001).
13. J.-M. Favre, Foundations of meta-pyramids: Languages vs. metamodels - episode II: Story of Thotus the baboon, in Language Engineering for Model-Driven Software Development, Dagstuhl Seminar Proceedings, no.04101, IBFI, Schloss Dagstuhl, Germany, 2005.
14. M. S. Feather, S. L. Cornford, K. A. Hicks, and K. R. Johnson, Applications of tool support for risk-informed requirements reasoning, Comput. Syst. Sci. Eng. 20(1) (2005) 5-17.
15. G. Frankova, F. Massacci, and M. Seguran, From early requirements analysis towards secure workflows, in Proc. of IFIPTM'07, 2007. The full version appears as Technical Report, DIT-07-036, at http://eprints.biblio.unitn.it/ archive/00001220/.
16. G. Gans, M. Jarke, S. Kethers, and G. Lakemeyer. Modeling the impact of trust and distrust in agent networks, in Proc. of AOIS'01, 2001, pp. 45-58.
17. P. Giorgini, F. Massacci, J. Mylopoulos, and N. Zannone, Modelling social and individual trust in requirements engineering methodologies, in Proc. of iTrust'05, LNCS 3477 (Springer-Verlag, 2005), pp. 161-176.
18. P. Giorgini, F. Massacci, J. Mylopoulos, and N. Zannone, Detecting conflicts of interest, in Proc. of RE'06 (IEEE Press, 2006), pp. 315-318.
19. P. Giorgini, F. Massacci, and N. Zannone, Security and trust requirements engineering, in FOSAD 2004/2005, LNCS 3655 (Springer-Verlag, 2005), pp. 237-272.
20. P. Giorgini, J. Mylopoulos, and R. Sebastiani, Goal-oriented requirements analysis and reasoning in the Tropos methodology, Eng. Applications of Artif. Intell. 18(2) (2005) 159-171.
21. P. Guarda, F. Massacci, and N. Zannone, E-government and on-line services: Security and legal patterns, in Proc. of MeTTeg'07, 2007.
22. J. Jürjens, Secure Systems Development with UML (Springer-Verlag, 2004).
23. N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, and F. Scarcello, The DLV System for knowledge representation and reasoning, TOCL 7(3) (2006) 499-562.
24. L. Lin, B. Nuseibeh, D. C. Ince, and M. Jackson, Using abuse frames to bound the scope of security problems, in Proc. of RE'04 (IEEE Press, 2004), pp. 354-355.
25. L. Liu, E. S. K. Yu, and J. Mylopoulos, Security and privacy requirements analysis within a social setting, in Proc. of RE'03 (IEEE Press, 2003), pp. 151-161.
26. F. Massacci, J. Mylopoulos, and N. Zannone, An ontology for secure socio-technical systems, in Handbook of Ontologies for Business Interaction (The IDEA Group, 2007).
27. F. Massacci, M. Prest, and N. Zannone, Using a security requirements engineering methodology in practice: The compliance with the Italian Data Protection Legislation, CSI 27(5) (2005) 445-455.
28. F. Massacci and N. Zannone, Detecting conflicts between functional and security requirements with secure Tropos: John Rusnak and the Allied Irish Bank, in Social Modeling for Requirements Engineering (MIT Press, 2006).
29. J. McDermott and C. Fox, Using abuse case models for security requirements analysis, in Proc. of ACSAC'99 (IEEE Press, 1999), pp. 55-66.
30. OASIS, Web Services Business Process Execution Language, Version 2.0. Public Review Draft, 2006.
31. I. Ray, N. Li, R. France, and D.-K. Kim, Using UML to visualize role-based access control constraints, in Proc. of SACMAT'04 (ACM Press, 2004), pp. 115-124.
32. R. Sebastiani, P. Giorgini, and J. Mylopoulos, Simple and minimum-cost satisfiability for goal models, in Proc. of CAiSE'04, LNCS 3084 (Springer-Verlag, 2004), pp. 20-35.
33. D. Shapiro and R. Shachter, User-agent value alignment, in Proc. of the 18th Nat. Conf. on Artif. Intell., AAAI, 2002.
34. G. Sindre and A. L. Opdahl, Eliciting security requirements with misuse cases, REJ 10(1) (2005) 34-44.
35. M. Stamatelatos, W. Vesely, J. Dugan, J. Fragola, J. Minarick, and J. Railsback, Fault Tree Handbook with Aerospace Applications (NASA, 2002).
36. A. van Lamsweerde, Elaborating security requirements by construction of intentional anti-models, in Proc. of ICSE'04 (IEEE Press, 2004), pp. 148-157.
37. A. van Lamsweerde and E. Letier, Handling obstacles in goal-oriented requirements engineering, TSE 26(10) (2000) 978-1005.
38. E. S. K. Yu, Modelling Strategic Relationships for Process Reengineering, PhD thesis, University of Toronto, 1995.