Partial Behavioural Models for Requirements and Early Design

2007/01/01 by Marsha Chećhik, Greg Brunet, Chechik, Marsha +5
Computer Science · #Advanced Software Engineering Methodologies #Model-Driven Software Engineering Techniques #Requirements behavioural models #Software Engineering Research

paper · doi:10.4230/dagsemproc.06351.9

openalex publication_date 2007/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

The talk will discuss the problem of creation, management, and specifically merging of partial behavioural models, expressed as model transition systems. We argue why this formalism is essential in the early stages of the software cycle and then discuss why and how to merge information coming from different sources using this formalism. The talk is based on papers presented in FSE'04 and FME'06 and will also include emerging results on synthesizing partial behavioural models from temporal properties and scenarios.

Related

• A Road-Map for Transferring Software Engineering methods for Model-Based Early V&V of Behaviour to Systems Engineering
• A Journey through the Secret Life of Models
• Position Statement: Models in Software and Systems Development
• A short introduction to process theory
• From model checking to a temporal proof for partial models: preliminary example