Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Guaranteeing Weak Termination in Service Discovery

Wolf K., Weinberg D., Ott J., Danitz R., Stahl C.

Fundamenta Informaticae

2011

Vol. 108, nr 1/2

151-180

A big issue in the paradigmof Service Oriented Architectures (SOA) is service discovery. Organizations publish their services via the Internet. These published services can then be automatically found and accessed by other services, meaning, the services are composed. A fundamental property of a service composition is weak termination, which guarantees the absence of deadlocks and livelocks. In principle, weak termination can be verified by inspecting the state space of the composition of (public views of) the involved services. We propose a methodology to build that state space from precomputed fragments, which are computed upon publishing a service. That way, we shift computation effort from the resource critical “find” phase to the less critical “publish” phase. Interestingly, our setting enables state space reduction methods that are intrinsically different from traditional state space reductions. We further show the positive impact of our approach to the computational effort of service discovery.

Networked Multimedia with Internet Media Guides

Ott J., Kutscher D., Greifenberg J., Loos K.

Computational Methods in Science and Technology

2005

Vol. 11, nr 2

129-139

Internet Media Guides (IMGs) are a generalisation of Electronic Programme Guides (EPGs) as known from digital video broadcasting (DVB). They are independent of specific metadata formats and thus are able to support a broad range of applications, including EPG distribution for TV networks and distribution of session descriptions for Internet-based multimedia sessions. Unlike most existing approaches, the IMG framework is also completely independent of specific delivery networks for the media content described in media guides—and it is also independent of the distribution mechanisms for the media guides themselves: IMGs can be distributed in unidirectional broadcast networks, they can also retrieved over established query/response protocols such as HTTP, and they allow for asynchronous change-notifications to interested subscribers. This paper presents the fundamental concepts of the IMG framework and introduces the main components. We further describe implementation and application experiences and discuss potential enhancements to the existing IMG specifications.