1,696 Hits in 2.9 sec

Choreographies for Reactive Programming [article]

Marco Carbone IT University of Copenhagen, IMT School for Advanced Studies Lucca)
2018 arXiv   pre-print
This allows us to consider reusability and substitution principles for both components and choreographies.  ...  Our language allows to separate component behaviour, given in terms of reactive data ports, and choreographies, specified as first class entities.  ...  Choreographic Programming [8] allows to program distributed systems directly as choreographies which define both the communications among components and the data that they carry.  ... 
arXiv:1801.08107v1 fatcat:czmnyutimzblzpez6vurogogpm

Where does the improvisation of movement lie? Levels of agency in live coded choreography

Kate Sicchio
2022 Zenodo  
This paper explores live coded choreography, the use of computer programming to create algorithmic processes in performance to create dance works.  ...  It examines several works by the author, including Hacking Choreography (2011), Terpsicode (2019), and Studio//Stage (2021) in order to examine the agency of the dancer in these works.  ...  In live coding and specifically live coding choreography there is also the use of Esoteric programming languages (esolangs).  ... 
doi:10.5281/zenodo.6204896 fatcat:clwstcqzvzeoxax6f4y7pqcdde

Object-Oriented Choreographic Programming [article]

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
2022 arXiv   pre-print
We present Choral, the first language for programming choreographies (multiparty protocols) that builds on top of mainstream programming abstractions: in Choral, choreographies are objects.  ...  Given a choreography that defines interactions among some roles (Alice, Bob, etc.), an implementation for each role in the choreography is automatically generated by a compiler.  ...  concurrent and distributed programming: reactive actors.  ... 
arXiv:2005.09520v3 fatcat:2urvwpdrujag5hjse7grg7zfqi

On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework

Federico Chesani, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
2010 Multiagent and Grid Systems  
SCIFF is the underlying logic programming framework for modelling and verifying interaction in open systems.  ...  The definition of choreography specification languages for Service Oriented Systems poses important challenges.  ...  Acknowledgments We would like to thank the anonymous reviewers of this Special Issue and of the MALLOW-AWESOME'007 workshop for their valuable comments and suggestions.  ... 
doi:10.3233/mgs-2010-0147 fatcat:ivee42ktrbadbap7tonou4kpby

Bridging the GUI gap with reactive values and relations

Ivan Perez, Henrik Nilsson
2015 Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015  
However, such GUI APIs mandate an imperative programming style for the GUI and related parts of the application. Alternatively, we can use a functional GUI toolkit.  ...  This paper introduces a light-weight framework structured around the notions of reactive values and reactive relations.  ...  We thank anonymous reviewers for helpful comments on earlier drafts of this manuscript.  ... 
doi:10.1145/2804302.2804316 dblp:conf/haskell/PerezN15 fatcat:yhdpgfqosnb3boaov7eglantaq

Bridging the GUI gap with reactive values and relations

Ivan Perez, Henrik Nilsson
2015 SIGPLAN notices  
However, such GUI APIs mandate an imperative programming style for the GUI and related parts of the application. Alternatively, we can use a functional GUI toolkit.  ...  This paper introduces a light-weight framework structured around the notions of reactive values and reactive relations.  ...  We thank anonymous reviewers for helpful comments on earlier drafts of this manuscript.  ... 
doi:10.1145/2887747.2804316 fatcat:t4jjfimdxjhdbci3mhvwgfxzlu

Towards a Smart Society through Personal Assistants Employing Executable Choreographies

Lenuta Alboaie
2017 Information Systems Development  
The analysis of executable choreographies and their implementation in the real systems led us to the conclusion that it is possible to increase data privacy by using a different kind of automation made  ...  With the increased use of Internet, governments and large companies store and share massive amounts of personal data in such a way that leaves no space for transparency.  ...  Table 2 . 2 Executables Choreographies and suggestions for HOW TO implement the Privacy by Design Privacy by Design Principles Solutions using Choreographies 1. Proactive not reactive;  ... 
dblp:conf/isdevel/Alboaie17 fatcat:ix3rgz55sfgsxjpxbmbqylp4xm

Selection Mechanism of Micro-Services Orchestration Vs. Choreography

Neha Singhal, Usha Sakthivel, Pethuru Raj
2019 International journal of Web & Semantic Technology  
There are two methods for the microservice composition i.e. orchestration and choreography.  ...  In this paper,a health case study is performed for the selection mechanism of orchestration method and choreography method in various situation. KEYWORDS MSA, Composition of services, SOA.  ...  Tradeoffs • Async programming is often a significant mind shift for developers. At the particular time, the choreography can be performed in various ways. • Complexity is again a concern point.  ... 
doi:10.5121/ijwest.2019.10101 fatcat:wc2apn2itbfs7i6hqt7mgpaitm

Integrating an Autonomous Robot on a Dance and New Technologies Festival [chapter]

Paula Abad, Miguel Franco, Rosa Castillón, Iñigo Alonso, Ana Cambra, Jorge Sierra, Luis Riazuelo, Luis Montano, Ana C. Murillo
2017 Advances in Intelligent Systems and Computing  
First, this work explains the process and design to embed the robotic platform into the choreography theme.  ...  Finally, we discuss the main issues and lessons learned for this kind of robotics and arts applications and summarize the results obtained, including the successful final live performance results.  ...  Choreography The final choreography designed for the robot is represented in the diagrams from Fig. 9 .  ... 
doi:10.1007/978-3-319-70833-1_7 fatcat:igusxnontbcb5dfy5bjgdpjoda

Functional Choreographic Programming [article]

Luís Cruz-Filipe, Eva Graversen, Lovro Lugović, Fabrizio Montesi, Marco Peressotti
2022 arXiv   pre-print
Bridging the gap between practice and theory requires developing a new evaluation strategy and typing discipline for λ terms that accounts for the distributed nature of computation in choreographies.  ...  Choreographic programming is an emerging programming paradigm for concurrent and distributed systems, whereby developers write the communications that should be enacted and then a distributed implementation  ...  The reader interested in a detailed comparison of choreographic and multitier programming can consult [23] , which presents algorithms for translating choreographies to multitier programs and vice versa  ... 
arXiv:2111.03701v4 fatcat:i6iq5f7bwbghjkj7yybklxtp4a

A systematic literature review of service choreography adaptation

Leonardo A. F. Leite, Gustavo Ansaldi Oliva, Guilherme M. Nogueira, Marco Aurélio Gerosa, Fabio Kon, Dejan S. Milojicic
2012 Service Oriented Computing and Applications  
The authors suggest two kinds of reasoning: proactive and reactive.  ...  According to Zhang and Cheng [67] , an adaptive program need mechanisms to ensure that the program is able to operate correctly during and after adaptations.  ... 
doi:10.1007/s11761-012-0125-z fatcat:r42gev2cjvg4vljovqtiotisaq

An Event-Driven Approach for Runtime Verification of Inter-organizational Choreographies

Aymen Baouab, Olivier Perrin, Claude Godart
2011 2011 IEEE International Conference on Services Computing  
We define event patterns for filtering the desirable incoming and outgoing messages.  ...  At the time of writing this paper, there are no standards for event processing programming languages.  ...  However, there are various languages and programming styles that can be used.  ... 
doi:10.1109/scc.2011.55 dblp:conf/IEEEscc/BaouabPG11 fatcat:j3lk3tuvvffeff3gtowoaplxsm

Adapting a Component-based Model Approach to SOA: A Robotic Experience

Francisca Rosique, Nour Ali, Fernando Losilla
2018 Proceedings of the 13th International Conference on Software Technologies  
The service provider indicates the choreography of the messages and the rules for the provision of a service that the consumer has to fulfil. 6. Specify Choreography.  ...  New developments should provide for (1) integration between heterogeneous systems, (2) independence of location, implementation and usage, (3) reusability, (4) integration with reactive environments, (  ... 
doi:10.5220/0006837505910596 dblp:conf/icsoft/RosiqueAL18 fatcat:ipcvj43awvftxlxsj4uyro4hq4

Fault-Recovery and Coherence in Internet of Things Choreographies [chapter]

Sylvain Cherrier, Yacine M. Ghamri-Doudane
2020 Securing the Internet of Things  
D-LITe, our previous work, introduces genericity by providing a universal programming interface.  ...  Facilitating the creation of applications for the Internet of Things (IoT) is a major concern to increase its development.  ...  To specifically test web services choreographies, L.Zhou et al. [11] propose the use of assertions that "express the intention of the program by designers".  ... 
doi:10.4018/978-1-5225-9866-4.ch015 fatcat:w2a6ifi3hrf23miiyrnl7v43ge

Choreographing agent encounters in the Semantic Web using rules

Kalliopi Kravari, Nick Bassiliades, Christos Papavasileiou
2014 Journal of Intelligent & Fuzzy Systems  
In order for automated agent-based e-Commerce transactions to blossom, well-defined, analyzable and easily customizable interaction protocols or choreographies of involved parties need to be developed.  ...  Τhe proposed choreography scheme separates the definition of the agent shared interaction protocol from the private agent interaction strategy and enables agents to choose the appropriate protocol for  ...  Finally, Reaction RuleML enables two types of rules; production for agents' strategy and reactive for the protocol.  ... 
doi:10.3233/ifs-131059 fatcat:rttegowqavbljjqwnu3sqdhutu
« Previous Showing results 1 — 15 out of 1,696 results