INFT 821 Section 3 /SWE 723: Precise Modeling

Objective

This course will discuss UML+OCL and their meta-models, and some recent additions to precisely model other aspects of software such as security and performance. As more formal methods are applied in the Semantic web, some time will be devoted towards discussing these topics. As time permits, depending on participant interests, we may consider other (i.e. non -uml and non -semantic web related) aspect of formal modeling. SWE 621 is required, but SWE 623 is preferred. The course will be conducted at a PhD seminar level - implying there will be no home-works, exams or similar things that are traditionally collected for a grade.

Prerequisites

SWE 621 is required, but SWE 623 is preferred

Course Administration

  1. Class Meetings:Thursday 7:20pm-10pm in Robinson B 118
  2. Calss Work: Because this class will be conducted at a PhD seminar level, there will be no homeworks, no examinations.
  3. Instructor: Duminda Wijesekera, email: dwijesek@gmu.edu
  4. Instructor Office Hours: Th from 6.00 to 7.00 pm, in ST II Rm 351

Announcements

Class Schedule (will be changed as the class progresses)

Date
Topic
Readings
Notes
Week 1:
Jan 22 		Introduction to UML/OCL and Action Semantics The OCL Book and the UML 2001 paper by Warmer+Kleppe Transparencies
Week 2:
Jan 29 		Introduction to Types
Behavioral Notion of Subtyping by Liskov and Wing		 TransparenciesTransparencies
Week 3:
Feb 05		 Finish Types Short class due to weather TransparenciesTransparencies
Week 4:
Feb 12		 UML Meta-models 1. Feasibility Study in Rearchitecting UML as a Family of Languages using a Precise OO Meta-Modeling Approach by S. Brodsky, T. Clark, S. Cook, A. Evans, S. Kent
2. Unification of Static and Dynamic Semantics of UML by A. Kleppe, J. Warmer
3. Meta-modeling papers by Reggio and Astesiano Paper1, Paper2 		1. Meta Model 1Transparencies
2. Meta Model 2Transparencies
3. Meta Model 3Transparencies
Week 5:
Feb 19		 MDA Architecure Guest lecture by Tom Massie (Reading = the MDA book) MDA Transparencies
Week 6:
Feb 26		 UML Performance profile Doing Hard Real Time (book) by Bruce Powell Douglass QoS Priflies
Week 7:
March 04		 UML and Security I 1. Papers by Eduardo Fernandez-Medina et al. on OSCL
2. Integrating Access Control Design into the Software Development Process by Brose et. alDissertation
3. Towards a UML Based Approach to Role Engineering
Two papers by M. Shin and G-Y Ahn: Paper 1, Paper 2 		1. transparencies
2. transparencies
3. transparencies
Week 8:
March 11		 Spring Break No Calss
Week 09:
March 18		 Other UML Decorations 1. Temporal OCL: Meeting Specification Demands for Business Components
2. Formalising use cases: Dissertation Work of Shane Sendall
3. (Time permitting) Review of Prolog (in preperation for March 25 class) 		1. OTCL transparencies
2. Sendall's work
Week 10:
March 25		 Semantic Web Guest Lecure on the Semantic Web by Patrick Emery Semantic Web
Week 11:
April 01		 From security models to UML 1. UML Security Based on UML Artifacts.
2. Rule based specifications of accees control.
3. Rule base specification of flow control.
4. Using above and Sendall's work in UML security. 		0.RBAC in UML
1.UML access control
2.Prolog Review
3.Rule based access control
4. Rule based flow control
Week 12:
April 08		 No class No calss No Class
Week 13:
April 15		 The Ponder Policy Specification Framework by the Imperial College group The PONDER policy specification language and applications
1. The Ponder Specification Language by N Damianou, N, Dulay, E Lupu and M Solomon
2. A Policy Deployment Model for the Ponder Language by N Dulay, E Lupu, M Solomon and N. Damianou
3. Using event calculus to formalise policy specification and alanysis by A. Bandara, E. Lupu A. Russo
All paper can be downloaded from the Ponder Web Site 		1. Dr. Emil Lupu's Transparencies on Ponder (many thanks Emil!!)
2. Transfer Seminar by Dr. N. Damianou (Many thanks Dr. Damianou)
3. Policy 2003 talk (Many thanks Arosha!)
Week 14:
April 22		 Continue with Ponder TBD
Week 15:
April 29		 Guest lecture by James Kettner 1. paper 1
1. Paper 2
2. Paper 3
3. Paper 4 3. Paper 5 		Round Trip Engineering