Filters








146,347 Hits in 5.7 sec

Guess Who's Coming: Runtime Inclusion of Participants in Choreographies [chapter]

Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2019 Lecture Notes in Computer Science  
In Choreographic Programming, a choreography species in a single artefact the expected behaviour of all the participants in a distributed system.  ...  The choreography is used to synthesise correct-byconstruction programs for each participant. In previous work, we dened Dynamic Choreographies to support the update of distributed systems at runtime.  ...  (provided by the on block) which can be used to specify when and whether a rule applies to a given scope.  ... 
doi:10.1007/978-3-030-31175-9_8 fatcat:dpc3qxe7hjg25crzzvowhx3pn4

Locality based Linda: Programming with explicit localities [chapter]

Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
1997 Lecture Notes in Computer Science  
We consider multiple tuple spaces that are distributed over a collections of sites and use localities to distribute/retrieve tuples and processes over/from these sites.  ...  The operational semantics of the language turns out to be useful for discussing the language design, e.g. the effects of scoping disciplines over mobile agents which maintain their connections to the located  ...  In our approach, localities are not used as a tool for observing distribution of processes but rather as a programming device to structure and control distribution of processes and data.  ... 
doi:10.1007/bfb0030636 fatcat:agdql24fijb63nv2gayh2keqha

Loosely-Coupled and Event-Messaged Interactions with Reaction RuleML 1.0 in Rule Responder

Zhili Zhao, Kia Teymourian, Adrian Paschke, Harold Boley, Tara Athan
2012 International Web Rule Symposium  
Reaction RuleML is one of the two major subfamilies of RuleML and acts as an interchange format for reactive rules and rulebased event-processing languages.  ...  interaction using rule signatures and decoupled communication via event messages.  ...  Scopes are e.g. useful to implement and distinguish different (behavioral) roles of a rule-based agent as scoped rule modules in the agent's knowledge base.  ... 
dblp:conf/ruleml/ZhaoTPBA12 fatcat:ovnlnmyjwrcqdmvlyfeuk5dira

DETECTING AND RESOLVING AMBIGUITY APPROACH IN REQUIREMENT SPECIFICATION: IMPLEMENTATION, RESULTS AND EVALUATION

Somaia osama, Mostafa Aref
2018 International Journal of Intelligent Computing and Information Sciences  
The tool focuses on Lexical, Referential, Coordination, Scope and Vague ambiguity.We determine on the results of a collection of requirement specification documents to evaluatethe performance and utility  ...  Sentences thatincludeambiguity are thenresolved automatically also by resolving algorithm based on a set of rules that we collected from training data.  ...  The resolving ambiguity approach uses the following common rules to check if a sentence contains an ambiguity: Rule 1: when sentence containing not only, but also, as well as, both, but, and, and also,  ... 
doi:10.21608/ijicis.2018.15909 fatcat:yo3o6fwcqzapzhk6dqfizlkj6u

The Spacetub Models and Framework [chapter]

Robert Tolksdorf, Gregor Rojec-Goldmann
2002 Lecture Notes in Computer Science  
Our specific interest is on coordination languages suited for open distributed systems. Table 1 shows the set of languages selected for this study.  ...  # $ % is a framework to model a variety of coordination languages from the & ( ') 0 family and a testbed for experimentation with them.  ...  We use an object-oriented approach for the study and the UML ( [3] ) as the modeling language. A coordination language can be modeled as a class with the primitives as methods of the class.  ... 
doi:10.1007/3-540-46000-4_32 fatcat:h7ctrjrrfjfwvhkxd7vryttip4

Dynamic Choreographies [chapter]

Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2015 Lecture Notes in Computer Science  
Such a feature, tricky in a sequential setting and even more in a distributed one, has countless uses: deal with emergency requirements, cope with rules and requirements which depend on contextual properties  ...  We present DIOC, a language for programming distributed applications that are free from deadlocks and races by construction.  ...  The semantics of DPOC systems is defined as the smallest LTS closed under the rules in Rule Rule [Lead-Up] concerns the role r coordinating the update of a scope. Role r decides which update to use.  ... 
doi:10.1007/978-3-319-19282-6_5 fatcat:bo3gce77wbcs7eab55hqiqbpxi

Towards Distributed BPEL Orchestrations

Luciano Baresi, Andrea Maurino, Stefano Modafferi
2007 Electronic Communications of the EASST  
To this end, the paper introduces the idea of distributed orchestrations and presents a proposal to couple BPEL and distributed execution in mobile settings.  ...  The approach —exemplified on a simple case study— transforms a centralized BPEL process into a set of coordinated processes.  ...  The third approach does not consider the language for distribution rules (Event-based, workflow Process Management).  ... 
doi:10.14279/tuj.eceasst.3.7 dblp:journals/eceasst/BaresiMM06 fatcat:g2xvst6auvbvregrv4y3p54kju

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications [article]

Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, and Maurizio Gabbrielli
2014 arXiv   pre-print
Applications are programmed using AIOC, a choreographic language suited for expressing patterns of interaction from a global point of view.  ...  We present AIOCJ, a framework for programming distributed adaptive applications.  ...  Each rule is applicable to a unique scope i, and no rule is applicable to scopes with i > 50. The rules are stored in random order. Context 5: as Context 4, but with 100 rules, one for each scope.  ... 
arXiv:1407.0975v3 fatcat:olnzoa35mzb3xi3mqtqhstcy4i

Developing correct, distributed, adaptive software

Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2015 Science of Computer Programming  
The cornerstone of our framework is the use of choreography languages, which allow us to obtain correctness by construction.  ...  Workflow Patterns are also used as abstract tools to design real systems, while techniques based on abstract interpretation and on dynamic verification are integrated in our framework to reduce the complexity  ...  Also the integration of choreography languages with abstract interpretation and dynamic techniques is particularly important for addressing real systems, as it allows us to reduce the complexity in verification  ... 
doi:10.1016/j.scico.2013.11.019 fatcat:ji2yz7pp2reivlbxpriuclezaq

CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources

Mayleen Lacouture, Hervé Grall, Thomas Ledoux
2010 Electronic Proceedings in Theoretical Computer Science  
The diversity of CRUD languages due to the absence of a standard leads to composition problems related to adaptation, integration and coordination of services.  ...  To overcome these problems, we propose a pivot architecture built around a universal language to manipulate resources, called CREOLE, a CRUD Language for Resource Edition.  ...  Acknowledgments We are grateful to the anonymous reviewers of FOCLASA 2010 for their useful suggestions to improve this paper.  ... 
doi:10.4204/eptcs.30.2 fatcat:w4satnoqlbccxnydi62c6hpfhq

RULE RESPONDER: RULE-BASED AGENTS FOR THE SEMANTIC-PRAGMATIC WEB

ADRIAN PASCHKE, HAROLD BOLEY
2011 International journal on artificial intelligence tools  
Rule Responder is a Pragmatic Web infrastructure for distributed rule-based event processing multi-agent eco-systems.  ...  distributed system/agent topologies with their negotiation/coordination mechanisms.  ...  Example -Responsibility Assignment Matrix Ontology for Agent Coordination As one possible way for coordination in a virtual organization the Rule Responder framework uses a 'pluggable' Responsibility Assignment  ... 
doi:10.1142/s0218213011000528 fatcat:wnthyssi2jgnnhqdi5gbibok2m

Securing a Space-Based Service Architecture with Coordination-Driven Access Control

Stefan Craß, Tobias Dönz, Gerson Joskowicz, eva Kühn, Alexander Marek
2013 Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications  
The feasibility of the approach is demonstrated by a use case based on a management system for distributed firewalls.  ...  Our spacebased policy language adopts the middleware's own coordination mechanisms for the specification of simple yet expressive access control policies, thus combining coordination logic and security  ...  The middleware's own query language is used to express fine-grained access control rules that target the used service request, the properties of accessed data entries, as well as the context of the user  ... 
doi:10.22667/jowua.2013.03.31.076 dblp:journals/jowua/CrassDJKM13 fatcat:or4esqdvwvdbjl5nvohajkaqna

KLAIM: a kernel language for agents interaction and mobility

R. De Nicola, G.L. Ferrari, R. Pugliese
1998 IEEE Transactions on Software Engineering  
We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, like data, can be moved from  ...  Localities are first-class data (they can be manipulated like any other data), but the language provides coordination mechanisms to control the interaction protocols among located processes.  ...  ACKNOWLEDGMENTS We are grateful to Luca Cardelli and Betti Venneri for stimulating discussions about global programming and type systems, and to the anonymous referees, whose useful comments helped us  ... 
doi:10.1109/32.685256 fatcat:eifgbgoocjbtrkmn5ybk2myiy4

Dynamic Choreographies: Theory And Implementation [article]

Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2016 arXiv   pre-print
We present a choreographic approach for programming updatable, distributed applications.  ...  We define a choreography language, called Dynamic Interaction-Oriented Choreography (AIOC), that allows the programmer to specify, from a global viewpoint, which parts of the application can be updated  ...  bit more complex, since they need to coordinate a distributed computation.  ... 
arXiv:1611.09067v2 fatcat:6xi7hripgne43knpt7eiiqgdqe

On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study

Ronaldo Menezes, Andrea Omicini, Mirko Viroli
2004 Electronical Notes in Theoretical Computer Science  
Finally, the limitations of the traditional approach to the formal characterisation of coordination (coordination as a language) are pointed out, and addressed through a different approach (coordination  ...  LogOp is a coordination model extending Linda by allowing a single coordination operation to dynamically address a multiplicity of possibly distributed tuple spaces.  ...  Also, we showed that two different semantic frameworks (coordination as a language and coordination as a service) can be used to provide a formal characterisation for coordination models, and we used LogOp  ... 
doi:10.1016/j.entcs.2004.04.033 fatcat:pasjzmzhcvdybc5vl5qhifrbhm
« Previous Showing results 1 — 15 out of 146,347 results