INFT 821/SWE 699 Precise Modeling

Objective

This course will discuss UML meta-models, OCL and its meta-models and some recent work in the area of precise modeling. SWE 621 is required, but SWE 623 is preferred. The course will be conducted at a PhD seminar level.

Prerequisites

SWE 621 is required, but SWE 623 is preferred

Course Administration

  1. Class Meetings:Thursday 7:20pm-10pm in ENT 174
  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, duminda@ise.gmu.edu
  4. Instructor Office Hours: M/Th from 6.00 to 7.00 pm, in ST II Rm 351

Announcements

  1. There will be a Guest Lecture by Bruce Powell Douglass (The famous author of "Doing Hard Real Time" and "Real Time UML") on 04/24/02. I thak Patrick Hansen for arranging this class.
  2. Transparencies on typing have been added on 02/02/02
  3. Transparencies on typing updated to reflect the class on 02/07/02 (02/07/02)
  4. Transparencies on meta-models have been added on 02/14/02
  5. Transparencies on meta-models - II have been added on 02/21/02

Class Schedule (will be changed as the class progresses)

Date
Topic
Readings
Notes
Week 1:
Jan 24 		UML and OCL: An introduction The OCL Book by Warmer and Kleppe Transparencies
Week 2:
Jan 31 		Action Semantics
Introduction to Types		 OCL Action semantics (paper by Warmer and Kleppe in UML 2001
Behavioral Notion of Subtyping by Liskov and Wing		 TransparenciesTransparencies added on 02/02/02
Week 3:
Feb 07		 Finish Types
Begin UML Meta-models		 Second half of "Liskov and Wing" Updated transparencieson 02/07
Week 4:
Feb 14		 UML Meta-models 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 (9/00) Meta Model Transparencies. added on 02/14/02
Week 5:
Feb 21		 UML Meta-models Unification of Static and Dynamic Semantics of UML by A. Kleppe, J. Warmer (7/01) Meta Model Transparencies. added on 02/21/02
Week 6:
Feb 21		 UML Meta-models Meta-modeling papers by Reggio and Astesiano
Paper1, Paper2		 Meta Model Transparencies. will be added on 02/28/02
Week 7:
March 07		 Cardinality in UML Associations Summary of Papers from UML 2001 Paper by Kim Canavan. added on 02/03/02
Week 8:
March 14		 Spring Break No Calss
Week 9:
March 21		 Modeling Security I Papers by Eduardo Fernandez-Medina et al. on OSCL
1. Specification of Security Constraint in UML avilable from IEEE
2. Integrating Multilevel Security in the Database Design Process		 transparencies
Week 10:
March 28		 No Class
Security II		 Dissertation work of Gerald Brose To be added
Week 11:
April 04		 Modeling Security II Papers by Brose et al.
1. Brose Dessertation Listed for the prior week
2. Integrating Access Control Design into the Software Development Process by Brose et. al.
3. Temporal OCL: Meeting Specification Demands for Business Components		 1. transparencies
2. transparencies
Week 12:
April 11		 Modeling Security III Papers on UML with RBAC
1. Towards a UML Based Approach to Role Engineering
2.Two papers by M. Shin and G-Y Ahn: Paper 1, Paper 2		 transparencies
Week 13:
April 18		 Modeling ResourcesModeling Resources
UML Modeling of QoS Paper by Abdullah et al.		 To be added
Week 14:
April 25		 A Topic of the Guest Speaker's Choice Guest Lecture by Bruce Powell Douglass QoS Priflies
Week 15:
Ap		 Use Cases Formalising use cases
The Catalist Approach		 To be added

Potential Topics and the Reading List

Topic 0: Introductory Material

  1. Short introduction to OCL. OCL Transparencies.
  2. Short introduction to types and inheritance using some material from
    Object-oreinted Software Construction by B. Mayer
    Program Development in Java by Liskov and Guttag.
  3. A behavioral notion of subtyping by Barbara Liskov and Jeannet M. Wing. ACM Transactions of programming languages and systems. Vol 16, No 6, November 1994, pp 1811-1841. Transparencies on types.
  4. A Formal Semantics for OCL 1.4 by M. V. Cengarle, A. Knapp in UML 2001 pp 118-133.

Topic 1: Meta Models

  1. UML and OCL Meta-models.
  2. pUML response to UML2.0 RFI by Tony Clark, Andy Evans, Stuart Kent, Robert France and Bernard Rumpe, avilable at http://www.puml.org.
  3. Unification of Static and Dynamic Semantics of UML by Anneke Kleppe and Jos Warmer, avilable at http://www.klasse.nl.
  4. The MML tool.
  5. An action semantics for MML by J. M. Alvarez, T. Clark, A. Evans, P Sammut in UML-2001, pp 2-18.
  6. The Essence of Multilevel Metamodeling by C. Atkinson, T. Kuhne in UML-2001 pp 19-33.
  7. Mapping between Levels in the Metamodel Architecture by J. M. Alvarez, A. Evans and P. Sammut, in UML 2001 pp 34-46.

Topic 2: Applications

  1. Modeling software processes as OCL contsraints: RUP Inception and Elaboration phases - avilable at http://home1.gte.net/res0hbt4/html/Process.htm.
  2. Modeling security in UML+OCL: Towards a UML Based Approach to Role Engineering by P. Epstein and R. Sandhu in ACM RBAC / 1999- avilable at http://ite.gmu.edu/list/publications.htm.
  3. Modeling Quality of Service in UML+OCL: -A generic Framework for modeling resources with UML by B. Selic, IEEE Computer, June 2000.

Topic 3: Modeling Requirements

  1. Modeling information policies as use cases
  2. From Use Cases to System Operation Specifications by S. Sendall and A. Strohmeier, UML 2000 pp 1-15.
  3. The Catalysis approach to multi-actor use cases and their use in modeling multi-participant policies.

Topic 4: View Unification

  1. Using Patterns to Integrate UML Views by A. Egyed, avilable from http://www.sunset.usc.edu/TechRpts/Papers
  2. A Framework for Reasoning over inconsistent viewpoints by S. Esterbrook and M. Chechik, in 23rd Int conference on Software Engineering pp 411-420.
  3. Integrating Model Information UML sequence diagrams by A. Tsiolakis avilable at www.tu-berlin.de/~aliki
  4. Rule-based specification of behavioral consistency based on the UML meta-model by G. Engles, R. Heckel and J. M. Kuster, UML 2001 pp272-286.

Topic 5: Other Misc Topics

  1. Can Floyd-Hoare analysis be used in OCL? - Some thoughts.
  2. Model checking OCL constraints.
  3. How about other automated deduction approaches to OCL? - some thoughts.
  4. Dissapearing Formal Methods? by John Rushby - avialable at http://www.csl.sri.com/papers/hase00.