Partial Behavioural Models for Requirements and Early Design

In this paper, we first motivate and summarize our recent work on creation, management, and specifically merging of partial behavioural models, expressed as model transition systems. We then address two issues coming out of MMOSS discussions: alphabet embedding as an alternative to common observational refinement and minimum refinement steps. We show that the former is not possible, and discuss informally how to define the latter.

• Type: Conference
• Year: 2006
• Where: DAGSTUHL
• Authors: Marsha Chechik, Greg Brunet, Dario Fischbein, Sebastián Uchitel
• Keywords: Common Observational Refinement, DAGSTUHL 2006, DAGSTUHL 2007, Minimum Refinement Steps, Partial Behavioural Models