Rigorous Methods in Software Engineering

RSE’s research interests promote the use of formal approaches for the production of correct and reliable software, the modeling and analysis of processes as well as Model-based Systems Engineering. The correct use of formal/rigorous methods complements today’s software development methods and thus promotes precise modeling of critical system components with the goal of achieving security, integrity and reliability.


Flash of inspiration

Business Process Management

Verena Geist improves tools for formal business descriptions. Faced with the trend towards digitalization in industry and the accompanying flexibility and automation of manufacturing processes, new challenges arise - also for the designers of business processes

Simplify the BPMN Specification

Ontology available

BPMN is a widespread standard for business process modeling. At the SCCH an ontology was developed that formalizes the BPMN specification. The ontology can also be used to check a concrete model. The SCCH provides the ontology free of charge for download.

Trying their hands at research

FFG Talents

Two high school students conducted research at Software Competence Center Hagenberg in the realm of the program “Talents: Internships for Students” funded by the Austrian Research Promotion Agency (FFG) and the Austrian Federal Ministry for Transportation, Innovation and Technology.

Formal Methods

For Safety-Critical Systems

In medicine, transportation (fully automated trains, aerospace) and in energy production (atomic power plants), software errors can have severe consequences.  The use of formal methods can help to prevent such bugs in advance. In our interview, Dr. Christine Natschläger explains why formal methods will rise in importance in the future and why they continue to play a marginal role.

ABZ 2016

Rigorous Methods’ Experts met in Linz

The 5th international conference on ABZ (ASM, Alloy, B, TLA, VDM, and Z) methods took place in Linz from May 23 to 27, 2016. The main focus of the conference was the cross-fertilization of six related state-based and machine-based rigorous methods: Abstract State Machines, Alloy, B, Temporal Logics of Actions, Vienna Development Method and Z. These methods share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. About 65 researchers from all over the world attended this conference.

New book

Hagenberg Business Process Modelling Method

This book presents a proposal for designing business process management (BPM) systems  that comprise much more than just process modelling. Based on a purified Business Process Model and Notation (BPMN) variant, the authors present proposals for several important issues in BPM that have not been adequately considered in the BPMN 2.0 standard. It focusses on modality as well as actor and user interaction modelling and offers an enhanced communication concept.

Systems Engineering

As driver for the smart factory

The wide-ranging discussion on Industry 4.0 (the smart factory) has made it ever clearer that the digitization and so the modeling of products along with their manufacture will be core components of future production. This requires the use of models for more and more aspects of product development and production. 30 participants followed the invitation of the SCCH to this experts workshop at the beginning of March.

For your Industrial Project

Evaluate the Suitability of a Formal Method

The quality of software and its development processes can be considerably enhanced by using formal engineering methods. Formal methods can be introduced gradually, in customisable ways, with less effort for a start than many will assume. There exist many different methods, each of which suitable for certain project types, settings, and quality goals. But how do you choose the right method for your company or project?

Simplify the BPMN Specification

With an ontology

The Business Process Model and Notation (BPMN) is quite extensive. Within the framework of the research project Vertical Model Integration (VMI) all syntactic rules have been collected in an ontology. 

Landing Gear System

New Case Study

Frederic Boniol and Virgine Wiels have worked out a case study for the ABZ 2014 conference as “a benchmark for techniques and tools dedicated to the verification of behavioral properties of systems”. The case study is titled “Landing gear system” and presents the requirements for the digital part of a landing gear system for aircraft.