scholarly journals A Calculus of Interfaces for Distributed Collaborative Systems: The Guarded Attribute Grammar Approach

2020 ◽  
Vol Volume 31 - 2019 - CARI 2018 ◽  
Author(s):  
Eric Badouel ◽  
Rodrigue Aimé Djeumen Djatcha
Keyword(s):  
Collaborative Systems ◽  
Attribute Grammars ◽  
Component Reuse ◽  
Attribute Grammar ◽  
Collaborative System ◽  
Interface Theory ◽  
Service Oriented ◽  
International Audience ◽  
Three Stages ◽  
User Centric

International audience We address the problem of component reuse in the context of service-oriented programming and more specifically for the design of user-centric distributed collaborative systems modelled by Guarded Attribute Grammars. Following the contract-based specification of components we devel-opp an approach to an interface theory for the components of a collaborative system in three stages: we define a composition of interfaces that specifies how the component behaves with respect to its environement, we introduce an implementation order on interfaces and finally a residual operation on interfaces characterizing the systems that, when composed with a given component, can complement it in order to realize a global specification. Nous abordons le problème de la réutilisation des composants dans le contexte de la programmation orientée services et plus spécifiquement pour la conception de systèmes collaboratifs distribués centrés sur l'utilisateur modélisés par des grammaires attribuées gardées. En suivant la démarche de la spécification contractuelle des composants, nous développons une approche de la théorie des interfaces pour les composants d'un système collaboratif en trois étapes: on définit une composition d'interfaces qui spécifie comment le composant se comporte par rapport à son environnement, on introduit un ordre d'implémentation sur les interfaces et enfin une opération de résidus sur les interfaces qui caractérise les systèmes qui, lorsqu'ils sont composés avec un composant donné, peuvent le compléter afin de réaliser une spécification du système global.

scholarly journals A Formal Approach to the Description and Manipulation of Structured Mathematical Objects

2005 ◽  
Vol Volume 3, Special Issue... ◽  
Author(s):  
Bernard Fotsing Talla ◽  
Georges-Edouard Kouamou
Keyword(s):  
Square Root ◽  
Two Dimensional ◽  
Attribute Grammars ◽  
Formal Approach ◽  
Mathematical Symbols ◽  
Nous Montrons ◽  
The Matrix ◽  
Mathematical Formulas ◽  
International Audience ◽  
Structured Objects

International audience We present in this paper a formal approach of description, posting and handling of the mathematical structured objects; based on the formalism of attribute grammars. We are interested particularly in the problem of two-dimensional and bidirectional posting of certain expressions and mathematical formulas. Indeed, in more of the two-dimensional character that presents certain mathematical symbols like the square root or the matrix, we also note the problem of posting rightto-left of an Arab text in a context planned for a posting left-to-right of an Indo-European text, or a bidirectional posting mixing the two modes. After a study of some solutions suggested in the literature, we show how the method of attribute grammars adapts easily to these types of problem. Nous présentons dans ce papier une approche formelle de description, d'affichage et de manipulation des objets structurés mathématiques ; basée sur le formalisme des grammaires attribuées. Nous nous intéressons particulièrement au problème d'affichage bidimensionnel et bidirectionnel de certaines expressions et formules mathématiques. En effet, en plus du caractère bidimensionnel que présentent certains symboles comme la racine carrée ou la matrice, on note le problème d'affichage de droite à gauche d'un texte arabe dans un contexte prévu pour un affichage de gauche à droite d'un texte indo-européen, ou encore un affichage bidirectionnel mélangeant les deux modes. Après une étude de quelques méthodes proposées dans la littérature, nous montrons comment la méthode des grammaires attribuées s'adapte facilement à ces types de problèmes.

scholarly journals K-Visit Attribute Grammars

1980 ◽  
Vol 9 (121) ◽  
Author(s):  
Hanne Riis ◽  
Sven Skyum
Keyword(s):  
Derivation Tree ◽  
Attribute Grammars ◽  
Attribute Grammar

<p>An attribute grammar G is k-visit if for any derivation tree t of G it is possible to evaluate all the attributes associated with t by walking through t in such a way that no node in t is visited more than k times.</p><p>We show in this paper that any well-defined attribute grammar G is k-visit for some k. Furthermore it is shown using a pumping argument, that given a well-defined grammar G and an integer k it is decidable whether G is k-visit. Thus we can effectively for any well-defined attribute grammar G find the minimal k such that G is k-visit. Finally we show that the k-visit attribute grammars specify a proper hierarchy with respect to translations.</p>

Linked Data

2011 ◽  
pp. 189-226 ◽  
Author(s):  
Carlos Granell ◽  
Sven Schade ◽  
Gobe Hobona
Keyword(s):  
Spatial Data ◽  
Linked Data ◽  
Best Practice ◽  
Third Generation ◽  
Data Infrastructure ◽  
Shared Information ◽  
Service Oriented ◽  
User Centric ◽  
The Moment ◽  
Implementing Strategies

A Spatial Data Infrastructure (SDI) is an information infrastructure for enhancing geospatial data sharing and access. At the moment, the service-oriented second generation of SDI is transitioning to a third generation, which is characterized by user-centric approaches. This new movement closes the gap between classical SDI and user contributed content, also known as Volunteered Geographic Information (VGI). Public use and acquisition of information provides additional challenges within and beyond the geospatial domain. Linked Data has been suggested recently as a possible overall solution. This notion refers to a best practice for exposing, sharing, and connecting resources in the (Semantic) Web. This chapter details the Linked Data approach to SDI and suggests it as a possibility to combine SDI with VGI. Thus, a Spatial Linked Data Infrastructure could apply solutions for Linked Data to classical SDI standards. The chapter highlights different implementing strategies, gives examples, and argues for benefits, while at the same time trying to outline possible fallbacks; hopeful this contribution will enlighten a way towards a single shared information space.

scholarly journals Facilitating culturally diverse groups with visual templates in collaborative systems

2017 ◽  
Vol 24 (1) ◽  
pp. 78-98 ◽  
Author(s):  
Sabrina Bresciani ◽  
Alice Comi
Keyword(s):  
Cultural Diversity ◽  
Culturally Diverse ◽  
Structuration Theory ◽  
Collaborative Systems ◽  
Adaptive Structuration Theory ◽  
Content Type ◽  
Face To Face ◽  
Positive Effects ◽  
Collaborative System ◽  
Diverse Groups

Purpose The use of visual templates has proven instrumental in supporting group meetings. The purpose of this paper is to explore whether visual templates enable culturally diverse groups to achieve greater task precision in face-to-face meetings. Design/methodology/approach Building on Adaptive Structuration Theory, it is argued that visual templates provide structuration for face-to-face meetings, even more so when they are embedded in computer-supported collaborative systems. In particular, it is hypothesized that the higher the degree of structuration imposed by visual templates, the higher the degree of task precision will be. It is also hypothesized that this relationship is positively moderated by group cultural diversity: higher cultural diversity will further sustain the positive effects of visual templates that provide higher structuration. Findings Results of an experiment with 229 managers from 49 countries confirm that facilitating groups with visual templates embedded in a computer-supported collaborative system significantly increases task precision at high levels of cultural diversity. Research limitations/implications This study contributes to Positive Organizational Scholarship (POS) by investigating the use of visual templates as a contingency factor that increases performance – specifically task precision – of co-located, culturally diverse groups. Practical implications Results indicate that visual templates embedded in a computer-supported collaborative system are an effective method for increasing task precision in face-to-face meetings of culturally diverse groups. Originality/value Theories from information systems and visualization are integrated into cross-cultural management with a view to sustaining the effectiveness of culturally diverse groups. The study sample is characterized by highly culturally diverse groups interacting in face-to-face meetings.

scholarly journals A systematic approach to the implementation of attribute grammars with conventional compiler construction tools

2012 ◽  
Vol 9 (3) ◽  
pp. 983-1017
Author(s):  
Daniel Rodríguez-Cerezo ◽  
Antonio Sarasa-Cabezuelo ◽  
José-Luis Sierra
Keyword(s):  
Systematic Approach ◽  
Point Of View ◽  
Data Driven ◽  
Attribute Grammars ◽  
Top Down ◽  
Attribute Grammar ◽  
Bottom Up ◽  
Compiler Construction ◽  
Evaluation Strategies ◽  
Parser Generation

This article describes structure-preserving coding patterns to code arbitrary non-circular attribute grammars as syntax-directed translation schemes for bottom-up and top-down parser generation tools. In these translation schemes, semantic actions are written in terms of a small repertory of primitive attribution operations. By providing alternative implementations for these attribution operations, it is possible to plug in different semantic evaluation strategies in a seamlessly way (e.g., a demand-driven strategy, or a data-driven one). The pattern makes possible the direct implementation of attribute grammar-based specifications with widely-used translation schemedriven tools for the development of both bottom-up (e.g. YACC, BISON, CUP) and top-down (e.g., JavaCC, ANTLR) language translators. As a consequence, initial translation schemes can be successively refined to yield final efficient implementations. Since these implementations still preserve the ability to be extended with new features described at the attribute grammar level, the advantages from the point of view of development and maintenance become apparent.

A Service Oriented Architecture for Coordination in Collaborative Environments

2011 ◽  
Vol 4 (1) ◽  
pp. 79-92
Author(s):  
Beatriz Jiménez Valverde ◽  
Miguel Sánchez Román ◽  
Francisco L. Gutiérrez Vela ◽  
Patricia Paderewski Rodríguez
Keyword(s):  
Service Oriented Architecture ◽  
Coordination Mechanisms ◽  
Collaborative Systems ◽  
Collaborative Environments ◽  
Dynamic Nature ◽  
Dynamic Coordination ◽  
Collaborative Environment ◽  
Service Oriented ◽  
Collaborative Activities ◽  
Services Oriented Architecture

An important feature in collaborative environment is coordination, defined as the act of managing interdependencies between activities performed to achieve a goal. These interdependencies can be the result of loosely integrated collaborative activities (the use of coordination processes within the collaboration activities is not required) or tightly integrated collaborative activities (sophisticated coordination mechanisms are necessary). The existence of both activities along with the dynamic nature of these environments adds a greater complexity to the coordination that has not been taken into account in traditional collaborative systems. In this work, the authors present a partially Services Oriented Architecture (SOA) that defines and maintains dynamic coordination polities in collaborative systems based on coordination models.

scholarly journals Une approche d'implémentation des dictionnaires de métadonnées pour la fédération de données géographiques multisource

2014 ◽  
Vol Volume 18, 2014 ◽  
Author(s):  
Landry Tongo ◽  
Georges-Edouard Kouamou ◽  
Gilbert Armand Tchudjo
Keyword(s):  
Spatial Data ◽  
Data Sources ◽  
Data Federation ◽  
Metadata Standards ◽  
Service Oriented ◽  
International Audience ◽  
Existing Data ◽  
Oriented Approach

International audience Spatial Metadata are used to describe the existing data sources in order to facilitate their access and sharing between different actors. The problem of exploitation of these metadata arises when they should be catalogued within the framework of a platform for spatial data federation. We describe a service oriented approach for structuring this component, with an implementation based on LDAP. To achieve this, we start from a canonical language that unifies the major known geographic metadata standards, and then we define new classes of LDAP objects which map syntactic units of canonical language.

Sign in / Sign up

Export Citation Format

Share Document