Decentralized Communication for Data Dependency Analysis Among Process Execution Agents

2011 ◽  
Vol 8 (4) ◽  
pp. 1-28 ◽  
Author(s):  
Susan D. Urban ◽  
Ziao Liu ◽  
Le Gao
Keyword(s):  
Data Dependency ◽  
Grid Services ◽  
Dependency Analysis ◽  
Data Dependencies ◽  
Dependency Graphs ◽  
Service Oriented ◽  
Distributed Process ◽  
Concurrent Processes ◽  
Process Execution ◽  
Intelligent Approach

This paper presents the authors results with the investigation of decentralized data dependency analysis among concurrently executing processes in a service-oriented environment. Distributed Process Execution Agents (PEXAs) are responsible for controlling the execution of processes that are composed of web services. PEXAs are also associated with specific distributed sites for the purpose of capturing data changes that occur at those sites in the context of service executions using Delta-Enabled Grid Services. PEXAs then exchange this information with other PEXAs to dynamically discover data dependencies that can be used to enhance recovery activities for concurrent processes that execute with relaxed isolation properties. This paper outlines the functionality of PEXAs, describing the data structures, algorithms, and communication mechanisms that are used to support decentralized construction of distributed process dependency graphs, demonstrating a more dynamic and intelligent approach to identifying how the failure of one process can potentially affect other concurrently executing processes.

scholarly journals CONFUZZIUS: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts

2021 ◽  
Author(s):  
Christof Ferreira Torres ◽  
Antonio Ken Iannillo ◽  
Arthur Gervais ◽  
Radu State
Keyword(s):  
State Of The Art ◽  
Symbolic Execution ◽  
Hybrid Approach ◽  
Data Dependency ◽  
Smart Contracts ◽  
Dependency Analysis ◽  
Bug Detection ◽  
Code Coverage ◽  
Traditional Programs ◽  
Turing Complete

<div> <div> <p>Smart contracts are Turing-complete programs that are executed across a blockchain. Unlike traditional programs, once deployed, they cannot be modified. As smart contracts carry more value, they become more of an exciting target for attackers. Over the last years, they suffered from exploits costing millions of dollars due to simple programming mistakes. As a result, a variety of tools for detecting bugs have been proposed. Most of these tools rely on symbolic execution, which may yield false positives due to over-approximation. Recently, many fuzzers have been proposed to detect bugs in smart contracts. However, these tend to be more effective in finding shallow bugs and less effective in finding bugs that lie deep in the execution, therefore achieving low code coverage and many false negatives. An alternative that has proven to achieve good results in traditional programs is hybrid fuzzing, a combination of symbolic execution and fuzzing. In this work, we study hybrid fuzzing on smart contracts and present ConFuzzius, the first hybrid fuzzer for smart contracts. ConFuzzius uses evolutionary fuzzing to exercise shallow parts of a smart contract and constraint solving to generate inputs that satisfy complex conditions that prevent evolutionary fuzzing from exploring deeper parts. Moreover, ConFuzzius leverages dynamic data dependency analysis to efficiently generate sequences of transactions that are more likely to result in contract states in which bugs may be hidden. We evaluate the effectiveness of ConFuzzius by comparing it with state-of-the-art symbolic execution tools and fuzzers for smart contracts. Our evaluation on a curated dataset of 128 contracts and a dataset of 21K real-world contracts shows that our hybrid approach detects more bugs than state-of-the-art tools (up to 23%) and that it outperforms existing tools in terms of code coverage (up to 69%). We also demonstrate that data dependency analysis can boost bug detection up to 18%.</p> </div> </div>

Execution Management for Mobile Service-Oriented Environments

2012 ◽  
pp. 62-82
Author(s):  
Kleopatra G. Konstanteli ◽  
Tom Kirkham ◽  
Julian Gallop ◽  
Brian Matthews ◽  
Ian Johnson ◽  
...  
Keyword(s):  
Mobile Network ◽  
Mobile Services ◽  
Distributed Applications ◽  
Mobile Service ◽  
Grid Services ◽  
Service Oriented ◽  
Execution Management ◽  
Multiple Domains ◽  
Open Grid Services Architecture ◽  
Public Demonstrations

This paper presents an Execution Management System (EMS) for Grid services that builds on the Open Grid Services Architecture (OGSA) while achieving “mobile awareness” by establishing a WS-Notification mechanism with mobile network session middleware. It builds heavily on the Session Initiation Protocol (SIP), used for managing sessions with mobile terminals (such as laptops and PDAs) where the services are running. Although the management of mobile services is different to that of ubiquitous services, the enhanced EMS manages both of them in a seamless fashion and incorporates all resources into one Mobile Dynamic Virtual Organization (MDVO). The described EMS has been implemented within the framework of the Akogrimo EU IST project and has been used to support mission critical application scenarios in public demonstrations, including composite and distributed applications made of both ubiquitous and mobile services within multiple domains.

Execution Management for Mobile Service-Oriented Environments

2010 ◽  
Vol 1 (3) ◽  
pp. 39-59
Author(s):  
Kleopatra G. Konstanteli ◽  
Tom Kirkham ◽  
Julian Gallop ◽  
Brian Matthews ◽  
Ian Johnson ◽  
...  
Keyword(s):  
Mobile Network ◽  
Mobile Services ◽  
Distributed Applications ◽  
Mobile Service ◽  
Grid Services ◽  
Service Oriented ◽  
Execution Management ◽  
Multiple Domains ◽  
Open Grid Services Architecture ◽  
Public Demonstrations

This paper presents an Execution Management System (EMS) for Grid services that builds on the Open Grid Services Architecture (OGSA) while achieving “mobile awareness” by establishing a WS-Notification mechanism with mobile network session middleware. It builds heavily on the Session Initiation Protocol (SIP), used for managing sessions with mobile terminals (such as laptops and PDAs) where the services are running. Although the management of mobile services is different to that of ubiquitous services, the enhanced EMS manages both of them in a seamless fashion and incorporates all resources into one Mobile Dynamic Virtual Organization (MDVO). The described EMS has been implemented within the framework of the Akogrimo EU IST project and has been used to support mission critical application scenarios in public demonstrations, including composite and distributed applications made of both ubiquitous and mobile services within multiple domains.

scholarly journals Business Process Configuration according to Data Dependency Specification

2018 ◽  
Vol 8 (10) ◽  
pp. 2008 ◽  
Author(s):  
Luisa Parody ◽  
María Gómez-López ◽  
Angel Varela-Vaca ◽  
Rafael Gasca
Keyword(s):  
Business Process ◽  
Business Processes ◽  
Process Models ◽  
Work Flow ◽  
Data Dependency ◽  
Data Dependencies ◽  
Business Process Models ◽  
Programming Paradigm ◽  
Process Configuration ◽  
Correct Execution

Configuration techniques have been used in several fields, such as the design of business process models. Sometimes these models depend on the data dependencies, being easier to describe what has to be done instead of how. Configuration models enable to use a declarative representation of business processes, deciding the most appropriate work-flow in each case. Unfortunately, data dependencies among the activities and how they can affect the correct execution of the process, has been overlooked in the declarative specifications and configurable systems found in the literature. In order to find the best process configuration for optimizing the execution time of processes according to data dependencies, we propose the use of Constraint Programming paradigm with the aim of obtaining an adaptable imperative model in function of the data dependencies of the activities described declarative.

Sign in / Sign up

Export Citation Format

Share Document