Buscar
Mostrando ítems 1-10 de 17
Artículo
Multi-Party Coordination in the Context of MOWS
(Springer, 2002)
Separation of concerns has been presented as a promising tool to tackle the design of complex systems in which cross-cutting properties that do not fit into the scope of a class must be satisfied. In this paper, we show ...
Ponencia
Applying XML technologies in Requirements Verification
(2002)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach is based on the representation of software requirements in XML and the usage of the XSLT language ...
Ponencia
An Enablement Detection Algorithm for Open Multiparty Interactions
(ACM Digital Library, 2002)
Coordination axnongst an arbitrary number of entities has become an important issue in recent years m fields such as e-- commerce, web-based applications and so on. Traditionally, classical client/server primitives have ...
Artículo
Vivacidad y justicia en entornos no deterministas
(Universidad Autónoma de Bucaramanga, 2002)
El problema de la vivacidad y la seleccion justa surge en el contexto de los sistemas con ejecuciones no deterministas. El concepto de seleccion completamente justa sirve para garantizar que todos los elementos que se ...
Ponencia
An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions
(Springer, 2002)
Multiparty interactions have been paid much attention in recent years because they provide the user with a useful mechanism for coordinating a number of entities that need to cooperate in order to achieve a common goal. ...
Tesis Doctoral
Una Aproximación Semicualitativa al Tratamiento Automático de Requisitos de Calidad. Aplicación a la obtención automática de acuerdos de nivel de servicio en MOWS
(2002-09-23)
De acuerdo con el tipo de técnicas empleadas, las propuestas que abordan el tratamiento sistemático de los requisitos de calidad pueden ser clasificadas en cuantitativas y cualitativas. Las primeras resultan muy adecuadas ...
Ponencia
Supporting Requirements Verification Using XSLT
(IEEE Computer Society, 2002)
In this paper we present a light-weight approach for the automatic verification of requirements. This approach is not based on natural language parsing techniques but on the representation of requirements in XML. In our ...
Ponencia
A Practical Agent-Based Method to Extract Semantic Information from the Web
(Springer, 2002)
The semantic Web will bring meaning to the Internet,mak - ing it possible for web agents to understand the information it contains. However,c urrent trends seem to suggest that it is not likely to be adopted in the ...
Ponencia
An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions
(Springer, 2002)
Strong fairness is a notion we can use to ensure that an element that is enabled infinitely often in a non–deterministic programme, will eventually be selected for execution so that it can progress. Unfortunately, “eventually” ...
Artículo
Interacción orientada a aspectos en entornos multiorganizacionales
(Universidad Autónoma de Bucaramanga, 2002)
Por desgracia, las propuestas actuales de separación de aspectos asumen que los objetos interactúan mediante invocación de métodos, lo que implica que tienen que embeber las interacciones dentro del código funcional. ...