Scenario-based static analysis of UML class models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5301 LNCS, Issue , 2008, Pages 234-248

  Yu, Lijun ^a   France, Robert B ^a   Ray, Indrakshi ^a  

^a Veterinary Dentistry and Oral Surgery   (United States)

Author keywords

Behavioral properties; Model analysis; Snapshot; UML

Indexed keywords

ACCESS CONTROL; LINGUISTICS; MODELS; STATIC ANALYSIS; UNIFIED MODELING LANGUAGE;

BEHAVIORAL PROPERTIES; CLASS MODELS; INTERACTIVE SIMULATIONS; MODEL ANALYSIS; OPERATION PARAMETERS; ROLE-BASED ACCESS CONTROLS; SNAPSHOT; STATE ELEMENTS; STATIC MODELS; UML; UML CLASS MODELS;

MODAL ANALYSIS;

EID: 56649088001     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87875-9_17     Document Type: Conference Paper

References (15)

1. Chiorean, D., Pasca, M., Cârcu, A., Botiza, C., Moldovan, S.: Ensuring UML Models Consistency Using the OCL Environment. In: Electronic Notes in Theoretical Computer Science, vol. 102, pp. 99-110 (November 2004)
2. Clark, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
3. Dinh-Trong, T.T.: A Systematic Approach to Testing UML Design Models. In: Doctoral Symposium, 7th International Conference on the Unified Modeling Language (UML), Lisbon, Portugal (2004)
4. Eshuis, R.: Symbolic model checking of UML activity diagrams. ACM Trans. Softw. Eng. Methodol. 15(1), 1-38 (2006)
5. Ferraiolo, D.F., Sandhu, R., Gavrila, S., Kuhn, D.R., Chandramouli, R.: Proposed NIST Standard for Role-Based Access Control. ACM Transactions on Information and Systems Security 4(3) (August 2001)
6. Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Journal on Software and System Modeling 4(4), 386-398 (2005)
7. Gogolla, M., Büttner, F., Richters, M.: USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program 69, 1-3 (2007)
8. Harel, D., Gery, E.: Executable Object Modelling with Stateeharts. IEEE Computer 30(7), 31-42 (1997)
9. Jackson, D.: Alloy: a lightweight object modeling notation. ACM Transactions on Software Engineering and Methodology 11 (2), 256-290 (2002)
10. Lilius, J., Paltor, I.P.: vUML: a tool for verifying UML models. In: 14th IEEE International Conference on Automated Software Engineering, pp. 255-258 (October 1999)
11. Object Management Group, Object Constraint Language Specification, Version 2.0
12. Ray, I., Li, N., Kim, D.-K., France, R.: Using Parameterized UML to Specify and Compose Access Control Models. In: Proceedings of the 6th IFIP WG 11.5 Working Conference on Integrity and Internal Control in Information Systems, Lausanne, Switzerland (November 2003)
13. Richters, M., Gogolla, M.: Validating UML Models and OCL Constraints. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939. Springer, Heidelberg (2000)
14. Object Management Group, Unified Modeling Language: Superstructure, vers 2.0 Final Adopted Standard
15. Yu, L., France, R.B., Ray, I., Lano, K.: A light-weight static approach to analyzing UML behavioral properties. In: Proceedings of the 12th IEEE international Conference on Engineering Complex Computer Systems, pp. 56-63 (July 2007)