Percorrer por autor "Silva, Nuno"
A mostrar 1 - 2 de 2
Resultados por página
Opções de ordenação
- 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.
