A Model of Service-Oriented Architectures

Malkis, Alexander; Marmsoler, Diego

doi:10.1109/sbcars.2015.22

Cited by 13 publications

(5 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Differently, our type-based approach aims at abstracting from the implementation and provides more general support for component substitution and reuse. Similar to our work, the model of service based architectures (SOA's) [13] exposes components that exchange services between each other via ports. However, the authors do not present the type language, where some ideas we presented for extracting a type of a component could be used for the model they present.…”

Section: Discussionmentioning

confidence: 99%

A type language for message passing component-based systems

Savanović

Galletta

Vieira

2020

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Component-based development is challenging in a distributed setting, for starters considering programming a task may involve the assembly of loosely-coupled remote components. In order for the task to be fulfilled, the supporting interaction among components should follow a well-defined protocol. In this paper we address a model for message passing component-based systems where components are assembled together with the protocol itself. Components can therefore be independent from the protocol, and reactive to messages in a flexible way. Our contribution is at the level of the type language that allows to capture component behaviour so as to check its compatibility with a protocol. We show the correspondence of component and type behaviours, which entails a progress property for components.

show abstract

Section: Discussionmentioning

confidence: 99%

A type language for message passing component-based systems

Savanović

Galletta

Vieira

2020

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

show abstract

“…They argue that diagrams are not sufficient to impose only one meaning to represent an architecture, and that they can lead to misunderstanding. Malkis and Marmsoler in [27,28] work on a formalization of architecture styles. They use the theory of sets and first order logic to build a model with ports and services to represent interactions among components.…”

Section: Using the Category Theory To Study Conservation Of Propertiesmentioning

confidence: 99%

Lambda+, the Renewal of the Lambda Architecture: Category Theory to the Rescue

Gillet

Leclercq

Cullot

2021

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Designing software architectures for Big Data is a complex task that has to take into consideration multiple parameters, such as the expected functionalities, the properties that are untradeable, or the suitable technologies. Patterns are abstractions that guide the design of architectures to reach the requirements. One of the famous patterns is the Lambda Architecture, which proposes real-time computations with correctness and fault-tolerance guarantees. But the Lambda has also been highly criticized, mostly because of its complexity and because the realtime and correctness properties are each effective in a different layer but not in the overall architecture. Furthermore, its use cases are limited, whereas Big Data need an adaptive and flexible environment to fully reveal the value of data. Nevertheless, it proposes some interesting mechanisms. We present a renewal of the Lambda Architecture: the Lambda+ Architecture, supporting both exploratory and real-time analyzes on data. We propose to study the conservation of properties in composition of components in an architecture using the category theory. We relate a real implementation of our approach to architecture a social network observatory platform.

show abstract

“…Malkis et Marmsoler [MM15,MME15] ont travaillé sur la formalisation des styles d'architectures. Ils se sont appuyés sur la théorie des ensembles et la logique du premier ordre pour construire un modèle avec des ports et des services, utilisés pour représenter les interactions entre les composants.…”

Section: Abowd Et Al [Aag95]unclassified

Évolution et formalisation de la Lambda Architecture pour des analyses à hautes performances - Application aux données de Twitter

Gillet¹,

Leclercq²,

Cullot³

2021

ROISI

View full text Add to dashboard Cite

Extraire de la valeur des données des réseaux sociaux est une tâche complexe induite par leur vélocité, volume et variabilité. Les utilisateurs s'approprient le dispositif et développent des usages multiples, ce qui renforce la variabilité sémantique. Les résultats des analyses doivent être produits au plus tôt (de manière optimale en temps réel) pour en renforcer la pertinence. Pour y parvenir, des connaissances métiers sont essentielles et elle sont généralement acquises lors d'analyses exploratoires. En conséquence, les plateformes de collecte, stockage et analyse des données des réseaux sociaux doivent supporter des flux de données importants, des analyses en temps réel et des analyses exploratoires. Des styles et des patrons d'architecture permettent de prendre en compte ces spécificités, afin de proposer des techniques de prise en charge de ces données, et ainsi de faciliter leur traitement. Ces architectures ont besoin d'être formalisées, pour étudier de quelle manière les propriétés essentielles sont respectées, connaître leur comportement, et anticiper les effets que peuvent avoir les composants lorsqu'ils sont regroupés au sein d'une même architecture, et ce avant même de les développer puis de les mettre en production. Dans cet article, nous proposons un patron d'architecture, la Lambda+ Architecture, inspiré de la Lambda Architecture et adapté au traitement des données massives. Nous proposons également un cadre formel pour la spécification d'architectures se basant sur la théorie des catégories, ainsi qu'une implémentation de notre patron pour analyser les données issues de Twitter. ABSTRACT. Extracting value from social network data is a task whose complexity is driven by speed, volume and variability of data. Users develop multiple uses of these systems, that enhance the semantic variability. Analytics results must be produce as soon as possible (optimally in real-time) to be more relevant. Thus, business knowledge is essential and can usually be acquired by doing exploratory analysis. Accordingly, systems that harvest, store and analyze data from social networks have to support important streams of data, real-time analysis and exploratory analysis. Architecture styles and pattern allow to take these specificities into consideration, by proposing techniques to handle those data, and thus to facilitate their processing. These architectures have to be formalized, to study if essential properties are fulfilled, to know their behaviour, and to anticipate the effects that components can have on other components when they are gathered into a same architecture, and this even before developing and putting in production the architecture. In this article, we propose an architecture pattern, the Lambda+ Architecture, inspired from the Lambda Architecture and adapted to the processing of Big Data. We propose a formalization for architectures based on category theory, and an implementation of our pattern to analyze Twitter data. MOTS-CLÉS. Patron d'architecture, Théorie des catégories, Lambda Architecture KEYWO...

show abstract

A Model of Service-Oriented Architectures

Cited by 13 publications

References 18 publications

A type language for message passing component-based systems

A type language for message passing component-based systems

Lambda+, the Renewal of the Lambda Architecture: Category Theory to the Rescue

Évolution et formalisation de la Lambda Architecture pour des analyses à hautes performances - Application aux données de Twitter

Contact Info

Product

Resources

About