This paper presents a purely declarative approach to artifactcentric case management systems. Each case is presented as a tree-like structure; nodes bear information that combines data and computations. Each node belongs to a given stakeholder, and semantic rules govern the evolution of the tree structure, as well as how data values derive from information stemming from the context of the node. Stakeholders communicate through asynchronous message passing without shared memory, enabling convenient distribution.
This paper presents a purely declarative approach to artifactcentric collaborative systems, a model which we introduce in two stages. First, we assume that the workspace of a user is given by a mindmap, shortened to a map, which is a tree used to visualize and organize tasks in which he or she is involved, with the information used for the resolution of these tasks. We introduce a model of guarded attribute grammar, or GAG, to help the automation of updating such a map. A GAG consists of an underlying grammar, that specifies the logical structure of the map, with semantic rules which are used both to govern the evolution of the tree structure (how an open node may be refined to a subtree) and to compute the value of some of its attributes (which derives from contextual information). The map enriched with this extra information is termed an active workspace. Second, we define collaborative systems by making the various user's active workspaces communicate with each other. The communication uses message passing without shared memory thus enabling convenient distribution on an asynchronous architecture. We present some formal properties of the model of guarded attribute grammars, then a language for their specification and we illustrate the approach on a case study for a disease surveillance system.
The most recent service composition approaches rely on the mechanism, which involves scalable and decentralized execution of services. Although some formal tools have been used to this effect, they are influenced by the standard of web service orchestration and choreography based mainly on workflow languages or notation. In this paper, we describe the formal semantics of a novel service composition language through which the services are declaratively composed and executed following a peer-to-peer paradigm. The proposed language named GSLang is inspired by the GAG (Guarded Attribute Grammars) model that has been defined for the modeling collaborative systems. Picalculus is used to define the basic elements of the language and its operational semantics. Then its properties are highlighted through a case study.
International audience Cet article s’intéresse à la spécification des architectures logicielles. Il présente une symbiose entre l’approche conceptuelle basée sur les profils UML et la vision opérationnelle prônée par ArchJava. Actuellement, chaque langage de description se situe à une extrémité du processus, engendrant ainsi un découplage entre la spécification des Architectures Logicielles et leur implémentation et un risque d’incohérence. Nous décrivons une démarche basée sur un profil UML pour la description structurale des architectures logicielles et des règles de transformation pour générer le code source. Les expérimentations actuelles sont probantes et nous espérons poursuivre la réflexion sur les configurations et l’aspect dynamique. This study concerns the specification of software architecture. Its presents a symbiosis between the conceptual approach based on UML profiles and the programming approach recommended by ArchJava. Currently, each ADL addresses separately the specification and the validation, thus we notice a decoupling between the two descriptions and a risk of inconsistency. We describe a step based on a UML profiles for the structural description of software architectures and the transformation rules to generate the source code. The current experiments are convincing and we hope ourselves to continue the reflexion on the configurations and the dynamic aspect.
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.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.