FACS03 Programme

DAY 1: MONDAY, 8 SEPTEMBER

09:00 - 09:30 WELCOME

• He Jifeng, UNU/IIST, Macao SAR China

09:30 - 10:30 KEYNOTE SPEAKER 1

Chair: He Jifeng

• Manfred Broy, TUM Germany
  Multi-view Modeling of Software Systems

10:30 - 11:00 COFFEE BREAK

11:00 - 13:00 SESSION 1: MODELS AND SPECIFICATIONS

Chair: Bernhard Aichernig

• Sun Meng and Bernhard K Aichernig, UNU/IIST, Macao SAR China
  A Coalgebraic Calculus for Component Based Systems

• Nuno Rodrigues, Sidereus and Luis Barbosa, University of Minho, Portugal
  On the Specification of Component Repository

• Claire Pagetti, Franck Cassez and Olivier Roux, IRCCyN, France
  Hierarchical Modeling and Verification of Timed Systems in Timed AltRica

• Nuno Amalio, Susan Stepney and Fiona Polack, York University, UK
  Modular UML semantics: Interpretations in Z based on Templates and Generics

13:00 - 14:00 LUNCH

14:00 - 15:00 KEYNOTE SPEAKER 2

Chair: Anders Ravn

• He Jifeng, UNU/IIST, Macao SAR China
  A Contract-oriented Approach to CBP

15:00 - 16:00 SESSION 2: DEPENDENCY AND COORDINATION

Chair: Dang Van Hung

• Shui-Ming Ho and Kung-Kiu Lau, University of Manchester, UK
  Catlysis frameworks in first-order logic

• Nasreddine Aumeur and Gunter Saake, Otto-von Guericke University, Germany, and
  Jose Luiz Fiadeiro, University of Leicester, UK
  Coordination Contracts Conceptualization and Validation Using Component-Based Petri Net

16:00 - 16:30 COFFEE BREAK

16:30 - 18:00 SESSION 2: DEPENDENCY AND COORDINATION (con'd)

Chair: Dang Van Hung

• Sotiris Moschoyiannis, Michael W Shields, University of Surrey, UK, and Juliana Kuster-Filipe, University of Edinburgh, UK
  Formalizing well-behaved components

• Bernd Schoeller, Swiss Federal Institute of Technology, Switzerland
  Strengthening Eiffel Contracts Using Models

• I.S.W.B. Prasetya and T.E.J. Vos, Universitdad Politecnica, de Valencia,
  S.D. Swierstra, Utretch University, the Netherland, and
  B. Widjaja, Universitas Indonesia
  A Theory of composing distributed components based on temporary interface

DAY 2: TUESDAY, 9 SEPTEMBER

8:30 - 9:30 KEYNOTE SPEAKER 3

Chair: Kung-Kiu Lau

• Tom Maibaum, King College, UK
  Title: TBA

9:30 - 10:30 SESSION 3: APPLICATIONS

Chair: Zhiming Liu

• Piotr Makowski and Anders P. Ravn, University of Aalborg, Denmark
  Component based development - where is the place for formalism?

• Elena Troubitsyna, Abo Akadermi University, Finland
  Developing fault-tolerant control system composed of self-checking components in the action systems formalism

10:30 - 11:00 COFFEE BREAK

11:00 - 11:30 SESSION 3: APPLICATIONS (con'd)

Chair: Zhiming Liu

• Vishnu Kotrajaras, Chulalongkorn University, Thailand
  Towards an agent-searchable software component using CafeOBJ specification and semantic Web

11:30 - 12:45 PANEL SESSION

Chair: Tom Maibaum
Panelists: He Jifeng, Kung-Kiu Lau, Tom Maibaum, Anders Ravn, and Ugo Montanari

CLOSE

13:00 - 14:00 LUNCH