Formal specification and analysis of software architectures using the chemical abstract machine model

1995 ◽  
Vol 21 (4) ◽  
pp. 373-386 ◽  
Author(s):  
P. Inverardi ◽  
A.L. Wolf
Keyword(s):  
Formal Specification ◽  
Software Architectures ◽  
Chemical Abstract ◽  
Abstract Machine ◽  
Machine Model

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.

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

scholarly journals An abstract machine model of dynamic module replacement

2000 ◽  
Vol 16 (7) ◽  
pp. 793-808 ◽  
Author(s):  
Chris Walton ◽  
Dilsun Kırlı ◽  
Stephen Gilmore
Keyword(s):  
Abstract Machine ◽  
Machine Model

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.

Research Notes — Software Process Selection Based Upon Abstract Machines for Slow Intelligence Systems

2019 ◽  
Vol 29 (07) ◽  
pp. 1053-1067
Author(s):  
Shi-Kuo Chang ◽  
Jinpeng Zhou ◽  
Akhil Yendluri ◽  
Kadie Clancy
Keyword(s):  
Undergraduate Students ◽  
Programming Model ◽  
Software Process ◽  
Process Models ◽  
Extreme Programming ◽  
Process Selection ◽  
Abstract Machine ◽  
Machine Model ◽  
Intelligence System ◽  
Incremental Model

The abstract-machine model was developed by Chang to formalize the decision cycles of slow intelligence systems. It turns out that the selection of software process can also be regarded as a slow intelligence system. In this paper, we formalize abstract-machine prototypes for different software process models (SPMs) such as waterfall model, incremental model, spiral model, extreme programming model and scrum model. A Software Process Generator (SPG) was implemented to generate SPMs based upon design considerations. Initial evaluation by undergraduate students using SPG to learn software processes suggests further improvements to make it a useful learning tool.

Sign in / Sign up

Export Citation Format

Share Document