Describing Component Behavior Using Improved Chemical Abstract Machine

2013 ◽  
Author(s):  
Jinfu Chen ◽  
Qing Li ◽  
Huanhuan Wang ◽  
Rubing Huang
Keyword(s):  
Chemical Abstract ◽  
Abstract Machine

scholarly journals The chemical abstract machine

1992 ◽  
Vol 96 (1) ◽  
pp. 217-248 ◽  
Author(s):  
Gérard Berry ◽  
Gérard Boudol
Keyword(s):  
Chemical Abstract ◽  
Abstract Machine

COMPONENT SECURITY TESTING APPROACH BASED ON EXTENDED CHEMICAL ABSTRACT MACHINE

2012 ◽  
Vol 22 (01) ◽  
pp. 59-83 ◽  
Author(s):  
JINFU CHEN ◽  
YANSHENG LU ◽  
HUANHUAN WANG
Keyword(s):  
Fault Injection ◽  
Component Technology ◽  
Chemical Abstract ◽  
Security Testing ◽  
Abstract Machine ◽  
Machine Model ◽  
Testing Sequence ◽  
State Transfer ◽  
Vulnerability Testing ◽  
Testing Approach

Unreliable component security hinders the development of component technology. Component security testing is rarely researched with comprehensive focus; several approaches or technologies for detecting vulnerabilities in component security have been proposed, but most are infeasible. A testing approach for component security, which is based on the chemical abstract machine, is proposed for detecting explicit and implicit component security vulnerabilities. We develop an extended chemical abstract machine model, called eCHAM, and generate a state transfer tree and testing sequence for components based on the proposed model. The model can help test the explicit security exceptions of components according to the testing approach of interface fault injection. Condition and state mutation algorithms for identifying implicit security exceptions are also proposed. Vulnerability testing reports are obtained according to the test results. Experiments were conducted in an integration testing platform to verify the applicability of the proposed approach. Results show that the approach is effective and practicable. The proposed approach can detect explicit and implicit security exceptions of components.

Fuzzy Multisets and Fuzzy Computing

2016 ◽  
pp. 23-42
Author(s):  
Apostolos Syropoulos
Keyword(s):  
Petri Nets ◽  
Fuzzy Sets ◽  
P Systems ◽  
Theory Of Computation ◽  
Chemical Abstract ◽  
Abstract Machine ◽  
Models Of Computation ◽  
Fuzzy Models ◽  
Fuzzy Petri Nets ◽  
Fuzzy Computing

Multisets and Multirelations are extensions of ordinary sets and relations while fuzzy multisets and fuzzy multirelations are fuzzy extensions of these concept. Although many generalizations tend to be meaningless, these are quite useful as one can model things we see every day. In addition, these structures have found uses in the theory of computation. In particular, fuzzy multisets are used in fuzzy models of computation, that is, models of computation where vagueness is manifested by fuzzy sets play central role. These fuzzy models of computation include fuzzy P systems, the fuzzy chemical abstract machine, and fuzzy Petri nets.

Concurrent Programming with Multi-Agents and the Chemical Abstract Machine

2011 ◽  
pp. 26-47
Author(s):  
Wanli Ma ◽  
Dat Tran
Keyword(s):  
Computational Model ◽  
Programming Language ◽  
Concurrent Programming ◽  
Theoretical Background ◽  
Programming Approach ◽  
Chemical Abstract ◽  
Abstract Machine ◽  
Multi Agent ◽  
Reactive Programming ◽  
Multi Agents

In this chapter, we propose a new concurrent programming approach called MACH (multi-agent extended chemical abstract machine). MACH extends the chemical abstract machine with multiple coexisting agents. This paper focuses on the design, implementation, and verification of MACH. The aim of MACH is to develop a reactive programming language based on an interactive computational model, which we believe is the key to concurrent programming. We present MACH as a simple and efficient programming approach based on a sound theoretical background.

Sign in / Sign up

Export Citation Format

Share Document