A methodology to derive a valid scenario of an interactive storytelling

Abstract

In previous works [3,4], we showed how to use Linear Logic to model an Interactive Storytelling (IS). Proceeding from the achieved results, this paper introduces a methodology for authors to derive a valid scenario of an IS. In the paper, we will explain the implementation of the methodology via a detailed presentation of the steps in the process of IS modeling and illustrate those with a concrete example.