Research

strict warning: Declaration of biblio_handler_field::pre_render() should be compatible with views_handler_field::pre_render(&$values) in /export/home/ansymo/www/ansymore.old/sites/all/modules/biblio/views/biblio_handler_field.inc on line 0.

Research

13 June 2008. Benoit Baudry (INRIA, Rennes, France).
31 March 2006. Ernesto Posse. In this talk we discuss some relevant issues concerned with modelling formalisms that have a notion of time. We discuss why is it useful to have an explicit notion of...
11 October 2005. Joerg Kienzle, Muthucumaru Maheswaran, Hans Vangheluwe.
29 April 2005. Indrani A.V. Statistical Mechanics techniques are commonly employed to study the physics of equilibrium many-body systems. I shall give a brief outline of the main ideas involved,...
29 April 2005. Indrani A.V. In this talk I shall present certain common features of complex many-body systems. The appearance of scale-invariance, power laws and emergent behaviour in these systems...
18 February 2005. Denis Dubé. About AToM3's Version 0.3 user interface and layout.
4 March 2005. Marc Provost. This presentation introduces PyGK, the Python Graph Kernel, which will be the core component of the next generation of AToM3, the meta-modelling and graph rewriting tool...
27 June 2003. Thomas Feng.
12 June 2002. Marc Provost.

Network for Engineering of Complex Software Intensive Systems for Automotive Applications

2011 - ... | http://www.necsis.ca

Fundamental Issues in Software Engineering: Modelling, Verification and Evolution of Software

2007 - 2011 | http://moves.vub.ac.be

Formal Support for the Transformation of Software Models

2006 - 2010

advanced applications for electronic IDentity cards in Flanders

2005 - 2009 | https://www.cosic.esat.kuleuven.be/adapid

Formal Support for the Transformation of Software Models

2005 - 2009 | http://fots.ua.ac.be/research/fwo-mde.php

Software Evolution, Refactoring, Improvement of Operational & Usable Systems

2005 - 2008 | http://www.hitech-projects.com/euprojects/serious

Computer aided Multi-paradigm Modelling

2004 - ...

Software specification/synthesis using meta-modelling

2004 - ...

Discrete EVent System Specification

2003 - ...

Games Research at McGill

2003 - ... | http://gram.cs.mcgill.ca

Architectural Resources for the Restructuring and Integration of Business Application

2002 - 2006 | http://arriba.vub.ac.be

A Tool for Multi-formalism and Meta-Modelling

2002 - ... | http://msdl.cs.mcgill.ca/projects/projects/AToM3

Foundations of Software Refactoring

2002 - 2006 | http://win.ua.ac.be/~lore/refactoringProject

Syntactic and Semantic Integration of Visual Modelling Techniques

2002 - 2006 | http://www.segravis.org

Software-intensive Systems

Our world and society are shaped and governed by systems and software. Almost all devices, machines and artifacts surrounding us incorporate software to some extent. Additionally, the numerous organizations, businesses and enterprises we encounter on a daily basis could not function without software. Examples of software systems are numerous: worldwide web applications and desktop software but also embedded systems like pacemakers, cell phones, train control systems, and automotive components.

Ansymo(1) is a research group investigating foundations, techniques, methods and tools for the design, analysis and maintenance of such software-intensive systems. The nature of these systems, however, has changed considerably in the last few years. Firstly, the availability of more computational resources, including parallel computation and interactive behavior has enabled one to tackle ever more complex applications. Secondly, the need to consider interactions of software with physical components has led to the study of hybrid systems, adding even more complexity. Finally, the view that a software system is a static entity has given way to the view that software needs evolve, i.e., that changes in requirements or platforms can be accommodated easily.

Research themes

  • [MODELS] (poster) One way to tackle the increasing complexity of software intensive systems is to represent all knowledge about their structure and behaviour explicitly in the form of models. We design new techniques and build tools for comparing these models, checking their consistency, transforming them into one another, etc. The focus is on Multi-Paradigm (multi-formalism and multi-abstraction) modelling.
  • [SEMANTICS] (poster) Of particular interest is the class of executable models describing the behaviour of systems or system components. This is the realm of programming language semantics in the traditional sense, but also of formalisms such as petri nets or statecharts. We contribute to the development of these models and their semantics, with the aim of a providing better understanding of recent developments in programming languages, such as new modularity concepts (e.g. aspects), variability or product lines.
  • [EVOLUTION] (poster) Unlike traditional engineering products (e.g., cars and bridges), software systems should be seen as continuously evolving artefacts. Current techniques in language semantics do not yet adequately support such notion of evolution. We investigate how models may provide a firm basis for software systems that are both maintainable and evolvable.
  • [RESOURCES] The availability of more but smaller computational devices and the interaction with (physically) external system components has led to the study of hybrid systems. These systems typically consist of distributed components with limited resources; hence computation should be scheduled carefully. We study how models (and simulations thereof) can be used for the efficient management of resources such as memory, time and energy.
These three research themes (models, languages and evolution) are not investigated in isolation. Rather we envision them as mutually reinforcing themes so that the whole becomes more than the sum of the parts.
 

History

ANSYMO was founded in 2010 as a merger of three former research groups: Formal Techniques in Software Engineering (FOTS); the Lab On REengineering (LORE) and The Modelling, Simulation and Design lab (MSDL). The former two were established research groups at the University of Antwerp (headed by Prof. Dirk Janssens and Prof. Serge Demeyer respectively). With the arrival of Prof. Hans Vangheluwe (from McGill University, Canada) these research groups joined forces. 

(1) AnSyMo is an acronym for Antwerp Systems and software Modelling