A Methodology to Derive a Valid Scenario of an Interactive Storytelling

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. Categories and Subject Descriptor