WOODPECKER Workshop Program:
|
Friday - July 6 |
|
| 8:00 |
Welcome Desk |
| 8:45 |
Opening Remarks |
| 9:00 |
Session 1 |
| 10:50 |
Coffee - Break |
| 11:10 |
Session 2 |
| 12:30 |
Lunch |
| 14:00 |
Session 3 |
| 15:30 |
Coffee - Break |
| 15:50 |
Session 4 |
| 16:50 |
Final Discussion. Among the topics: Where do you start when you want to use (or to teach using) RM-ODP? |
| 17:50 | Buses to hotels |
| 19:30 |
Buses from hotels to sightseeing and workshop dinner |
Session Details:
|
July 6 - Friday |
|
|
8:45 |
Opening Remarks |
|
Session 1: |
|
|
9:00 |
Frame-working RM-ODP Luc Abom |
| 9:30 | Consistency checking of RM-ODP specifications
Kenneth Baclawski, Mieczyslaw Kokar, Jeffrey Smith, Jerzy Letkowski |
| 10:00 | On Modeling, Mathematics,
Category Theory and RM-ODP
Zinovy Diskin |
| 10:30 | Discussion |
| 10:50 | Coffee-Break |
|
Session 2: |
|
| 11:10 | Information System architecture
with RM-ODP: an on-the-field experience
Xavier Blanc, Raymonde Le Delliou |
| 11:40 | Writing ODP
Enterprise Specifications in Maude
Francisco Duran and Antonio Vallecillo |
| 12:10 |
Discussion |
| 12:30 | Lunch |
|
Session 3: |
|
| 14:00 |
Specification and Implementation in ODP
Peter F. Linington and William F. Frank |
| 14:30 |
Proposal
for a formal foundation of RM-ODP concepts
|
| 15:00 |
Discussion |
| 15:30 | Coffee-Break |
|
Session 4: |
|
| 15:50 |
Integration of Component-Based
Development Concepts and RM-ODP Viewpoints
Zoran Stojanovic, Ajantha Dahanayake, Henk Sol |
| 16:20 |
Developing an RM-ODP-Based Architecture for
the Defense Integrated Military Human Resources System
COL Lawrence E. Sweeney, USAF, Enrique V. Kortright, and Robert J. Buckley |
| 16:50 | Final Discussion. Among the topics: Where do you start when you want to use (or to teach using) RM-ODP? |
| 17:50 | Buses to hotels |
| 19:30 | Buses from hotels to Arrabida, followed by dinner |