| [4] | |
| Name: | UNU-IIST Research Day |
| Time: | 28 February 2008 |
| Venue: | UNU-IIST Seminar Room |
| Time Table: | 9:30 Opening: Mike Reed 9:40 Chris George 10:00 Mike Reed 10:30 Wang Xu 11:00 Coffee break 11:30 Paddy Krishnan 12:00 Antonio Cerone 12:30 Andreas Griesmayer 1:00 Lunch break 2:00 Zhiming Liu 2:30 Volker Stolz 3:00 Charles Morisset 3:30 Eun Young Kang 4:00 Tea break 4:30 Tomasz Janowski 5:00 Adegboyega Ojo 5:30 Jeff Sanders 6:00 Closing: Mike Reed Lectures held in the seminar room; refreshments and (catered) lunch in the canteen. Album available: UNU-IIST Research Day |
| [3] | |
| Name: | Mathematics of the network |
| Time: | 12-26 February 2008, every Tuesday and Thursday between 11 and 13 |
| Lecturer: | Fabrizio Luccio, University of Pisa, Italy |
| Venue: | UNU-IIST Seminar Room |
| Course Description: | Prerequisites:
Algorithmics and Math. Basic knowledge of network protocols. Style of presentation: Mathematical, with analysis and discussion of experimental results. Broad in contents, with excursions in present research and pointers to the literature for a deeper investigation of current research issues. Contents: - The formation of equilibrium and non equilibrium networks. Mathematical analysis of different probability distributions of vertex degree and other parameters. - Power laws and the graph structure of Internet and World Wide Web. - Net failures, attacks, and infection diffusion. - Nature and detection of spam farms. |
| [2] | |
| Name: | The rCOS Method for Component-Based and Model Driven Development |
| Time: | |
| Lecturer: | Zhiming Liu |
| Venue: | UNU-IIST seminar room |
| Course Description: | Model driven development is a
most promising approach to
separation of concerns in design of complex software systems.
It employs a UML-like multi-view and multi-notational language for
describing the models of the system at different stages in
the development. It also support component-based design and allows
developers to design systems at a higher
level of abstraction using models or specifications of components
which will be produced and integrated at a later implementation,
assembly and deployment stage.
However, a major challenge in the practice of model-based software development is to ensure correctness and dependability of the software product. To deal with this challenge, we need a common semantics for the multi-view modeling approach, and a method for verification and reasoning about models of different views, correct refinement of models, and consistently relating the models of different views. Tool support to such a method needs to integrate sophisticated drawing and editing tools for model construction, transformers for correctness preserving model transformations, checkers and provers for verification of properties of models. The method, techniques and tools have to be incorporated (or be able to be incorporated) into existing software development processes and environment. In this course, we introduce a method, called rCOS, that we recently developed for Refinement and Verification in Component-Based Model Driven Development. The outline of the content of the course is: --- Introduction: the state of the art in practical software engineering, the current status of formal methods, the motivation and theme of rCOS --- Unifying Theories of Programming (UTP) in Nutshell: the semantics foundation of rCOS --- The formal theory of rCOS a). component-based modelling and refinement: interfaces, contracts, components, composition (connectors), coordination and glue. b). object-oriented modelling and refinement: classes, objects, references, polymorphism, subtyping, dynamic binding, oo refinement --- Development process and case study --- Tool support: UML profile for rCOS, model transformations and model verification and analysis Exam: select one of Group project: each group of two or three can work on their own identified project by using the rCOS method. It can be an object-oriented system, a component-based project, a project that needs both component-based and object-oriented modelling and design. Seminar: Relate rCOS to your own research interest Course materials: 1) Slides will be given before or at the lectures 2) Downloadable publications about rCOS at http://rcos.iist.unu.edu |
| [1] | |
| Name: | UML and the development of secure SOA |
| Time: | 5 - 25 October 2007 between 10 and 12 |
| Lecturer: | Carlo Montangero |
| Venue: | Seminar Room |
| Schedule: | 1. Security and its
impact on
system
design. (slide
0, slide
1) Friday 5 2. Model Driven Development: an old dream coming to reality. (slide 2) Tuesday 9 3. UML revisited: basic structure and extensions. Profiles and tools. (slide 3a, slide 3b) Thursday 11 4. A UML profile for security: UMLsec. Concepts, applications, tools. (slide 4) Tuesday 16 5. Security in SOA: the lambda req approach. (slide 5a, slide 5b) Tuesday 23 |
| Bibliography: | - Jan Jürjens. Secure system
development with UML. Springer 2005. - M.Buchholtz, S.Gilmore, V. Haenel, and C. Montangero, End-to-end integrated security and performance analysis on the DEGAS Choreographer platform, Formal Methods 2005, LNCS 3582, 286-301, Newcastle u. Tyne, 2005. - M. Buchholtz, C. Montangero, L. Perrone, S. Semprini, For-LySa: UML for Authentication Analysis, 2nd Int. Workshop on Global Computing, GC '04, LNCS 3267, 92-105, Rovereto, Italy 2004. Links to documents available in the web will also be provided. |