12 Hits in 6.9 sec

Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC [chapter]

Matthieu Perrin, Claude Jard, Achour Mostéfaoui
2015 Lecture Notes in Computer Science  
The approach is illustrated using a Web service orchestration instance and the detection of race conditions.  ...  This article shows how the operational semantics of a language like ORC can be instrumented so that the execution of a program produces information on the causal dependencies between events.  ...  The context of Web service orchestrations is more complex as a language like Orc can generate unbounded concurrency patterns.  ... 
doi:10.1007/978-3-319-26850-7_26 fatcat:gmye2qomsnb3xo7ywanvndlosy

Patrol: Revealing Zero-Day Attack Paths through Network-Wide System Object Dependencies [chapter]

Jun Dai, Xiaoyan Sun, Peng Liu
2013 Lecture Notes in Computer Science  
In this paper, we define such attack paths as zero-day attack paths, and propose a prototype system named Patrol to identify them at runtime.  ...  Using system calls, Patrol builds a network-wide system object dependency graph that captures dependency relations between OS objects, and identifies suspicious intrusion propagation paths in it as candidate  ...  We propose to identify suspicious intrusion propagation paths (SIPPs) in the network-wide SODG as candidate zero-day attack paths.  ... 
doi:10.1007/978-3-642-40203-6_30 fatcat:2vnsbpssqndzde57mugqxymnui

Responsiveness in process calculi

Lucia Acciai, Michele Boreale
2008 Theoretical Computer Science  
We demonstrate the expressive power of the two systems by showing that primitive recursive functions -in the case of the first system -and Cook and Misra's service orchestration language orc -in the case  ...  All (syntax-directed) functions or relations taking [P] as an argument are defined in terms of can(P).  ...  Encoding the structured orchestration language orc [4] is a recently proposed language for Web Services orchestration that supports a structured model of concurrent and distributed programming.  ... 
doi:10.1016/j.tcs.2008.08.017 fatcat:xb3rgryvvvfhhpnzt3be6ngzey

Combining behavioural types with security analysis

Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira
2015 Journal of Logical and Algebraic Methods in Programming  
Behavioural types, which extend data types by describing also the structured behaviour of programs, are a widely studied approach to the enforcement of correctness properties in communicating systems.  ...  Access Control An early work featuring behavioural types for access control is [68] , which presents a type system for COWS (Calculus for Orchestration of Web Services) [79] , a formalism for specifying  ...  classical notion of causality, i.e., by assuming that some events can occur in the absence of a causal justification in the past, provided they have a justification in the future [8] .  ... 
doi:10.1016/j.jlamp.2015.09.003 fatcat:rm7xhow7svfifmi7scszrk6ipm

Event based choreography

Vincenzo Ciancia, Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo
2010 Science of Computer Programming  
Two different approaches can be adopted to tackle service coordination: orchestration and choreography.  ...  In this paper, we introduce a formal methodology to handle coordination among services from the perspective of a global observer, in the spirit of choreography models.  ...  Introduction The web service protocol stack (e.g.  ... 
doi:10.1016/j.scico.2010.02.009 fatcat:mnuwgih535gjdau6i7qpifcgoi

Social Grid Agents [chapter]

Gabriele Pierantoni, Brian Coghlan, Eamonn Kenny
2011 Computer Communications and Networks  
The final service consists of a job that needs different services orchestrated in a workflow.  ...  Examples such as this encompass and orchestrate many different services that can be arranged in hierarchies of different complexities.  ... 
doi:10.1007/978-0-85729-676-4_6 fatcat:d5eurrbvbrfy3m7kjcdyd4orne

Twenty Years of Rewriting Logic [chapter]

José Meseguer
2010 Lecture Notes in Computer Science  
This paper provides a gentle, intuitive introduction to its main ideas, as well as a survey of the work that many researchers have carried out over the last twenty years in advancing: (i) its foundations  ...  rewriting logic at this point, when twenty years have passed since the first papers were published, for their further encouragement to turn my WRLA lecture into a survey paper, and for their patience in  ...  This work has been supported in part by NSF Grants CNS 07-16638, CNS 08-34709, CNS 08-31064, CNS 09-04749, and CCF 09-05584, AFOSR Grant FA8750-11-2-0084, and the "Programa de Apoyo a la Investigación  ... 
doi:10.1007/978-3-642-16310-4_2 fatcat:ho7s76r67nc63bndpoptbh5k4e

Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude

Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis
2012 Science of Computer Programming  
This paper defines a real-time rewriting logic semantics for a significant subset of Ptolemy II discrete-event models.  ...  The rules in R are decomposed into: • "ordinary" rewrite rules that model instantaneous change, and • tick (rewrite) rules that model the elapse of time in a system.  ...  the formal semantics of Ptolemy II in Real-Time Maude.  ... 
doi:10.1016/j.scico.2010.10.002 fatcat:ggelzhjuavdrtlmflojqyn26zu

Global Economic Prospects [chapter]

2015 The World Bank Group A to Z 2016  
track. 20 But Thailand and Indonesia are off track, as are some of the poorer countries in the region.  ...  Four countries are on track to achieve the target-Indonesia, Lao PDR, Malaysia, and the Philippines. All other countries are off track, and two-Cambodia and Papua New Guinea-are seriously off track.  ...  The importance (and feasibility) of this depends, in part, on the motivation of governments to pursue RTAs.  ... 
doi:10.1596/978-1-4648-0484-7_global_economic_prospects fatcat:wrv5qpp275cfdijyvvg45tlnx4

Engaging the Shopping Experience [article]

Sanne Dollerup Sørensen
2017 The PhD Series of the Faculty of the Humanities  
Service is the overall direct contact with customers through web, email, phone etc.  ...  Online customer reviews can generally be defined as "peer-generated product evaluations posted on company or third party web-sites" (Mudambi & Schuff, 2010, p. 186) .  ...  The revenues in brick-and-mortar stores have declined in the last decade, not least due to competition from online shopping.  ... 
doi:10.5278/ fatcat:sbe3xx7asjd7bgaupkt2ahxz7a

The signal calculus: beyond message based coordination for services

Roberto Guanciale
Our main contribution is the definition of a compositional model for services in the spirit of choreography.  ...  Finally, to highlight the benefit of our approach, we address the issue of defining Long Running Transactions via the Signal Calculus and we provide some sound refactoring rules in the spirit of the MDD  ...  A different programming model for service orchestration has been adopted by Orc [20] . The basic computational entities orchestrated by Orc expressions are sites.  ... 
doi:10.6092/imtlucca/e-theses/14 fatcat:6kyjhqtvbrdlnnlyztlxc2a6oe

Debt relief and beyond: lessons learned and challenges ahead

2010 ChoiceReviews  
India defines it as the ratio of debt-service payments over total revenues.  ...  Although the "sovereign debt issuance" variable turns significant in a sample of debt-crisis periods (as defined above), the effect depends heavily on how crisis and distress episodes are defined.  ...  Of course, if countries borrow in more than one foreign currency, more than one foreign debt stock should be kept track of in an analogous manner.  ... 
doi:10.5860/choice.47-5132 fatcat:2qkqnrzmd5b75esm3exewpbdnq