WADT'99 Bonas, France 15-18 September 1999

Home page

Schedule

Wednesday 15:

9h-10h: 10h30-12h30: 15h-16h30: 17h-19h:

Bart Jacobs Logics/Validation Subsorts/Partiality Applications II

// // //

CASL Language Combining Formalisms Structuring II/Rewriting

//

CASL Semantics

Thursday 16:

9h-10h: 10h30-12h30: 15h-19h:

Natarajan Shankar Test and Validation Excursion

//

Concurrent Processes

//

Applications I

Friday 17:

9h-10h: 10h30-12h30: 15h-16h30: 17h-19h: 20h:

Manfred Broy Structuring I CoAlgebras/Sketches Refinement II/HLevel Nets Workshop Dinner

// // //

CoFI Session: Methodology CoFI Session: Reactive Systems CoFI Session: CASL Tools

Saturday 18:

9h-10h: 10h30-12h30: 14h30-16h:

Michel Bidoit Refinement I Institutions/Categories

// //

Alg. Spec. and other Specification Styles ASM

List of Sessions

Three talk sessions

ASM:

• Egon Börger and Joachim Schmid
  Submachine and Composition Principles for ASMs
• Alexandre V. Zamulin
  Generic Object Types in Abstract State Machines
• Kazem Lellahi and Alexandre Zamulin
  Dynamic systems based on update sets

CoAlgebras / Sketches:

• Ataru Nakagawa
  Algebra-coalgebra structures and bialgebras
• Horst Reichel
  A uniform model theory for the specification of data and process types
• Hirokazu Yatsu
  Observational Rewriting Relation for Describing Silent Action in Coalgebraic Specifications

Subsorts / Partiality:

• Magne Haveraaen
  Disguising partiality so you won't know whether its there
• Jean-Michel Hufflen
  Presentations with Exceptions as Order-Sorted Presentations
• Yngve Lamo and Michal Walicki
  Specification of partiality with nondeterminism

Institutions / Categories:

• Rosa Jimenez and Fernando Orejas
  A model-based semantics to higher-order parameterizations
• Hugo Lourenco, Amilcar Sernadas, Cristina Sernadas and Paulo Mateus
  An Institution of Hybrid Systems
• Paulo Mateus, Amilcar Sernadas and Cristina Sernadas
  Combining Probabilistic Automata : Categorial Approach

Combining Formalisms:

• Michel Allemand and Christian Attiogbe
  Practical combination of specification formalisms
• Pascal Andre and Jean-Claude Royer
  A First Algebraic Approach to Heterogeneous Software Systems
• Alfio Martini and Uwe Wolter
  Different Formalizations of Logic Representation in view of Multiparadigm Languages

CoFI Session: Reactive Systems:

• Heinrich Hussmann:
  State of Work
• Heinrich Hussmann, Maura Cerioli, Gianna Reggio and Francoise Tort
  Abstract Data Types and UML Models
• Gianna Reggio and Lorenzo Repetto
  CASL-CHARTS

Four talk sessions

Refinement I:

• Michel Bidoit and Rolf Hennicker
  Refining Observational Specifications
• Jo Hannay
  Algebraic specification refinement with system F
• Yoshiki Kinoshita
  Data refinement as a part of free generation
• Don Sannella
  Implementation of higher-order specifications

Refinement II / High-Level Nets:

• Luis S. Barbosa
  A Coalgebraic Approach to Process Refinement
• E. Pascal Gribomont
  Incremental design of reactive systems
• Julia Padberg and Kathrin Hoffmann
  Horizontal and Vertical Structuring in a Uniform Approach to Petri Nets
• Kathrin Hoffmann, Hartmut Ehrig and Uwe Wolter
  Folding and Unfolding Construction between Algebraic High Level Nets and Regular Algebraic Higher Order Nets

Structuring I:

• Theodosis Dimitrakos
  On specifications parametrised by diagrams
• Francisco Duran and Jose Meseguer
  Structured Theories and Maude's Module Algebra
• Fernando Orejas and Elvira Pino
  A general algebraic framework for studying modular systems
• Grigore Rosu
  Abstract Semantics for Module Composition

Structuring II / Rewriting:

• Andrea Corradini, Fabio Gadducci and Wolfram Kahl
  On the notion of `term' for multi-algebras.
• Dmitri Schamschurko
  A Specification of the CORBA Communication Layer in the Ambient Calculus.
• Jose Luiz Fiadeiro
  Observing Rewriting Theories
  (replaces: Antonia Lopes and Jose Luiz Fiadeiro A New Look at the Categorical View of Systems)
• Nachum Dershowitz Sharing Constructors

Logics and Validation:

• Diane Bahrami
  A General Framework for Equational Logics
• Peter Padawitz
  Hidden types and modal logic
• Kokichi Futatsugi and Razvan Diaconescu
  An overview of Specification and Verification in CafeOBJ
• Jean-Louis Boulanger and Marcel Gallardo
  Property-based Validation Process

Test and Validation:

• Helene Jouve
  Cooperation between testing and proving technics
• Patricia D. L. Machado
  Testing from Structured Algebraic Specifications
• Savi Maharaj
  Towards a Method of Test Case Extraction from Correctness Proofs
• Martin Wirsing and John N. Crossley
  Programs from specification proofs

Algebraic Specifications and other Specification Styles:

• Hubert Baumeister
  Relating Abstract Datatypes and Z-Schemata
• Liliana Favre and Silvia Clerici
  A bridge between UML class diagrams and algebraic specifications
• P. Champagnoux, L. Duchien, D. Enselme and G. Florin
  Cooperative Abstract Data Types
• Christine Choppy, Pascal Poizat and Jean-Claude Royer
  Control and Datatypes using a Multiview Formalism

Concurrent Processes:

• Gunnar Schroeter and Uwe Wolter
  (Initial) Algebraic Models of CCS Specifications
• Alexander Letichevsky and David Gilbert
  A model for interaction of agents and environments
• Paolo Baldan, Andrea Corradini and Ugo Montanari
  History Preserving Bisimulations for Contextual nets
• Mourad Maouche and Mohamed Bettaz
  How to Improve Concurrency in Maude

Applications I:

• T. S. E. Maibaum
  The MENSURAE language: specifying business processes!
• Pierre-Yves Schobbens
  The Scenario Notation: an extension of Allen calculus
• Didier Bert and Stephane Lo-Presti
  Algebraic Specification of Operator-based Multimedia Presentations
• Sylviane R. Schwer
  A functional Temporal Model for dynamics information systems

Applications II:

• Ulrike Lechner
  Media - Concept, Formalization and Architecture
• Franck Ledoux
  A formal specification formalism dedicated to geometric modeling
• Omar Boucelma
  Specification of database queries : a combinator based approach
• Nalini Venkatasubramanian and Carolyn Talcott
  A Semantic Framework for Specifying Composable Distributed Resource Management Activities

CoFI Session: CASL Language:

• Bernd Krieg-Brueckner:
  State of Work
• Davide Ancona, Maura Cerioli and Elena Zucca
  Extending Casl by Late Binding
• Anne Haxthausen, Till Mossakowski and Bernd Krieg-Brueckner
  Subsorted Partial Higher-Order Logic as an Extension of CASL
• Markus Roggenbach and Till Mossakowski
  Specifying real numbers in CASL

CoFI Session: CASL Semantics:

• Eric G. Wagner
  On the Category of CASL Signatures
• Till Mossakowski, Andrzej Tarlecki
  Specifications in an arbitrary institution with symbols
• Tomasz Borzyszkowski
  High Order Logic and Theorem Proving for Structured Specifications
• Andrzej Tarlecki
  State of work / Discussion

CoFI Session: Methodology:

• Serge Autexier, Dieter Hutter, Heiko Mantel and Axel Schairer
  Towards an Evolutionary Formal Software-Development Using CASL
• Maura Cerioli and Gianna Reggio
  Basic CASL at Work: a Compass for the Labyrinth of Partiality, Subsorting and Predicates
• Christine Choppy and Gianna Reggio
  Using CASL to specify the requirements: a problem specific approach
• Michel Bidoit
  State of work / Discussion

CoFI Session: CASL Tools:

• Helene Kirchner
  State of work
• Donald Baillie (done by Don Sannella)
  Proving Theorems about CASL Specifications
• M. G. J. van den Brand and J. Scheerder
  Development of Parsing Tools for Casl using Generic Language Technology
• Christophe Ringeissen
  Executing some CASL specifications with ELAN
• Bremen tools
  (Note: the regular session of CASL Tools end at 19h with the Christophe Ringeissen's talk and demo/exhibition of Bremen Tools could be open and planned after the session, between 19h and 20h. Notice that demos can be planned Wednesday, too).