Development of Rigorous Adaptive Information Systems

Course organization

Course Outline

Information Systems (IS) dominate most of today's software (e.g. Banking, Health, Library, Goverment IS, ...). They aim accurate miroring in a technology-driven (semi-)automated way target (cross-)organizations. This course introduces the students to the main features of information systems, the state-of-art of semi- and formal concepts, techniques and methods for their development. Particular emphasize will be put on Object-Oriented and Component-Based techniques, including UML, Object Petri Nets and architectural techniques.

In response to the rapid and unexpected changes and volatility of organization laws, rules and related socio-economic environment, we further address techniques for dynamically evolving information systems, such as architectural connectors, reflection and aspect-orientation. The course main milestones include thus:

• Overview of information systems and their development methodologies,
• UML-structural and behavioral diagrams for semi-formallly and diagrammatically modelling IS,
• Algebraic techniques and OO Petri Nets for rigoros distributed IS modelling and validation, and
• Archictectural techniques, reflection and aspect-orientation for dynamically adapting IS.

Course material (slides / readings / surgeries)

• Lecture1: General Introduction to IS  [Dowload PDF]
• Lecture2: IS Structural Modelling IS  [Dowload PDF]
• Applications: IS Structural Modelling with E/R   [Dowload PDF]
• Lecture3: IS Behavioral Modelling IS with Petri Nets  [Dowload PDF]
• Lecture4: IS Object-Oriented Modelling: Concepts and Constrcutions  [Dowload PDF]
• Applications: IS-Behavior-Modelling with Petri Nets  [Dowload PDF]
• Applications-Solutions: IS-Behavior-Modelling with Petri Nets  [Dowload PDF]
• Lecture5: UML-based Strctural IS Modelling : Inside Use-Cases and Class-diagrams  [Dowload PDF]
• Lecture6: UML-based Behavioral IS Modelling : Inside Sequence and statechart diagrams  [Dowload PDF]
• Applications: Object-Oriented and UML-Diagrams Classes-Use-cases-Statcharts-Sequence  [Dowload PDF]
• Lecture7: Abstract dataTypes and Rewriting: The Road to Rigorously Unifying IS Structure and Behavior  [Dowload PDF]

Literature

• D. Avison and G. Fitzgerald, "Information Systems Development : Methodologies, Techniques and Tools", McGraw-Hill,1995
• C. Gezzi and M-Jazayeri and D.Mandrioli, "Fundamentals of Software Engineering", Prentice Hall, 1993.
• G. Booch and I. Jacobson and J. Rumbaugh, "The Unified Modeling Language Reference Manual",Addison-Wesley, 1998
• Nasreddine Aoumeur. Specifying and Validating Dynamically Evolving Consistent and Concurrent Information Systems : An Object Petri nets Approach. Shaker-Verlag, 2002.