Model-checking for adventure videogames

Moreno-Ger, Pablo; Fuentes-Fernández, Rubén; Sierra, José-Luis; Fernández‐Manjón, Baltasar

doi:10.1016/j.infsof.2008.08.003

Cited by 22 publications

(12 citation statements)

References 54 publications

(71 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Thus, the verification has been able to automatically find the contradiction and to point out the conflicting properties. Details on the analysis process can be found in [17].…”

Section: Case Study: Nasa Shuttlementioning

confidence: 99%

See 1 more Smart Citation

Modelling Group Constructions for Social Analysis

Xavier

Fuentes-Fernández

2016

Annals of Computer Science and Information Systems

Self Cite

View full text Add to dashboard Cite

Abstract-Agent-based modelling is becoming widely used for studies in Social Sciences. However, its application faces limitations coming from its bias to software development, which precludes a more active involvement of social researchers. In order to deal with this problem, this work proposes using domainspecific modelling languages based on the socio-psychological Activity Theory. These languages apply agent research to crystallize that theoretical framework in a formal definition suitable for automated processing but close to Social Sciences. The paper focuses on the language for the specification of group constructions such as organizations, norms and shared knowledge. A case study about contradictory decisions in the space shuttle program illustrates the discussion.

show abstract

“…Thus, the verification has been able to automatically find the contradiction and to point out the conflicting properties. Details on the analysis process can be found in [17].…”

Section: Case Study: Nasa Shuttlementioning

confidence: 99%

“…These transformations generate code, for instance, for checking contradictions as [14] and simulation as [12]. This kind of approach has already been successfully tested in other domains [17].…”

Section: Introductionmentioning

confidence: 99%

Modelling Group Constructions for Social Analysis

Xavier

Fuentes-Fernández

2016

Annals of Computer Science and Information Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…For some languages it will be possible to reuse pre-existing model checkers. For instance, in the context of the language-oriented development of educational adventure videogames described by Moreno-Ger et al (2007), we have used the NuSMV model checker (Cimatti et al, 2000), which makes use of an efficient technique called symbolic model checking (Burch et al, 1992) to deal with huge state spaces (the results are reported by Moreno-Ger et al, 2009). Other works that use a similar approach are reported by and .…”

Section: Article In Pressmentioning

confidence: 99%

Language engineering techniques for the development of e-learning applications

Martínez‐Ortiz

Sierra

Fernández‐Manjón

et al. 2009

Journal of Network and Computer Applications

Self Cite

View full text Add to dashboard Cite

“…Among the multimedia systems, games constitute the most complex system to construct. The reason is that they incorporate all the multimedia characteristics, as well as, other aspects, such as: defining the character's behavior and describing the interactions (among game characters or between them and the environment) (Masuch and Rueger, 2005;Capra et al, 2005;Moreno-Ger et al, 2009).…”

Section: Introductionmentioning

confidence: 99%

Agent Oriented Software Engineering for Multimedia Systems’ Development - An Experimental Case Study

Gómez-Rodríguez¹,

Moreno²,

Ramos-Varcarcel³

et al. 2012

Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering

View full text Add to dashboard Cite

Multimedia systems, and in particular games, have special characteristics that make the process of obtaining system requirements very difficult. In most cases, an important work of codification is needed in order to obtain a prototype that can be analyzed by the customer and make requirements elicitation easier. This paper proposes a way of facilitating the process and obtaining a prototype in a short development time. Our proposal is based in the combined use of a well-known methodology for the construction of Multimedia Systems and Alice, and follows an Agent Oriented Software Engineering approach. The work introduces the process proposed as well as a tool that provides support for such process. Besides, a case study shows the application of the process and the tool to a simple example. From this example, the suitability of Agent Oriented Software Engineering approach and the proposed process for game prototype development is concluded.

show abstract

Model-checking for adventure videogames

Cited by 22 publications

References 54 publications

Modelling Group Constructions for Social Analysis

Modelling Group Constructions for Social Analysis

Language engineering techniques for the development of e-learning applications

Agent Oriented Software Engineering for Multimedia Systems’ Development - An Experimental Case Study

Contact Info

Product

Resources

About