Lyee Structure The Institute of Computer Based Software Methodology - - PowerPoint PPT Presentation

Lyee

Structure

Top

The Institute of Computer Based Software Methodology and Technology

Tense Control Function (Φ)

( 2)

Tense Control Function (Φ)

End End? Pre Processing Post processing Initial Processing (Lyee domains) Is next Φ -domain empty? To next Φ Is the next Φ p specified? Activated Φ p → Next Φ p Current Φ p → Previous Φ p, Next Φ p → Current Φ p, Clear next Φ p. Activate current Φ p.

Pallet Function (Φ4)

( 3)

Pallet Function (Φ4)

call Signification vector call Output vector call Structural vector call Routing vector Status control action Is there any state transition? Initial processing (Work domain etc.) Initial processing (System evvironment) The execution-right is returned to Φ State transition (current) → State transition, Initialize State transition (current). Look

Pallet Function (Φ2)

( 4)

Pallet Function (Φ2)

call Signification vector call Iutput vector Status control action call Routing vector Is there any state transition? Initial processing (Work domain etc.) Initial processing (System evvironment) The execution-right is returned to Φ State transition (current) → State transition, Initialize State transition (current). Look

Pallet Function (Φ3)

( 5)

Pallet Function (Φ3)

State transition (current) → State transition, Initialize State transition (current). call Routing vector (Continuous link) call Routing vector (Recursive link) call Routing vector (Duplex link) call Routing vector (Multiplex link) Initial processing (Work domain etc.) Initial processing (System environment) call Signification vector Status control action Is there any state transition? The execution-right is returned to Φ Look

• Rr

Rd Rm Rc

L4,j Signification vector

Signification vector(L4)

( 6)

Signification Vectors ( Signification vector / L4 )

Falsehood flag → The 6th domain. Re-execution flag → The 7th domain. Is the 4th domain empty and is a self condition equal to a value in the 4th domain of W03 of the same noun? Is there any state transition

• f the Pallet?

Is the 2nd domain empty? Arithmetic calculus

• r value duplicated

→ The 2nd domain. No Yes No The 2nd domain → The 4th domain, The 4th domain → Boundary domain, State transition (current) to be set as value. Yes

• The 3rd rule

The 4th rule The 2nd rule

• The 1st rule
• The 5th rule

The 6th rule The 7th rule

<Predicate structure>

W02 : Probabilistic W03 : Normalization W04 : Representative

L2, i Signification vector

Signification vector(L2)

( 7)

Signification Vectors ( Signification vector / L2)

Logical definition → The 2nd domain. (Inprovement of the attribute) The 2nd domain → The 4th domain, The 4th domain → Boundary domain, State transition (current) to be set as value. Falsehood flag → The 6th domain. Re-execution flag → The 7th domain. Is the 4th domain empty? Is there any state transition

• f the Pallet?

Is the 2nd domain empty? No Yes No Yes

• The 3rd rule

The 4th rule The 2nd rule

• The 1st rule
• The 5th rule

The 6th rule The 7th rule

<Predicate structure>

W02 : Probabilistic W03 : Normalization W04 : Representative

L3,j Signification vector

Signification vector(L3)

( 8)

Signification Vectors ( Signification vector / L3 )

Is the 4th domain empty? Necessary condition

• f the materialization of (L4,j)

→ The 2nd domain. The 2nd domain → The 4th domain, State transition (current) to be set as value. Falsehood flag → The 6th domain. Re-execution flag → The 7th domain. Is the 2nd domain empty? Is there any state transition

• f the Pallet?
• The 3rd rule

The 4th rule The 2nd rule

• The 1st rule
• The 5th rule

The 6th rule The 7th rule

<Predicate structure>

W02 : Probabilistic W03 : Normalization W04 : Representative

No Yes No Yes

I2,r? Input vector

Input vector(I2)

( 9)

Action Vectors ( Input action vector / I2 )

Processing corresponding to system environment. Falsehood flag → The 6th domain. Re-execution flag → The 7th domain. Is the 2nd domain empty? Normal flag → The 4th domain. Execute an input command such as READ.

• The 3rd rule

The 4th rule The 2nd rule

• The 1st rule
• The 5th rule

The 6th rule The 7th rule

<Predicate structure>

W02 : Probabilistic W03 : Normalization W04 : Representative (Not used) (Not used)

Processing corresponding to system environment. O4,r? Output vector

Output vector(O4)

( 10)

Action Vectors ( Output action vector / O4 )

Is there any atate transition in the synchronous range,

• r is one of the nouns of Key information empty?

No Yes Falsehood flag → The 6th domain. Re-execution flag → The 7th domain. Execute an output command such as WRITE. Is the result of executing the output command valid? Normal flag → The 4th domain, Initialize output memory domain.

• The 3rd rule

The 4th rule The 2nd rule

• The 1st rule
• The 5th rule

The 6th rule The 7th rule

<Predicate structure>

W02 : Probabilistic W03 : Normalization W04 : Representative (Not used)

S4,r? Structural vector

Structural vector(S4)

( 11)

Action Vectors ( Structural vector / S4 )

Is the output successful? (The normal flag is on) Initialize corresponding domains.

• The 3rd rule

The 4th rule The 2nd rule

• The 1st rule
• The 5th rule

The 6th rule The 7th rule

<Predicate structure>

W02 : Probabilistic W03 : Normalization W04 : Representative (Not used) (Not used) (Not used) (Not used) (Not used)

R4 Routing vector

Routing vector(R4)

( 12)

Action Vectors ( Routing vector / R4 )

Is there any state transition of the W04 to which the R4 belongs? W02 of the same SF → Next Φp.

• The 3rd rule

The 4th rule The 2nd rule

• The 1st rule
• The 5th rule

The 6th rule The 7th rule

<Predicate structure>

W02 : Probabilistic W03 : Normalization W04 : Representative

No Yes

(Not used) (Not used) (Not used) (Not used) (Not used)

R2 Routing vector

Routing vector(R2)

( 13)

Action Vectors ( Routing vector / R2 )

Is there any state transition of the W02 to which the R2 belongs? W03 of the same SF → Next ? p.

• The 3rd rule

The 4th rule The 2nd rule

• The 1st rule
• The 5th rule

The 6th rule The 7th rule

<Predicate structure>

W02 : Probabilistic W03 : Normalization W04 : Representative

No Yes

(Not used) (Not used) (Not used) (Not used) (Not used)

R3r Routing vector (Recursive link)

Routing vector(R3r)

( 14)

Action Vectors ( Routing vector / R3r )

W04 of the same SF → Next Φ p. Is there any state transition of the Pallet,

• r dose the state show the result of the duplex link,
• r is the state in a synchronous destruction?
• The 3rd rule

The 4th rule The 2nd rule

• The 1st rule
• The 5th rule

The 6th rule The 7th rule

<Predicate structure>

W02 : Probabilistic W03 : Normalization W04 : Representative (Not used) (Not used) (Not used) (Not used) (Not used)

R3d Routing vector (Duplex link)

Routing vector(R3d)

( 15)

Action Vectors ( Routing vector / R3d )

Is the SF in abeyance and is duplex link specified? W03 of the returned SF → Next Φ p.

• The 3rd rule

The 4th rule The 2nd rule

• The 1st rule
• The 5th rule

The 6th rule The 7th rule

<Predicate structure>

W02 : Probabilistic W03 : Normalization W04 : Representative (Not used) (Not used) (Not used) (Not used) (Not used)

R3m Routing vector (Multiplex link)

Routing vector(R3m)

( 16)

Action Vectors ( Routing vector / R3m )

Is the SF in abeyance and is multiplex link specified? W04 of the forehand SF → Next Φ p.

• The 3rd rule

The 4th rule The 2nd rule

• The 1st rule
• The 5th rule

The 6th rule The 7th rule

<Predicate structure>

W02 : Probabilistic W03 : Normalization W04 : Representative (Not used) (Not used) (Not used) (Not used) (Not used)

R3c Routing vector (Continuous link)

Routing vector(R3c)

( 17)

Action Vectors ( Routing vector / R3c )

is continuous link specified? W04 of the continuous SF → Next Φ p.

• The 3rd rule

The 4th rule The 2nd rule

• The 1st rule
• The 5th rule

The 6th rule The 7th rule

<Predicate structure>

W02 : Probabilistic W03 : Normalization W04 : Representative (Not used) (Not used) (Not used) (Not used) (Not used)

Rm Rr Rd Rc.a

Rc.c

There is no state change then we go to the other PRD.