Background for the header

FOTS / Teaching / Seminar

MEDEDELING: Deadline indienen paper: 1 juni 2005

Course Contents | Location | Schedule | Exam

This is the seminars home page for the last year Computer Science students at the University of Antwerp. It provides information concerning a course entitled "Seminarie Informatica". The goal of this course is to expose students to new and emerging trends in Computer Science and it is typically organized around a number of invited speakers.

PATS LogoIn co-operation with the PATS research group. Slides from the Telecom track are hosted on the PATS courses website.

Course Contents

Each year, the University of Antwerp invites a number of experts in the field of Computer Science, to give a presentation about their work, in order to expose students to new and emerging trends. For already the fourth consecutive year now, we organize some of these seminars in conjunction with two associated institutions, namely the "Hogeschool Antwerpen" and the "Karel De Grote Hogeschool". As such, we aim to foster cross-fertilization between the closely related fields of ICT and Computer Science.

This year, the seminar will be organized as a series of lectures around the topics "Tools for Software Engineering" and "Telecom" (Telecommunicatienetwerken). Below is the tentative list of lectures that will be provided for each topic.

Tools for Software Engineering


Course Schedule

Below is the planned series of lectures. Note that it is likely that the schedule will change over the course of the year. The schedule has last been updated on Wednesday, December 15th, 2004.
week date title room
06 Fri. Nov. 05; 10:30h Optical Networks: an introduction ?
11 Wed. Dec. 08; 15:00h - 17:00h AndroMDA
Introduction to an open-source MDA solution
12 Wed. Dec. 15th; 15:00h GROOVE
GROOVE, een tool voor state space visualizatie
13 Wed. Dec. 22th De Kwaliteit van Internettelefonie ?
X-mas holidays
2 Wed. Feb. 16; 16:00h Between rigor and usability: the process modeling tool Protos
Verificatietool PROTOS
5 Thursday March 10; 14:00h Electronic ID Hogeschool Antwerpen, campus Paardenmarkt
Lokaal D31
Paardenmarkt 92
B-2000 Antwerpen
8 Friday April 15; 14:00h VoIP en QoS KdG Hogeschool, campus Hoboken
Salesianenlaan 30
2660 Antwerpen
9 Wed. April 20th; 15:30h Model Checking with Spin U215 (2de verdiep, Gebouw U, Campus Groenenborgerlaan)
10 Wed. April 27th; 15:30h Aspect Oriented Software Development U215 (2de verdiep, Gebouw U, Campus Groenenborgerlaan)
04/05/2005 Telenet goes EuroDOCSIS broadband
23/05/2005 All-optical packet-switched networks

Optical Networks: an introduction

Prof. Dr. H. Perros
State Univ. of North Carolina
Raleigh, NC, U.S.
Not available online.
Detailed Program
  • Not available online.
More Information
  • Copies of the slides [ PDF ]


Wed. Dec. 08; 15:00h - 17:00h (Lokaal G006)
Actuele Gegevens Korte Samenvatting CV
Lic. Wouter Zoons
Horizon Center
Leuvensesteenweg, 510/5 B38
1930 Zaventem
Wouter Zoons gestudeerd aan het LUC in Diepenbeek (kandidatuur) en aan de VUB in Elsene (licentiaat). Hij heeft 2 jaar gewerkt bij een security-bedrijf dat zich specialiseerde in PKI waar hij enkele projecten gedaan heeft zoals onder andere voor Vodafone en het eID project (elektronische identiteitskaart, toen nog BelPIC genoemd). Daarna is hij consultantie werk gaan doen en heeft hij ervaring opgedaan in veel verschillende takken van de informatica. Consultantie doet Zoons nu bijna 3 jaar.

Meer specifiek heeft hij ervaring met:

  • cryptografie, X509, wireless certificates, PKCS standards
  • XML, Java, JDBC, mySQL, Oracle, Swing
  • Software engineering, XP, OMT/UML/RUP/OCL
  • open source projecten in Java
  • J2EE, application servers
De presentatie zal voornamelijk gaan over Model Driven Architecture en een implementatie hiervan, AndroMDA genaamd. Zoons zal ook raken aan enkele vergelijkingen met klassieke methoden van software engineering en MDA. Meer concreet zal er in detail gegaan worden over het code-generatie gedeelte in AndroMDA, en een demo zal natuurlijk ook niet ontbreken. De presentatie zal eindigen met een vragen/antwoorden sessie.
Detailed Program
  • Classical vs. Modern software engineering
  • Model Driven Architecture
  • AndroMDA
  • In practice
  • AndroMDA tools
  • Example
  • Questions & Answers
More Information

De Kwaliteit van Internettelefonie

Dr. D. De Vleesschouwer
Alcatel-Bell, Antwerpen
Not available online.
Detailed Program
  • Not available online.
More Information

GROOVE (Graph-Based State Spaces)

Prof. Dr. A. Rensink
Universiteit Twenthe
We intend to verify object-oriented software through model checking, by representing program states as graphs and execution steps as derivations from graph production rules. We propose the resulting state space model as an alternative to traditional, state vector- based models. In this talk I will discuss the pros and cons of this approach, touching upon diverse aspects such as algorithmic complexity, symmetries, partial order reduction, representation techniques, logics for expressing properties, and abstraction. The approach has been partially implemented in a state space generation tool "GROOVE" (Graphs for Object-Oriented Verification), which I will also demonstrate.
More Information
  • Copies of the slides [ TAR.GZ containing PPT (1.017.015 bytes), TAR.GZ containing PDF (37.604.057 bytes)]
  • Software: GROOVE homepage
  • Related papers:
    • The GROOVE Simulator: A Tool for State Space Generation (PDF)
          Author="Arend Rensink",
          Title="The {GROOVE} Simulator: A Tool for State Space Generation",
          Booktitle="Applications of Graph Transformations with Industrial Relevance
          Editor="J. Pfalz and M. Nagl and B. B{\"o}hlen",
          Series="Lecture Notes in Computer Science",
    • Canonical Graph Shapes (PDF)
        Author="Arend Rensink",
        Title="Canonical Graph Shapes",
        Booktitle="Programming Languages and Systems ---
            European Symposium on Programming (ESOP)",
        Series="Lecture Notes in Computer Science",
        Editor="D. A. Schmidt",
    • Model Checking Graph Transformations: A Comparison of Two Approaches (PDF)
          Author="Arend Rensink and {\'A}kos Schmidt and D{\'a}niel Varr{\'o}",
          Title="Model Checking Graph Transformations: A Comparison of Two Approaches",
          Booktitle="International Conference on Graph Transformations (ICGT)",
          editor= {H. Ehrig and G. Engels and F. Parisi-Presicce
                        and G. Rozenberg},
          Series="Lecture Notes in Computer Science",
          volume = 3256,
    • Time and Space Issues in the Generation of Graph Transition Systems (PDF)
          Author="Arend Rensink",
          Title="Time and Space Issues in the Generation of Graph Transition Systems",
          Booktitle="International Workshop on Graph-Based Tools (GraBaTs)",
          series = "Electronic Notes in Theoretical Computer Science",
          publisher = "Elsevier Science Publishers",
          Note="To appear",

Between rigor and usability: the process modeling tool Protos

Dr. Hajo Reijers
TU Eindhoven
Business processes modeling is a popular activity in industry. Model of business processes can be used for many different purposes, such as: the analysis and subsequent redesign of that process (e.g. BPR [2]), the introduction of a quality system within that process (e.g. ISO), the development of software that supports (parts of) the process, the implementation of a workflow management system to manage the process [1], the introduction of a cost accounting system (e.g. Activity Based Costing) and the demonstration of compliance to various regulations (e.g. Sarbanes Oxley).

Because of this multitude of goals, it is perhaps no suprise that many different techniques and tools have emerged to support the modeling of business processes. In particular graphical approaches such as the UML, EPC's and IDEF have become prevalent in industry. In the academic world, Petri nets have become quite popular, especially for the purpose of business process modeling [1]. This popularity has resulted in various proposed Petri net variants [3]. What is interesting here is that in business, ease of use and market leadership are the factors that will make a process modeling tool attractive. In the academic world, much more emphasis is placed on the expressiveness and well-foundedness of the underlying modeling technique.

The process modeling tool Protos [4,6] is of interest as it attempts to combine the best of both worlds. Current versions of Protos are in use by hundreds of organizations in more than 25 countries. Although it originally was introduced as an informal, easy-to-use graphical modeling tool, Petri net semantics have been incorporated in the past years. As a result, a whole variety of possibilities emerged to extend the tool with analytical capabilities, which - curiously enough - prove to be very practical in business life. The lecture will give an overview of the tool Protos, as well of the past and current developments.

More Information
  • Copies of the slides [ ZIP containing PPT (6.070.665 bytes), TAR.GZ containing PDF (4.470.584 bytes)]
  • Related papers:
    • [1] W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998. (PDF)
    • [2] M. Hammer and J. Champy. Reengineering the Corporation; A Manifesto for Business Revolution. Harper Business, New York, 1993.
    • [3] G.K. Janssens, J. Verelst, and B. Weyn. Techniques for Modeling Workflows and Their Support of Reuse. In: W.M.P. van der Aalst, J. Desel, and A. Oberweis (eds.), Business Process Management: Models, Techniques, and Empirical Studies, Lecture Notes in Computer Science vol. 1806, 1-15. Springer-Verlag, Berlin, 2000. (PDF)
    • [4] Pallas Athena. Protos: Kennis van zaken. Apeldoorn, 2004. (PDF)
    • [5] H.M.W. Verbeek, M. van Hattem, H.A. Reijers, and W. de Munk. Protos 7.0: Simulation made accessible. Submitted to: 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency, 2005. (PDF)
    • [6] Wavefront. Handleiding Protos Classic 6.1. Apeldoorn, 2003. (Zipped PDF)

Electronic ID

Ronny Depoortere
PASS Zetes
De elektronische identiteitskaart die iedere Belg ten laatste in 2009 bezit, biedt enorm veel mogelijkheden. Om een beter inzicht te krijgen in de eID zullen eerst de elektronische elementen en de fysische beveiliging besproken worden. Daarna zal verder ingegaan worden op de mogelijke toepassingen, de beschikbare tools via rijksregister en fedict. Tot slot komen de eID-shop, de eID kaartlezer en de evolutie aan bod.

De elektronische variant van de Belgische identiteitskaart (eID) gaat onder meer dienen om onzekerheid over de leeftijd van MSN-chatters weg te halen. Dat kondigde Bill Gates aan op 1 februari 2005 bij zijn bezoek aan ons land. De Microsoft-oprichter had verder lof over het initiatief dat hij "de meest secure identiteitsverificatie die Microsoft ooit heeft gezien" noemde.

More Information

VoIP en QoS door een checkpoint-Firewall

Peter Sandkuijl
Met de voortgang van de technologie zien we in de markt een verdergaande acceptatie van Voice over IP verkeer. Dit verkeer wordt ervaren als bedrijfskritisch en dient ter allen tijde beschikbaar en performant te zijn. Nu voice ook over hetzelfde netwerk als dataverkeer wordt getransporteerd, opent dit ook een reeks van mogelijke kwetsbaarheden, aangezien veel meer toegang mogelijk is naar de verkeersstromen. Zaken als Denial of Service (DoS) worden plotseling actueel. In de presentatie komen de verschillende VoIP toepassingen aan bod.

De problematiek die geïntroduceerd wordt vanwege de opbouw van de verkeersstromen en de beveiligign van dat verkeer worden behandeld. Naast een goede inspectie van het verkeer dient er ook een Quality of Service aanwezig te zijn, aangezien VoIP verkeer geen zaken als ruis of vertraging mag introduceren. Bandbreedte beheer in relatie tot VoIP is de tweede topic die behandeld wordt in de presentatie.

More Information
Not available yet...

Model Checking with Spin

Dr. Maurice ter Beek,
(Istituto di Scienza e Tecnologie dell'Informazione -
Consiglio Nazionale delle Ricerche)
Model checking is an automatic technique to verify whether or not a system design satisfies its specifications. Such a verification is moreover exhaustive, i.e. all possible input combinations and states are taken into account. To avoid running out of memory due to a state-space explosion - which would make an exhaustive verification impossible - often a simplified model is used that captures the core of the system design but abstracts from unnecessary details. One of the best known and most successful model checkers is Spin, which was developed at Bell Labs during the last two decades. It is freely available through and it is very well documented.

Spin's input language is Promela, a non-deterministic C-like specification language for modelling finite-state systems communicating through channels. Specifications in Promela can be fed to Spin, together with a request to verify certain correctness properties. Spin then converts the Promela processes into finite-state automata and on-the-fly creates and traverses the state space of a product automaton over these finite-state automata, in order to verify the specified correctness properties. There are several ways of formalising correctness properties in Promela. One way is to add labels to the Promela specification to mark specific points in the specification, which can then be used to formulate LTL properties and to test their validity by running Spin. LTL stands for Linear Temporal Logic and it is an extension of predicate logic that allows one to express assertions about behaviour in time, without explicitly modelling time.

I will begin this talk by briefly recalling some notions from automata theory that underly Spin. Subsequently I will explain the model checker Spin, its input language Promela, and LTL in more detail. Finally, I will show an application of model checking with Spin to an industrial case study.

More Information

Aspect Oriented Software Development

Kris Deschutter,
Universiteit Gent
Aspect Orientation is an emerging paradigm for software-development which allows one to define concerns which crosscut an entire application in a modular way; something which is often impossible to do using Object Orientation. This talk will give an overview of the history and the ideas behind this new technology, which IBM has already outed as mission critical for its business. We will discuss some of the various views on what AOP is (or is thought to be), while showing some of the different tools under development today.

One conclusion has already been drawn though: whatever the programming language of tomorrow turns out to be, it will definitely contain some form of aspects.

More Information

Telenet goes EuroDOCSIS broadband

B. Merchie
Download PDF
More Information

All-optical packet-switched networks

K. Laevens
Download PDF
More Information


<<This part of the web-page is offered in Dutch>>

De studenten worden (uiteraard) verondersteld de voordracht bij te wonen en aktief deel te nemen aan de discussie achteraf. Bovendien zal de spreker referenties geven naar de literatuur omtrent het behandelde onderwerp. De studenten kiezen twee voordrachten uit verschillende categorieën (software engineering, telecom, andere) en schrijven daar een korte paper ( 5-tal blz.) over. Over deze twee onderwerpen en de bijhorende paper zal een mondeling examen worden georganizeerd.

Deadline indienen paper: 1 juni 2005

Valid HTML 4.01!

FoTS - Universiteit Antwerpen - 2009-2011

for the footer