Type Checking Stream Flow Endpoints

Eliassen, Frank; Mehus, S.

doi:10.1007/978-1-4471-1283-9_19

Cited by 7 publications

(4 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As already anticipated, the role of the loop at lines [12][13][14][15][16][17] Now, since ∃p ∈ OS(∀a ∈ A(∃b ∈ B : P (p, a, b))) =⇒ ∃p ∈ OS( a ∈ A( b ∈ B :…”

Section: Minimality Of Discovered Setsmentioning

confidence: 99%

“…Generally speaking, the notion of matching dened in the present thesis diers from most QoSaware matching approaches since it compares types rather than actual values of extra-functional features (like QoS). A type-based denition of matching is dened in [13] to type check stream ows for interactive distributed multimedia applications. While the context of [13] is dierent from ours, two of the matching conditions considered in [13] resemble our notions of exact and plug-in matching, even if for simpler service abstractions.…”

Section: Related Workmentioning

confidence: 99%

“…First, we need to implement the required CalculatorCapabilityType (Listing A.1) and ExtendedCalculatorCapabilityType (Listing A.2 BoundaryDenitions, 13 CapabilityType, 17 Denitions, 9 NodeType, 14 Plans, 14 PolicyTemplate, 20 PolicyType, 19 RelationshipType, 16 RequirementType, 17 ServiceTemplate, 11 TopologyTemplate, 14 use cases, 7…”

Section: Implementation Of Basic Featuresmentioning

confidence: 99%

See 2 more Smart Citations

Matching Cloud Services with TOSCA

Brogi

Soldani

2013

Communications in Computer and Information Science

View full text Add to dashboard Cite

To those who made this possible, both who can be here and understand and who cannot. AbstractThe OASIS TOSCA specication aims at enhancing the portability of cloud-based applications by dening a language to describe and manage service orchestrations across heterogeneous clouds. A service template is dened as an orchestration of typed nodes, which can be instantiated by matching other service templates. In this thesis, after dening the notion of exact matching between TOSCA service templates and node types, we dene three other types of matching (plug-in, exible and white-box ), each permitting to ignore larger sets of non-relevant syntactic dierences when type-checking service templates with respect to node types. We also describe how service templates that plug-in, exibly or whitebox match node types can be suitably adapted so as to exactly match them.i

show abstract

“…As already anticipated, the role of the loop at lines [12][13][14][15][16][17] Now, since ∃p ∈ OS(∀a ∈ A(∃b ∈ B : P (p, a, b))) =⇒ ∃p ∈ OS( a ∈ A( b ∈ B :…”

Section: Minimality Of Discovered Setsmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Implementation Of Basic Featuresmentioning

confidence: 99%

See 1 more Smart Citation

Matching Cloud Services with TOSCA

Brogi

Soldani

2013

Communications in Computer and Information Science

View full text Add to dashboard Cite

show abstract

“…The role type specification of the binding type is based on the stream interface model introduced in [1]. The Flow Interface Description Language (FIDL) which was developed to specify stream interfaces, and to reason about about the compatibility of interfaces at bind time, is used to describe role types.…”

Section: Stream Interfacesmentioning

confidence: 99%

Towards support for ad-hoc multimedia bindings

Rafaelsen

Eliassen

2001

Proceedings of the 2001 International Workshop on Multimedia Middleware

View full text Add to dashboard Cite

Multimedia applications of tomorrow face new challenges. As we move towards ubiquitous computing systems, users will require that the multimedia applications adopt to behave well in this new setting. This will require that developers of such applications are equipped with new development tools and abstractions to help construct these new applications. In this paper we investigate techniques to better support dynamical construction of multimedia bindings. Two alternatives are considered. The first lets the application choose the bindings it requires at run-time, from a pool of existing bindings. The second approach aims at helping the application dynamically construct the required binding. An evaluation of each of the approaches is given.

show abstract

Design and Performance of a Media Gateway Trader

Rafaelsen

Eliassen

2002

On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE

View full text Add to dashboard Cite

Type Checking Stream Flow Endpoints

Cited by 7 publications

References 1 publication

Matching Cloud Services with TOSCA

Matching Cloud Services with TOSCA

Towards support for ad-hoc multimedia bindings

Design and Performance of a Media Gateway Trader

Contact Info

Product

Resources

About