A light-weight static approach to analyzing UML behavioral properties

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2007, Pages 56-63

  Yu, Lijun ^a   France, Robert B ^a   Ray, Indrakshi ^a   Lano, Kevin ^b  

^a Veterinary Dentistry and Oral Surgery   (United States)

^b KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; COMPUTER SOFTWARE SELECTION AND EVALUATION; STATIC ANALYSIS;

ANALYSIS TOOLS; BEHAVIORAL PROPERTIES; CLASS MODELS; DESIGN PROBLEMS; EARLY DESIGN PHASIS; LIGHT WEIGHT; OBJECT CONSTRAINT LANGUAGE; SOFTWARE QUALITY; STATIC APPROACH; SUPPORT ANALYSIS;

UNIFIED MODELING LANGUAGE;

EID: 46749133122     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2007.10     Document Type: Conference Paper

References (10)

1. D. Chiorean, M. Pasca, A. Cârcu, C. Botiza, S. Moldovan, "Ensuring UML Models Consistency Using the OCL Environment", Electronic Notes in Theoretical Computer Science, Volume 102, Nov. 2004, pages 99-110.
2. E. Clark, O. Grumberg, and D. Peled. Model Checking. The MIT Press, 1999.
3. T. T. Dinh-Trong, "A Systematic Approach to Testing UML Design Models", Doctoral Symposium, 7th International Conference on the Unified Modeling Language (UML), Lisbon, Portugal, 2004.
4. D.F. Ferraiolo, R. Sandhu, S. Gavrila, D. R. Kuhn, and R. Chandramouli. "Proposed NIST Standard for Role-Based Access Control". ACM Transactions on Information and Systems Security, 4(3), Aug. 2001.
5. M. Gogolla, J. Bohling, and M. Richters. "Validating UML and OCL Models in USE by Automatic Snapshot Generation". Journal on Software and System Modeling, 4(4):386-398, 2005.
6. D. Harel and E. Gery, "Executable Object Modelling with Statecharts", IEEE Computer, 30(7): 31-42, 1997.
7. D. Jackson, "Alloy: a lightweight object modeling notation", ACM Transactions on Software Engineering and Methodology, Volume 11, Issue 2, April 2002, pages 256-290.
8. I. Ray, N. Li, D-K. Kim, R. France, "Using Parameterized UML to Specify and Compose Access Control Models", Proceedings of the 6th IFIP WG 11.5 Working Conference on Integrity and Internal Control in Information Systems, Lausanne, Switzerland, Nov. 2003.
9. Object Management Group, Unified Modeling Language: Superstructure, vers 2.0 Final Adopted Standard.
10. N. Zhang, M. Ryan, and D. Guelev. "Evaluating Access Control Policies through Model Checking", Proceedings of the 8th International Conference on Information Security, Singapore, Sept. 2005.