Ghidini, Chiara; Rospocher, Marco; Serafini, Luciano; … - In: I-SEMANTICS '08 : International Conference on Semantic …, (pp. 134-141). 2008
Formal modelling is a challenging and expensive task, especially for people not familiar with design techniques and formal languages. In this paper we present the modelling experience within the APOSDLE EU-project, and we describe the methodology we have developed to support an integrated...