Browsing by Author "Silva, Nuno"
Now showing 1 - 3 of 3
Results Per Page
Sort Options
- Model-driven generation of multi-user and multi-domain choreographies for staging in multiple virtual world platformsPublication . Silva, Emanuel; Silva, Nuno; Morgado, LeonelThis paper presents an approach that enables the staging of choreographies for education and training purposes in multiple virtual world platforms. Choreography is the description of a set of actions that must or may be executed by a group of participants, including the goals to be achieved and any restrictions that may exist. For capturing and representing multi-actor multi-domain choreographies an approach based on ontologies with distinct levels of abstraction is adopted. Further, this paper proposes a modelling driven approach and a set of processes that, through mappings between ontologies, enable the automatic construction of a platform-specific choreography from a platform-independent one, thus reducing the time and effort of the choreography development. For this, the MDA paradigm was adopted and adapted in a way where models can reflect two dimensions of independence: platform independence and application domain independence. We also point the guidelines for staging the choreography in a virtual world platform.
- On embedding countable sets of endomorphismsPublication . Araújo, João; Mitchell, James D.; Silva, NunoSierpi´nski proved that every countable set of mappings on an infinite set X is contained in a 2-generated subsemigroup of the semigroup of all mappings on X. In this paper we prove that every countable set of endomorphisms of an algebra A which has an infinite basis (independent generating set) is contained in a 2-generated subsemigroup of the semigroup of all endomorphisms of A.
- Staging choreographies for team training in multiple virtual worlds based on ontologies and alignmentsPublication . Silva, Emanuel; Silva, Nuno; Morgado, LeonelIn this paper we present an approach that makes possible the staging of choreographies for education and training purposes in potentially any virtual world platform. A choreography is seen here as the description of a set of actions that must or may be executed by a group of participants, including the goals to be achieved and any restrictions that may exist. We present a system architecture and the formalization of a set of processes that are able to transform a choreography from a platform-independent representation into a specific virtual world platform’s representation. We adopt an ontology-based approach with distinct levels of abstraction for capturing and representing multi-actors and multi-domain choreographies to be staged in virtual world platforms with distinct characteristics. Ontologies are characterized according to two complementary dimensions – choreography’s domain (independent and dependent) and virtual world platform (independent and dependent) – giving rise to four ontologies. Ontology mappings between these ontologies enable the automatic generation of a choreography for virtually any target virtual world platform, thus reducing the time and effort of the choreography development.