使用信息处理器的同步结构的处理方法

文档序号:6469966阅读:311来源:国知局
专利名称:使用信息处理器的同步结构的处理方法
技术领域
本发明涉及一种技术,它能够有效地应用于开发每一个领域的计算机程序。
背景技术
本申请人(发明者)根据不同于常规技术的概念划分方法,提出一种程序开发理论(软件领域的管辖方法学LYEE),并且在本申请之前已经提交了专利申请。在把该理论应用于实际程序开发的一个过程中,本申请人最近注意到一种同步结构。
换句话说,以LYEE令人信服地获得的技术效果包括同步结构的较大贡献。不过,这样一种同步结构从来没有充分公开过。
换句话说,这样一种同步结构需要以确定的方式提出,以便从计算机程序中消除由人造成的错误,并使程序本身具有简单和精确的结构。
鉴于以上的问题,本发明者已经作出了本发明,其目的是从同步结构的观点,为了实施LYEE的基本概念而明确一种技术,以及为了开发易于开发的和执行时能够实现稳健系统的程序而提供一种技术。

发明内容
依据本发明,在一种处理方法中,程序开发通过将信息处理器应用到包括两个或更多同步矢量的同步结构使用信息处理器来处理,这些同步矢量是在该信息处理器的存储器区域建立的,该同步结构首先通过外部接口获取规定的输入,对组成规定的输入的字,引用其内容,此后对一个预定的字建立定义,以便将该字输出到一个规定的输出。
注意,信息处理器从物理存储介质输入数据或者向物理存储介质输出数据时,规定的输入和规定的输出都是存取单元。
同时,所述定义是这样一种状态,某个值存在于存储器区域中的预定数据区域集合内,字是可获知有定义存在的一个单元数据。
此外,在同步结构中,字的定义是通过满足一种逻辑规定和一种接受条件。该逻辑规定使某个值存在于预定的变量中,而该接受条件判断是否接受执行该逻辑规定之结果的存在值。
附图简要说明

图1是显示同步结构之基础结构的一幅图;图2是解释一个单元的图(1);图3是解释一个单元的图(2);图4是解释同步矢量之布置的一幅图;图5是解释串行执行托盘之状态的图(1);图6是解释串行执行托盘之状态的图(2);图7是解释串行执行托盘之状态的图(3);图8是解释路由动作矢量的流程图(1);图9是解释路由动作矢量的流程图(2);图10是解释路由动作矢量的流程图(3);图11是解释复制矢量过程的流程图(1);图12是解释复制矢量过程的流程图(2);图13是解释复制矢量过程的流程图(3);图14是解释有定义矢量处理的流程图(1);图15是解释有定义矢量处理的流程图(2);图16是解释有定义矢量处理的流程图(3);图17是解释有定义矢量处理的流程图(4);图18是解释有定义矢量处理的流程图(5);图19是解释结构动作矢量处理的流程图(1);图20是解释结构动作矢量处理的流程图(2);图21是解释输入同步矢量的基本处理方案过程的流程图;
图22是解释规定输入的同步矢量的表格(1);图23是显示某个过程框内容的表格(1);图24是解释规定输入的同步矢量的表格(2);图25是显示某个过程框内容的表格(2);图26是显示某个基础结构全面运动的一幅图;图27是显示自身字和给定字关系的图(1);图28是显示自身字和给定字关系的图(2);图29是显示有定义矢量的逻辑规定和接受条件的表格;图30是解释执行时有定义矢量状态的图(1);图31是显示执行时逻辑规定和接受条件的表格(1);图32是解释执行时有定义矢量状态的图(2);图33是显示执行时逻辑规定和接受条件的表格(2);图34是解释执行时有定义矢量状态的图(3);图35是显示执行时逻辑规定和接受条件的表格(3);图36是解释执行时有定义矢量状态的图(4);图37是显示执行时逻辑规定和接受条件的表格(4);图38是解释执行时有定义矢量状态的图(5);图39是显示执行时逻辑规定和接受条件的表格(5);图40是显示同步矢量的布置中关系的图(1);图41是显示同步矢量的布置中关系的图(2);图42是显示同步矢量的布置中关系的图(3);图43是显示同步矢量的布置中关系的图(4);图44是显示过程路由图实例的图(1);图45是显示过程路由图实例的图(2);图46是显示过程路由图实例的图(3);图47是显示过程路由图实例的图(4);图48是显示过程路由图实例的图(5);图49是显示过程路由图实例的图(6);图50是显示过程路由图实例的图(7);
图51是显示过程路由图实例的图(8);图52是显示过程路由图实例的图(9);图53是显示过程路由图实例的图(10);图54是显示过程路由图实例的图(11);图55是显示过程路由图实例的图(12);图56是显示过程路由图实例的图(13);图57是显示过程路由图实例的图(14);图58是显示过程路由图实例的图(15);具体实施方式
在下文中,将参考附图介绍本发明的一个实施例。
“同步结构的基础结构”在计算机上实现的信息处理的基本作用如下为了输出有目的的规定输出,首先输入一个规定的输入,通过引用规定输入字的内容,定义为规定的输出字,然后输出这个有目的的规定输出。执行这样一种基本角色的一种控制结构,在本文中规定为一种通用模型,无论有目的的规定输出可能如何规定,它都可以应用。
这里提供了若干程序(W02托盘;W03托盘带有称为W02i和W04M的子结构;以及W04托盘)。在每个托盘内部,一个规定的输入字数据区域、一个规定的输出字数据区域和一个边界字数据区域与同步矢量放置在一起,如图1所示。以这种方式形成的整个结构称为一个基础结构。
注意,数据区域是在计算机的存储器或硬盘驱动器之内设置。
下一步,为了解释本发明的同步结构,将介绍称为“结构准则”的重要事项,同时解释这个实施例中使用的术语。
(结构准则1)在结构准则1中,有定义的单元按照“字”对待。
(空)没有值的状态。例如,它表明在计算机存储器中规定一个数据区域时,在相应的数据区域中不存在数据值。
这里,在计算机中处理“空”时,随着使用的程序开发语言不同,描述方法需要改变。例如,在COBOL中的描述是“Low-Value”,在Visual-Basic中的描述是“Null”,在C中,表示为数据长度为0。
(有定义)某个值存在的状态,与没有值存在的状态相比较而言。例如,在计算机存储器中规定一个数据区域时,在相应的数据区域中存在某个值,它不是空的状态。
(字)其状态能够获知有定义存在的一个单元规定为“字”。只要该单元能够获知有定义存在,什么都能够规定为字。例如,在某个屏幕的情况下,某个人输入数据的屏幕数据区域或者计算机显示数据的区域都能够规定为字,通过给每个区域单元分配一个标识符,就成为字标识符。同样,在数据库、文件、通信媒介等的情况下,由每一种数据存取装置在记录格式之内建立的数据项都能够规定为字,通过给每个数据项单元分配一个标识符,就成为字标识符。此外,简单地由电信号处理计算机的输入/输出时,每个不同的信号能够规定为字,分别分配一个标识符,就成为字标识符。
(字的定义)在计算机存储器中的数据区域内某个值存在的状态,它附有一个字标识符。
(结构准则2)在结构准则2中,相应的字的逻辑规定和接受条件都满足时,建立“字定义”。这表明,相应的字的逻辑规定和接受条件是否都满足,是由是否建立了字定义来判断。
(逻辑规定)产生字定义的一个表达式。执行逻辑规定(执行某个表达式以产生字的定义)的结果是,字的定义就存在了。例如,假设某个要产生定义的字为A,而为了产生A的定义而引用的字为B和C,以下的表达式称为逻辑规定A=B+C,这里(B+C)的结果替换A,或者A=B,这里B的值简单地替换A。
执行逻辑规定(A=B+C)的结果是,如果B和C中没有值存在,就没有值替换A,即使已经执行了逻辑规定(A=B+C)。
相反,果B和C中有值存在,某个值就替换A,定义就存在了。
A中存在定义的状态表示为“逻辑规定已经满足”。
(自身字)对于基础结构处理的所有字,逻辑规定都存在时,选择一条逻辑规定,在这种情况下,从逻辑规定的观点,自身字是产生一个值的目标字。
例如,(A=B+C)用作逻辑规定时,产生一个值的目标是A,所以A是自身字。
(给定字)在自身字的逻辑规定中引用的字。
例如,(A=B+C)用作逻辑规定时,要引用的字是B和C,所以B和C是给定字。
(接受条件)接受执行逻辑规定之结果的条件。
例如,对于逻辑规定(A=B+C),如果包括字D和字E的条件设置为(D<E),(D<E)就是一种接受条件。
(有效)满足接受条件的状态。
例如,接受条件是(D<E)时,如果得到满足,那么就是有效。
(单元)包括字标识符(计算机存储器中字数据区域附带的标识符)、对应字的逻辑规定和接受条件的一个集合。
这个单元在图2中说明。
(单元形成)在字标识符和逻辑规定/接受条件的关系中存在的单元的形式。它是对字标识符建立定义的状态,作为执行形成的结果(也就是执行逻辑规定/接受条件)。注意,单元形成同样表明逻辑规定和接受条件都满足。再有,单元形成同样表明对字标识符因此建立了定义。所以,逻辑规定和接受条件是否都满足,能够由是否对字标识符建立定义来判断。
对该单元还将进行进一步的详细介绍。
假设有两个表达式(X=B+C)和(Y=B+C),将要验证是否能够确定满足(X=Y)。
注意,假设有字标识符X、Y、A、B、C和D,并且设置了X和Y的一个单元,如图3所示。
A=5,B=3,C=7和D=4时,X=10,Y=10。不过,X的接受条件变为无效,而Y的对应者变为有效。“X的逻辑规定/接受条件”和“Y的逻辑规定/接受条件”相同时,X=Y毕竟变为有效。
为了对一个字建立定义,逻辑规定和接受条件都需要。
(结构准则3)在结构准则3中,同步结构的目的是“对规定的输出字建立定义并输出到规定的输出”。
(规定单元)由计算机处理的输入/输出介质的实际存取单元。
例如,作为由计算机处理的输入/输出介质,有屏幕和放在存储器设备中的数据库、文件、与其它计算机通信所用的通信媒介等等。
对于这些输入/输出介质,为输入到计算机或者从计算机输出而配备的输入/输出单元被称为规定单元。
(规定的输出)由计算机输出到输入/输出介质的规定单元。
(规定的输出字)在规定的输出上规定的字。
例如,考虑规定的输出为屏幕,某个人输入数据的屏幕数据区域和计算机显示数据的区域都规定为“字”,相应的字被称为“规定的输出字”。
(规定的输入)由计算机从输入/输出介质输入的规定单元。
(规定的输入字)在规定的输入上规定的字。
例如,考虑规定的输入为一个数据库或一个文件,每个数据输入/输出单元在记录格式中建立的数据项都规定为字,相应的字被称为“规定的输入字”。
在计算机上实现的信息处理的目的可以说成是输出信息处理作业需要的规定的输出(一个屏幕、一个凭据和一个文件)。
相反,信息系统开发的目的是为了输出所需的规定的输出而产生进行信息处理的计算机程序。
从信息系统开发的立场来看,如果信息处理的目的仅仅是输出规定的输出,目标就太大了。所以,采取的立场是,信息系统开发的最小单元被视为“规定的输出字”,而“规定的输出是规定的输出字的一个集合”。
从“规定的输出是规定的输出字的一个集合”的立场,信息系统开发的目的,也就是计算机程序的目的如下-对规定的输出中存在的多个规定的输出字建立定义。
把对规定的输出字建立的定义输出到规定的输出,它是规定的输出字的一个集合。
(结构准则4)在结构准则4中,提供了一种时序控制函数和三种托盘作为基础结构的元素,并且每个角色都是校准的。
为一个规定的输入提供了一个W02托盘,为一个规定的输出提供了一个W04托盘,为整体提供了一个W03托盘。
(时序控制函数)为了在计算机中各自执行三种托盘的函数。而且,W02托盘包括一种功能,既检验输入到计算机的规定的输入,又检验规定的输入字的数据属性。
W03托盘是用于对规定的输出字建立定义的托盘。注意,在W03托盘中提供了以下两种虚托盘。W02i托盘是第一个虚托盘,包括从W02托盘接收规定的输入字的内容的功能。W04M托盘是第二个虚托盘,包括对规定的输出字建立定义的功能。
W04托盘包括编辑规定的输出字之定义和从计算机输出到目标规定的输出的功能。
(结构准则5)在结构准则5中,对于每一个字,规定的输入/输出的字标识符(字的数据区域)放在三种托盘中。相应的托盘处理如上放置的字时,这些字被称为“托盘字”。
W02托盘配备了一个规定的输入字和一个数据区域,接收输入到W02托盘的规定的输入字的内容。
W03托盘的W02i托盘配备了一个规定的输入字和一个字的一个数据区域,从W02托盘接收规定的输入字的内容。
W04M托盘配备了一个规定的输出字和一个字的一个数据区域,对规定的输出字建立定义。
W04托盘配备了一个规定的输出字和一个字的一个数据区域,规定的输出字之定义在其中编辑,以便从计算机输出到目标规定的输出。
注意,由同一字标识符给出托盘字标识符,作为规定的输入/输出的字标识符。
(结构准则6)在结构准则6中,(1)在托盘字为了建立定义而在逻辑规定/接受条件中引用的字当中,为了引用另一个基础结构处理的规定的输入/输出字的定义,在托盘字所属的托盘中,由另一个基础结构处理的规定的输入/输出字的同一字标识符提供了一个字数据区域,由相应的字标识符进行引用。
而且,(2)向另一个基础结构移交本基础结构处理的规定的输入/输出字之定义的托盘是W04M托盘。根据这个理由,为了从另一个基础结构能够引用,在W04M托盘中提供了一个规定的输入字的区域。
同时考虑以上的(1)和(2),这些字标识符的整体一般被称为“边界字”。
注意,其中提供边界字的托盘是W03托盘中的W04M托盘和W0M托盘。在这些托盘中,W04M托盘的边界字是另一个基础结构处理的规定的输入/输出的字标识符,为逻辑规定/接受条件而引用,从而一个托盘字建立了定义,并且同一基础结构中的规定的输入字的字标识符也引用了另一个基础结构。
W04托盘是另一个基础结构处理的规定的输入/输出的字标识符,其中一个托盘字引用接受条件。
其中提供了边界字的基础结构将从另一个基础结构复制边界字的定义。
由于这种便利,基础结构能够引用在另一个基础结构中建立的规定的输入/输出字的定义,而无需知道另一个基础结构是以何种状态执行的。
(结构准则7)在结构准则7中,规定了“同步矢量”作为实现信息处理逻辑的一个组件,不同于时序控制函数和三种托盘,它们是在基础结构中执行的,并且所有这种信息处理逻辑都是仅仅由同步矢量实现的。
(复制矢量)这是每个托盘字都提供的一个矢量。该矢量具有向其它托盘移交相应托盘中每个字建立之定义的功能。
作为复制矢量之一,Y3放在W02i托盘中,并且从W02托盘向W02i托盘移交定义。
同样,Y4是放在W04托盘中的复制矢量,并且从W04M托盘向W04托盘移交定义。
(定义矢量)这是每个托盘字都提供的一个矢量。作为定义矢量之一,L2放在W02托盘中,并且检验W02托盘字的数据属性。
同样,LI3是放在W02i托盘中的定义矢量,并且实现W02i托盘自身字的输入完成检验。
LM3是放在W04M托盘中的定义矢量,并且实现一个动作,使W04M托盘自身字的定义形成。
LM4是放在W04托盘中的定义矢量,并且编辑W04M托盘自身字。
(命令矢量)这是提供在规定的输出和规定的输入的单元中的一个矢量。
作为命令矢量之一,PI实现一个屏幕、一个数据库、一个文件、和一条通信消息等等的输入和输出。注意,W02托盘的命令矢量必须永远是一个输入命令矢量。同样,W04托盘的命令矢量必须永远是一个输出命令矢量。
(结构矢量)结构矢量PS永远放在W04托盘中,并且在执行W04托盘中的输出之后,初始化每个托盘自身字的数据区域。
(路由动作矢量)路由动作矢量PN是一个矢量,用于指定下列者的时序控制函数当前活化之托盘标识符的下一个活化之托盘标识符,下一个显示的屏幕标识符,以及一种新的/继续的之划分。
(R型复制矢量)复制矢量YR提供在边界字的单元中,引用另一个基础结构中建立的定义作为自身基础结构中的给定字时,它是用于复制自身基础结构中建立之定义的一个矢量。
(复制矢量型定义矢量)定义矢量LY提供在规定的输入字单元中,该字变为W04M边界字,并通过使用W02i的规定的输入字的定义,对W04M的规定的输入字建立定义。
(结构准则8)在结构准则8中,一个同步矢量放在三种托盘中,如图4所示。一个托盘字和一个边界字也一起介绍。
(结构准则9)结构准则9涉及两种方法,一种方法是三种托盘的执行次序和时序控制函数执行三种托盘,另一种方法形成一个基础结构与另一个基础结构的连接。
注意,(1)以W04托盘、W02托盘和W03托盘的次序执行三种托盘。以及,(2)在三种托盘中的同步矢量执行结束时执行的一个路由动作矢量放在所有托盘中,并且按照该路由动作矢量指定的内容;<1>时序控制函数激活指定的托盘标识符,以及<2>时序控制函数激活指定的其它基础结构。因此,执行了三种托盘,并且形成了一个基础结构与另一个基础结构的连接。
这一点在下文中还将详细介绍。
通过由时序控制函数串行地执行三种托盘(W02、W03和W04),能够获得一个控制数据区域,以形成一个基础结构连接。
注意,“托盘执行控制数据区域”包括前一个托盘ID、当前托盘ID和下一个托盘ID。在“前一个托盘ID”中,输入当前执行的托盘之前执行的托盘ID。在“当前托盘ID”中,输入当前执行的托盘ID。在“下一个托盘ID”中,输入下一个被激活的托盘ID。
一个“屏幕加载卸载控制数据区域”包括一个“前一个屏幕ID”——在其中输入当前显示的屏幕之前显示的屏幕ID,一个“当前屏幕ID”——在其中输入当前显示的屏幕ID,以及一个“下一个屏幕ID”——在其中输入下一次要显示的屏幕ID。
在托盘字区域中,提供了一个初始化控制数据区域,并且登记着“新的”或“继续的”的一种划分。例如,“新的1”表明,在托盘ID堆栈中从当前托盘ID到下一个托盘ID的范围内,清空托盘字的数据区域——到指定的时间点为止,该区域已经被激活。“继续的2”表明,激活下一个托盘ID而不清空托盘区域。
“通过激活路由动作矢量指定的托盘ID,时序控制函数串行地执行三种托盘,如图5所示。”注意,“路由动作矢量”向时序控制函数指定了下一个被激活的托盘ID、下一次要显示的屏幕ID和新的/继续的之划分。结果,三种托盘依次执行。
确切地说,如果有多个托盘ID下一次要被激活,就为每个托盘ID都提供路由动作矢量。对于W04托盘,指定W02托盘。对于W02托盘,指定W03托盘或者W04托盘。对于W03托盘,指定W04托盘。
下一步,基础结构运行时三种托盘(W02、W03、W04)的动作将解释如下。
A.激活时序控制函数。
B.时序控制函数激活W04托盘。->处理W04托盘(输出规定的输出)。->控制返回到时序控制函数。
C.时序控制函数激活W02托盘。->处理W02托盘(输入规定的输入)。->控制返回到时序控制函数。
D.时序控制函数激活W03托盘。->处理W03托盘(对规定的输出字建立定义)。->控制返回到时序控制函数。
E.时序控制函数激活W04托盘。->处理W04托盘(输出规定的输出)。->控制返回到时序控制函数。
F.所以,通过重复(C.->D.->E.),能够获得目标规定的输出。
通过激活指定的基础结构,时序控制函数实现了基础结构连接的形成,如图6所示。
注意,路由动作矢量指定了时序控制函数下一次要激活的另一个基础结构。
下一步,基础结构连接的动作将解释如下。
A.时序控制函数激活W03托盘。->处理W02托盘。->W04M托盘的路由动作矢量指定了下一次要激活的另一个基础结构。->控制返回到时序控制函数。
B.时序控制函数激活另一个基础结构。->处理另一个基础结构。->控制返回到时序控制函数。
C.时序控制函数激活W04M托盘。->处理W04M托盘。换句话说,->W04M托盘的路由动作矢量指定了下一次要激活的另一个基础结构。->控制返回到时序控制函数。
D.所以,通过重复(B.->C.),基础结构连接过程执行需要的次数。
E.W04M托盘的路由动作矢量指定了同一基础结构中的W04M托盘而没有指定下一次要激活的另一个基础结构时,基础结构连接过程结束,时序控制函数激活同一基础结构中的W04M托盘。
只有一个时序控制函数时,通过指定另一个基础结构的W04托盘激活,实现了基础结构连接的形成,如图7所示。
下一步,路由动作矢量的处理方案(处理流程)显示在图8至图10中。
图8显示了由路由动作矢量PN指定下一次要激活托盘ID的情况。图9显示了指定下一次要激活基础结构(K0)的情况。图10显示了指定下一次要激活基础结构(T1)的情况。
注意,(1)路由动作矢量判断执行条件,并且自主执行处理。每个托盘必须仅仅简单地执行路由动作矢量。
(2)在路由动作矢量所属之托盘执行结束的阶段,路由动作矢量执行的第一项处理,是向时序控制函数指定下一次要激活的托盘ID、下一次要显示的屏幕ID以及新的/继续的之划分(见图8)。换句话说,如果有多个托盘ID下一次要被激活,就为多个托盘ID中的每一个都提供路由动作矢量。
(3)在路由动作矢量所属之托盘执行结束的阶段,路由动作矢量执行的第二项处理,是向时序控制函数指定下一次要激活的另一个基础结构。注意,如果后面介绍的基础结构(K0)要被激活,就为了激活K0而提供一个路由动作矢量(见图9)。同样,如果后面介绍的基础结构(T1)要被激活,就在T1处理的规定的输入和规定的输出之输入/输出命令矢量的单元中提供路由动作矢量(见图10)。
要向规定的输入提供的执行条件,包括(1)W04M是否在重启动状态下的判断,以及(2)规定的输入是否涉及该条件的判断。
相反,在规定的输出的单元中提供的执行条件,包括(1)输出规定的输出的的条件,以及(2)另一个基础结构是否不影响输出所涉及的规定的输出之判断。
(结构准则10)第10个结构准则是“自动定向”。
自动定向表明以下两条规则(1)为每个托盘字提供处理该托盘字的定义的同步矢量之一;以及(2)处理托盘字的定义的同步矢量仅仅处理相应字的定义,而不处理其它字的定义。
处理托盘字的定义的同步矢量包括以下的同步矢量,一般被称为“时序控制矢量”。
W04托盘 Y4复制矢量 L4定义矢量W02托盘 L2定义矢量W02i托盘 Y3复制矢量 LI3定义矢量W04托盘 YRR型复制矢量LY复制矢量型定义矢量LM3定义矢量时序控制矢量视为目标的托盘字简单地称为“自身字”结构准则10的效果如下。
(1)时序控制矢量仅仅处理自身字的定义,对于多个托盘字,由多个时序控制矢量分别处理不同的自身字。所以,即使一个自身字的时序控制矢量从托盘中删除或者增加到托盘上,对其它时序控制矢量也没有影响。这可以称为“时序控制矢量的独立性”。
(2)为了信息系统的维护,要执行在规定的比如屏幕、数据库或文件中存在的字的增加或删除,而与相应的规定有关的程序维护能够按照要增加或删除的字,简单地通过增加或删除时序控制矢量来实现。所以,不必检验由于字的增加或删除对其它时序控制矢量的影响。
(结构准则11)结构准则11表明(1)一旦规定了一个字——它是有定义的一个单元,时序控制矢量的处理方案(处理流程)将对任何字都采取相同的处理方案;以及(2)时序控制矢量仅仅处理自身字的定义。
注意,作为时序控制矢量的执行条件,要判断在自身字中是否存在定义。作为一种判断方法,使用 “自身字内容=空?”或者“自身字内容=非空?”,按照时序控制矢量的类型选择使用。
在托盘字的单元中提供了这里介绍的复制矢量。那么,与放在复制矢量中之托盘的某个自身字具有相同标识符的其它托盘字的定义,复制到自身字中。同样,不同自身字的复制矢量只是在自身字的标识符上不同,而处理方案是相同的。
复制矢量Y3、复制矢量Y4和R型复制矢量YR的处理流程,分别显示在图11至图13中。
如图14至图18所示,定义矢量表示处理方案中单元的一种概念。在托盘字的单元中,为一个托盘字提供了一个。多个自身字的多个定义矢量仅仅在它们的自身字标识符上不同,每个自身字之间的不同部分显示为粗体字的格表示的步骤。
注意,图15中的“Nop”表示“无操作”。
结构准则11的效果如下。
(1)通过使用“自身字中存在定义吗?(自身字=空?)”作为时序控制矢量的执行条件,处理在定义的逻辑可以由字的单元来进行。
(2)时序控制矢量根据执行条件(自身字=空?),自主地进行其处理,因此,每个托盘可以仅仅执行时序控制矢量。
(3)因此,无须确定详细开发需求的步骤,就能够进行信息系统开发工作。
每个时序控制矢量都是根据字单元而提供。时序控制矢量具有相同的处理方案,只是字标识符不同,所以信息系统开发期间要核实的内容,是带有时序控制矢量的每一个自身字中仅有的差异部分。
对于时序控制矢量,每一个自身字中的逻辑差异是以下内容,它也是信息系统开发期间要核实的内容。
L2 定义矢量属性检验,接受条件LI3定义矢量逻辑规定,接受条件LY 复制矢量型定义矢量逻辑规定,接受条件LM3定义矢量逻辑规定,接受条件L4 定义矢量编辑,接受条件,消息论及信息系统作为“信息系统开发需求”而需要的逻辑,对每一个自身字都能够简单地确定以上内容。所以,不需要详细的过程,比如利用整体逻辑的分析和分析后逻辑的分解来一个一个地确定。
(结构准则12)在基础结构已经输出目标规定的输出的阶段,提供了两种同步矢量,其中用于执行计算机处理的托盘字的数据区域被清空,并且每个拒绝旗标都设置为ON,它将形成一个“结构动作矢量”。
时序控制矢量和命令矢量——它们处理定义——把“托盘字=空?”作为执行条件。所以,通过清空托盘字的数据区域来执行时序控制矢量和命令矢量时,它们进行一项工作来对托盘字建立一项新的定义。
结构动作矢量的一个处理流程显示在图19和图20中。
首先注意,(1)结构动作矢量放在W04托盘中。
(2)在基础结构已经输出目标规定的输出的阶段,结构动作矢量清空规定的输出的托盘字数据区域(W04托盘一个规定的输出字,W04M托盘一个规定的输出字),并且清空规定的输入的托盘字数据区域——它已经变为规定的输出字的给定字。规定的输入的托盘字表示W02i规定的输入字和W02规定的输入字。
(3)在变为托盘字的规定的单元中,提供了结构动作矢量。
(结构准则13)在这个结构准则中,(1)对于每一个处理规定的输入/输出的输入/输出命令,都提供处理规定的输入/输出的同步矢量。输入/输出命令的实例包括“打开规定单元”、“关闭规定单元”、“读取规定单元”、“输出到规定单元”等等。
(2)对于处理输入/输出的每一个同步矢量,在W04M托盘中提供了一个控制框,它具有以下内容。<1>相应的同步矢量的输入/输出命令的执行状态(接受、拒绝),相应的同步矢量的执行结果。<2>相应的存取键,利用同步矢量读写一个规定单元时,如果相应的规定单元具有执行读写的存取键。
(3)输入命令矢量是一个处理输入/输出的同步矢量,放在W02托盘中。对处理规定的输入的每一个执行命令都提供输入命令矢量。另一方面,输出命令矢量是一个处理输入/输出的同步矢量,放在W04托盘中。对处理规定的输入的每一个执行命令都提供输出命令矢量。
(4)执行时,根据一个“执行条件”——输入/输出命令是否必须执行,在作出判断之后运行处理输入/输出的同步矢量。利用这个方案,当托盘执行处理输入/输出的同步矢量时,它就能够简单地执行。
处理输入/输出的、执行的同步矢量根据“执行条件”自行判断,并且自主执行处理。
输入/输出同步矢量的基本处理方案的流程显示在图21中。
下一步,如果规定的输入ID=In设置为规定的输入的同步矢量的一个实例,如图22所示,图21中流程图的每个有关框的内容如图23所示。
输入/输出命令遵循运行基础结构的计算机提供的存取方法,或者程序的编程语言提供的输入/输出命令的说明描述。
至于规定单元关闭同步矢量的执行条件中包括的其它执行条件,介绍关闭规定单元的计时。
例如,文件结束(等于最后一个规定单元已经读出)等等。
下一步,如果规定的输出ID=Out设置为规定的输出的同步矢量的一个实例,如图24所示,处理流程图的每个有关框的内容如图25所示。
注意,输入/输出命令遵循运行基础结构的计算机提供的存取方法,或者程序的编程语言提供的输入/输出命令的说明描述。
至于规定单元关闭同步矢量的执行条件中包括的另一个执行条件,介绍关闭规定单元的计时。例如,“所有规定的输入都已关闭”等等。
(结构准则13的效果)按照结构准则13,(1)一个托盘可能仅仅简单地执行一个输入/输出同步矢量。换句话说,该输入/输出同步矢量对于规定的输入/输出,自主执行输入/输出命令。
(2)如果规定的输入/输出的存取方法改变了,也仅仅应当改变输入/输出同步矢量的输入/输出命令。换句话说,另一个同步矢量不受影响,所以不必改变它。这是从以下事实推断出的对规定的输入/输出的输入/输出命令仅仅输入到该输入/输出同步矢量,而不输入到另一个输入/输出同步矢量。
(3)如果在规定的输入/输出记录格式之内执行某个字的增加或删除,<1>要执行托盘字的增加或删除,以及<2>增加或删除可能在时序控制矢量中执行,该矢量是按照字的增加或删除,对一个托盘字配备一个。
结果,按照规定的输入/输出的变化改变基础结构变得极为容易。同样,对于规定的输入/输出的输入/输出同步矢量和处理托盘字定义的时序控制矢量也互不影响。所以,提供了以下特征“从规定的输入输入在逻辑规定中被规定的输出字引用的一个规定的输入字”、“向规定的输出输出建立了定义的、规定的输出字”以及“对规定的输出字建立定义”被完全分开。
(结构准则14)整个基础结构的动作将被显示。
参考图26,将介绍从规定的输入获得规定的输入字,然后向规定的输出输出规定的输出字的动作。
(1)时序控制矢量激活W02托盘。注意,W02托盘。执行PI输入命令矢量。
(2)如果W02托盘字区域为空,PI输入命令矢量从规定的输入输入从规定的输入字作为W02托盘字;如果有定义保留在W02托盘字区域,PI输入命令矢量不作任何事而结束。W02托盘使L2定义矢量执行的次数多至再次启动所需的数目。多个W02托盘字配备了相同数目的L2定义矢量。
(3)如果自身字中存在定义,L2定义矢量就检验定义属性。如果定义的属性检验为无效,检验结束。如果定义的属性检验为有效,则判断接受条件。如果接受条件为无效,检验结束。如果接受条件为有效,L2拒绝旗标设置为OFF。
下一步,W02托盘使PN路由动作矢量被执行。
(4)PN路由动作矢量把以下内容设置到时序控制函数中处理的控制数据区域。
下一个托盘ID=W03托盘ID,下一个屏幕ID=下一次显示的屏幕ID,新的/继续的之划分=(继续的2)。
完成了以上处理之后,W02托盘执行结束。然后,当W02托盘执行结束时,一个新的W02托盘字输入到W02托盘中并执行属性检验。然后控制返回时序控制函数。因为新的/继续的之划分=(继续的2),所以时序控制函数并不清空托盘字区域。因为下一个托盘ID=W03托盘,所以时序控制函数激活W03托盘。W03托盘激活W02i托盘。
多个W02i托盘字配备了相同数目的Y3复制矢量和LI3定义矢量。W02i托盘使Y3复制矢量执行的次数多至配备的数目。
(5)对于标识符与自身字标识符相同的W02托盘字,Y3复制矢量判断其中是否存在定义。如果定义存在,标识符与自身字标识符相同的W02托盘字的定义就复制到该自身字中。如果定义不存在,它就结束而不作任何事。W02i托盘执行的次数多至它们与Y3复制矢量配备的数目。
(6)LI3定义矢量判断在自身字中不存在定义。如果定义存在,它就结束而不作任何事。如果定义不存在,它就执行逻辑规定。执行逻辑规定的结果是,如果定义不存在它就结束。执行逻辑规定的结果是,它判断接受条件是否定义存在。如果接受条件为无效它就结束。如果接受条件为有效,L3拒绝旗标设置为OFF。
L3拒绝旗标ON表示规定的输入中没有输入任何内容。在这个阶段,无论是从W02托盘移交到W02i托盘并输入还是没有输入,都已经检验了规定的输入字的定义。
下一步,控制返回W03托盘。W03托盘激活W04M托盘。在W04M中配备了作为边界字的规定的输入字,也配备了相同数目的LY复制矢量型定义矢量。W04M托盘执行的次数多至它们配备的数目,并伴随着再次启动LY复制矢量型定义矢量。
(7)LY复制矢量型定义矢量判断在自身字中不存在定义。注意,如果定义存在,它就结束而不作任何事。如果定义不存在,它就仅仅根据标识符与自身字相同的W02i托盘中规定的输入字的定义,对自身字建立定义。执行逻辑规定的结果是,如果在辅助区域中定义不存在它就结束。逻辑规定的结果是,它判断接受条件在辅助区域中是否定义存在。注意,如果接受条件为无效它就结束。如果接受条件为有效,它就从自身字的辅助区域对自身字建立定义,并设置拒绝旗标OFF来结束。
下一步,在W04M中配备了边界字,也配备了相同数目的YRR型复制矢量。W04M托盘执行的次数多至YRR型复制矢量配备的数目。
(8)如果另一个基础结构具有与自身字相同的字标识符,它的W04M中的字标识符内定义存在,LRR型复制矢量就把定义复制到自身字。如果定义不存在,它就结束而不作任何事。注意,配备了与W04M托盘字相同数目的LM3定义矢量。同样,对规定的输出字--它是一个W04M托盘字,每个字也配备了一个有助于定义形成的辅助区域。W04M托盘执行的次数多至它们配备的数目,并伴随着再次启动LM3定义矢量。
(9)LM3定义矢量判断在自身字中不存在定义。如果定义存在,它就结束而不作任何事。如果定义不存在,它就通过把边界字和W04规定的输出字作为给定字W02i规定的输入字,对自身字的辅助区域建立定义。执行逻辑规定的结果是,如果在辅助区域中定义不存在它就结束。逻辑规定的结果是,它判断接受条件在辅助区域中是否定义存在。注意,如果接受条件为无效它就结束。如果接受条件为有效,它就从自身字的辅助区域对自身字建立定义,并设置拒绝旗标OFF来结束。
W04M托盘对比两种状态一种是执行LY复制矢量型定义矢量和LM3定义矢量之前托盘字的状态,另一种是执行LY复制矢量型定义矢量和LM3定义矢量之后托盘字的状态。如果在这一点上有差异,它再次执行LY复制矢量型定义矢量和LM3定义矢量的整体。如果它们相同,它就移动到下一步而不激活再次启动。
下一步,W04M托盘执行PN路由动作矢量。
有两种PN路由动作矢量。
<1>指定时序控制函数激活另一个基础结构的PN路由动作矢量。
<2>指定时序控制函数激活W04托盘的PN路由动作矢量。
(10)对于另一个基础结构需要输入的每一个规定的输入,以及对于另一个基础结构需要的规定的输出的每一个输出命令矢量,都配备了一个指定时序控制函数激活另一个基础结构的PN路由动作矢量,以下是作为执行条件的判断。
换句话说,对于另一个基础结构的每一个规定的输入配备的PN路由动作矢量,它的执行条件如下。
<1>W04M再次启动?<2>相应的规定的输入的输入条件?同样,对于每个另外的规定的输出配备的PN路由动作矢量,它的执行条件如下。
<1>对于规定的输出,输出条件有效?<2>在另一个基础结构没有执行规定的输出的相应输出?如果在这一点上执行条件为有效,就指定申请激活的基础结构的标识符。如果执行条件为无效,它就结束而不作任何事。如果没有指定申请激活的基础结构的标识符,时序控制函数就不作任何事。如果已经指定了中请激活的基础结构的标识符,时序控制函数就激活另一个基础结构。注意,在另一个基础结构被激活且其执行结束之后,控制返回时序控制函数。
下一步,时序控制函数再次激活W04M托盘。
通过激活另一个基础结构,W04自身字引用规定的输入/输出字--它们是由另一个基础结构输入/输出的--的定义作为给定字,并且建立定义。
(11)如果在基础结构中存在多个W04托盘,指定时序控制函数激活W04托盘的PN路由动作矢量就具有一个执行条件基础结构中存在的哪一个W04托盘要被激活。如果该执行条件满足,它就向时序控制函数指定下一个托盘ID=W04托盘ID,下一个屏幕ID=屏幕ID,以及新的/继续的之划分。
时序控制函数激活指定的W04托盘。这时,如果指定为新的/继续的之划分=(新的1),它就以其激活的次序,设置至今已经激活的W04托盘、W02托盘和W03托盘,并且如果指定的W04托盘在它们之中,它就以设置的次序,从相应的W04托盘至托盘的最后一个,清空托盘字数据区域。
下一步,W04托盘执行Y4复制矢量。为每一个W04托盘字都配备了这个Y4复制矢量。
(12)如果字标识符与自身字相同的W04托盘字中定义存在,Y4复制矢量就把定义复制到自身字并结束其处理。如果定义不存在,它就结束而不作任何事。
W04托盘执行L4定义矢量。为每一个W04托盘字都配备了这个L4定义矢量。
(13)L4定义矢量执行编辑,以便把自身字的定义输出到规定的输出。把托盘字输出到规定的输出时,如果需要一条消息,它就判断接受条件并设置一个消息号。
这时,有两种接受条件字标识符与自身字相同的W02拒绝旗标、W02i拒绝旗标和W04M拒绝旗标是否为ON;以及其它接受条件是否满足。
下一步,W04托盘执行PI输出命令矢量。
(14)PI输出命令矢量从W04托盘字把W04托盘字的定义输出到规定的输出。注意,如果规定的输出是屏幕,该输出就无条件执行。如果规定的输出是数据库或文件,就要确定对于每一个W04托盘字都已经建立了定义。如果还没有对于每一个W04托盘字都建立定义,该处理就结束而不作任何事。如果对于每一个W04托盘字都已经建立了定义,就执行输出命令。
如果正常执行了输出命令,就把输出命令执行状态和命令执行结果设置为ON并结束。如果输出命令没有正常执行,就把输出命令执行状态和命令执行结果设置为OFF并结束。
W04托盘执行PS结构动作矢量。为每一个规定的输入和规定的输出都配备了这个PS结构动作矢量。
(15)有两种PS结构动作矢量。第一种确定PI输出命令矢量已经执行了输出命令(无论正常地还是异常地),并且如果已经执行了输出命令,把对其执行了输出命令的W04托盘字和W04M托盘字清空。这表示,把对其执行了输出命令的规定的输出之W04M托盘字引用为给定字的字清空,也就是W04M规定的输入字、W02i托盘字和W02托盘字。
第二种把每个托盘字的拒绝旗标(W02拒绝旗标、W02i拒绝旗标和W04M拒绝旗标)设置为ON。下一步,W04托盘执行PN路由动作矢量。
(16)PN路由动作矢量向时序控制函数指定下一个托盘ID=W02托盘ID,下一个屏幕ID=屏幕ID,以及新的/继续的之划分1。W04托盘如此结束之后,控制返回时序控制函数。如果规定的输出是屏幕,输出就是屏幕,某个人执行屏幕操作并且在按下执行按钮等等之后等待执行事件的发生。注意,如果执行事件发生了,控制再次返回时序控制函数。然后时序控制函数激活W02托盘。
如果规定的输出是数据库或文件,时序控制函数就激活W02托盘。
(结构准则15)结构准则15是“数据连接”。这里,数据连接表明建立的字之定义的引用,替换了对要引用之字建立定义的所有逻辑。
处理字的定义的时序控制矢量的执行条件是“自身字=空?”。
同样,对于所有的托盘字,在字单元中配备了一个定义矢量。
此外,一个定义矢量具有一个逻辑规定和一个接受条件。注意,对于自身字,定义的形成表明逻辑规定和接受条件已经得到满足。
逻辑规定是仅仅对自身字产生定义的一个表达式,但是通过收集所有字的逻辑规定,就通过自身字和给定字的关系表达了所有字的关系。从这一点,可以说如果定义矢量是由某个托盘执行,“对某个给定字建立的定义就是对该给定字建立定义的所有逻辑的执行结果”,这是对于定义矢量中逻辑规定内引用的给定字而言。
所以,引用定义矢量的逻辑规定内给定字的定义,替换了对给定字建立定义的所有逻辑。
以下结果是通过这个结构准则15(数据连接)获得的。
(1)对于每一个字都可以说明逻辑规定,而不必考虑字的复杂关系。换句话说,通过限定仅仅对于自身字引用的给定字的关系,也可以说明逻辑规定。
(2)说明所有字之逻辑规定的结果表示了字的复杂关系。说明逻辑规定时,不必分析所有字的关系。
(3)由某个托盘执行逻辑矢量时(也就是,执行逻辑规定时),通过使用数据连接来实现字之间的所有关系的逻辑。
基础结构执行三种数据连接由复制矢量(Y3、Y4)和复制矢量型定义矢量(LY)执行的三种托盘之中的数据连接;由复制矢量(YR)执行的基础结构之间的数据连接;以及定义矢量(LM3)执行的字间逻辑的数据连接。
(1)由复制矢量(Y3复制矢量、Y4复制矢量)和LY复制矢量型定义矢量执行的三种托盘之中的数据连接。
(2)由复制矢量(YRR型复制矢量)执行的基础结构之间的数据连接。
(A)在W02托盘中,一个规定的输入输入到W02托盘字中。L2定义矢量在自身字的内容上执行属性检验。
(B)在W02i托盘中,Y3复制矢量复制了标识符与自身字相同的W02托盘字的定义。然后,LI3定义矢量对自身字执行定义形成动作。注意,LI3定义矢量通过处理自身字——它是复制矢量复制的结果——的定义,替换了在W02托盘中执行的逻辑。
(C)在W04M托盘中,LY复制矢量建立了标识符与自身字相同的W02i托盘字的定义。注意,YRR型复制矢量复制了标识符与边界字相同的另一个基础结构处理的规定的输入/输出字的定义。同样,LM3定义矢量通过使用W02i规定的输入字、边界字和W04M规定的输入字作为给定字,建立了自身字的定义。LM3定义矢量通过引用给定字——它是Y3复制矢量和YRR型复制矢量复制的结果——的定义,替换了利用W02托盘执行的逻辑和利用另一个基础结构执行的逻辑。
(D)在W04托盘中,Y4复制矢量复制了标识符与自身字相同的W04托盘字的定义。注意,L4定义矢量编辑自身字的定义。同样,PI输出命令矢量把W04托盘字的定义输出到规定的输出。注意,L4定义矢量通过处理自身字——它是Y4复制矢量复制的结果——的定义,替换了利用W02托盘、W02i托盘、另一个基础结构和W04M托盘执行的逻辑。
由输出命令矢量输出的W04托盘字的定义,是所有逻辑的执行结果。
(3)LI3定义矢量执行的字间逻辑的数据连接。
利用自身字的逻辑规定,从自身字来看,在逻辑规定中仅仅说明给定字就足够了。这时,给定字自身也像自身字一样具有逻辑规定。所以,不必考虑给定字的逻辑规定。注意,为每一个W04M托盘字(规定的输出字)都配备了一个LM3定义矢量。这个LM3定义矢量的逻辑规定建立了LM3定义矢量之自身字的定义。利用逻辑规定,指定了自身字和该自身字引用的给定字之间的关系。
假设例如对于W04M托盘字,有A、B、C、D和E,对应的LM3定义矢量指定为A-LM3、B-LM3、C-LM3、D-LME和E-LM3,关于W04M规定的输入字有Ai和Bi,关于W04M边界字有Q、R、S、T和U。
这里假设W04M托盘字的逻辑规定说明如下A-LM3逻辑规定A=Ai+Q+RB-LM3逻辑规定B=BiC-LM3逻辑规定C=B+SD-LM3逻辑规定D=A+T+UE-LM3逻辑规定E=C+D这时,如果要表达自身字和给定字的关系,就采取如同图27中显示的、已经介绍的意义。
在图27中,一个箭头表示从自身字来看,要引用的给定字。
为每一个W04M托盘字都配备了一个LM3定义矢量,对所有LM3定义矢量说明逻辑规定的结果是,能够把字之间的关系领会为自身字和给定字的关系连接。执行W04M托盘字的LM3定义矢量时,就执行了其逻辑规定。这时,自身字和给定字的关系沿着图28中箭头<-指出的执行方向。
执行了A-LM3逻辑规定A=Ai+Q+R,就对A建立了定义。
执行了B-LM3逻辑规定B=Bi,就对B建立了定义。
执行了C-LM3逻辑规定C=B+S,就对C建立了定义。
这时,对B的引用的意义等同于把一个表达式(B=Bi)替换到B中。
执行了D-LM3逻辑规定D=A+T+U,就对D建立了定义。
这时,对A的引用的意义等同于把一个表达式(A=Ai+Q+R)替换到A中。
执行了E-LM3逻辑规定E=C+D,就对E建立了定义。
这时,对C的引用的意义等同于把一个表达式(C=B+S)以及另外一个表达式(C=Bi+S)替换到C中。
这时,对D的引用的意义等同于把一个表达式(D=A+T+U)以及另外一个表达式(D=(Ai+Q+R)+T+U)替换到D中。
关于边界字Q、R、S、T和U,采取的意义如同对某个数据连接的引用,该数据连接是另一个基础结构执行的逻辑规定的执行结果。
(结构准则16)结构准则16涉及“再次启动”。
“再次启动”表示多次执行同步结构的相互独立的矢量。
通常,计算机程序中介绍的“循环过程”限于以下三种同步结构。
(1)激活基础结构内部三种托盘的次序。
换句话说,使W04托盘、W02托盘和W03托盘以这个次序运行。
(2)基础结构与另一个基础结构连接。
由W04M路由动作矢量的指令执行基础结构连接。
(3)利用W04M托盘执行的再次启动过程。
为了伴随再次启动而执行某个托盘内部的整体定义矢量。
注意,对于同步结构,仅仅在产生一个路由动作矢量时,才需要考虑移动同步结构之矢量的次序。激活同步结构内部三种托盘的任务和执行基础结构连接的任务限于下一次要激活的托盘ID和下一次要激活的基础结构ID——它们是由路由动作矢量指定的。
放在托盘中的同步矢量,可以按照相同种类的每一个同步矢量的放置次序放置。换句话说,同步矢量具有以下特征。
(1)放置同步矢量的次序变为对字建立定义和输出字定义的普通次序。
(2)执行时同步矢量自主执行处理。
(3)通过整体上执行伴随着再次启动的、托盘中的定义矢量,能够不考虑多个定义矢量和多个动作矢量的处理次序而实现字间逻辑的数据连接。
下面介绍W04M托盘内部执行的再次启动的一个实例。
在W04M托盘字中,有A、B、C、D和E,逻辑规定辅助区域假设为A-w、B-w、C-w、D-w和E-w。
假设对应的LM3定义矢量指定为A-LM3、B-LM3、C-LM3、D-LME和E-LM3。
假设关于W04M规定的输入字有Ai和Bi,关于W04M边界字有Q、R、S、T和U。
该定义矢量的逻辑规定和接受条件在图29中说明,并且假设执行次序是放置定义矢量时的次序。
W04M托盘执行整个LM3定义矢量,伴随着它们的再次启动。
在伴随着再次启动而执行的状态的情况下,输入Ai=2和Bi=8,以获得Q=4、R=1、S=6、T=11和U=9,图30至图39显示了每个值的变换。
在每张图中,一个矩形格表示一个数据区域。从复制矢量复制W04M规定的输入字的定义和边界字的定义的阶段进行讲解。
首先,第一次执行显示出的改变如图32和图33所示。
注意,对于E-w,在执行E-LM3之时,没有建立定义,因为对给定字C和D没有建立定义。
对于C-w,满足了接受条件,它获得了定义=‘6’,在执行C-LM3之时,对给定字C没有建立定义,因为对给定字B没有建立定义。
对于D-w,满足了接受条件,它获得了定义=‘20’,在执行D-LM3之时,对给定字D没有建立定义,因为对给定字A没有建立定义。
对于A-w,建立了定义=‘7’,但是由于(“B=空”),A-LM3的接受条件没有满足,所以对A没有建立定义。
对于B-w,建立了定义=‘8’,并且满足了B-LM3的接受条件,所以对B建立了定义=‘8’。
W04M托盘对比两种状态一种是执行LM3定义矢量之前托盘字的状态,另一种是执行LM3定义矢量之后托盘字的状态。
结果,托盘字的状态与前一个状态不同,所以整个LM3定义矢量再次执行。
第二次执行显示出的改变如图34和图35所示。
注意,对于E-w,在执行E-LM3之时,没有建立定义,因为对给定字C和D没有建立定义。
对于C-w,获得了定义=‘14’并且满足了接受条件,所以对C建立了定义=‘14’。
对于D-w,满足了接受条件,它获得了定义=‘20’,但是在执行D-LM3之时,对给定字D没有建立定义,因为对给定字A没有建立定义。
对于A-w,对给定字建立了定义,所以获得了定义=‘7’。这时,接受条件得到满足,所以对A建立了定义=‘7’。
因为已经建立了定义,所以B-LM3没有做任何事。
W04M托盘对比两种状态一种是执行LM3定义矢量之前托盘字的状态,另一种是执行LM3定义矢量之后托盘字的状态。
注意,托盘字的状态已经从前一个状态改变了,所以整个LM3定义矢量再次执行。
在第三次执行时,状态变为如图36和图37所示。
对于E-w,满足了接受条件,它获得了定义=‘14’,但是在执行D-LM3之时,对给定字D没有建立定义,所以对E没有建立定义。
因为已经建立了定义,所以C-LM3没有做任何事。
对于D-w,对给定字建立了定义,所以在第三次执行时获得了定义=‘27’,并且满足了接受条件,所以对D建立了定义=‘27’。
因为已经建立了定义,所以A-LM3和B-LM3没有做任何事。
W04M托盘对比两种状态一种是执行LM3定义矢量之前托盘字的状态,另一种是执行LM3定义矢量之后托盘字的状态。注意,它们互不相同,所以整个LM3定义矢量再次执行。
在第四次执行时,状态变为如图38和图39所示。
注意,对于E-w,对给定字建立了定义,所以获得了定义=‘41’。接受条件得到满足,所以对E建立了定义=‘41’。
因为它们已经建立了定义,所以C-LM3、D-LM3、A-LM3和B-LM3没有做任何事。
W04M托盘对比两种状态一种是执行LM3定义矢量之前托盘字的状态,另一种是执行LM3定义矢量之后托盘字的状态。注意,它们互不相同,所以整个LM3定义矢量再次执行。
在第五次执行时,因为它们已经建立了定义,所以E-LM3、C-LM3、D-LM3、A-LM3和B-LM3没有做任何事。
对于第五次执行,W04M托盘结束再次启动,因为执行LM3定义矢量之前托盘字的状态和执行LM3定义矢量之后托盘字的状态的比较结果是相同的。
(结构准则17)当基础结构应用到计算机过程时,根据要处理的规定的输出,通过划分成三个种类,应用以下方法。
通过分配指向各自基础结构(T0、T1、K0)的规定的输出,每个基础结果的任务限于相应的规定的输出。
通过共同激活其任务有限的基础结构(T0、T1、K0),可以采用多种处理模式。
注意,T0是对于人的操作有关之过程的一个基础结构。例如,如果目标输出是一个屏幕,φ0就是T0的时序控制函数,它激活T0的每个托盘并执行对于T0、K0的单元。T0W02是T0的W02时序控制函数,把屏幕字的内容取进基础结构中。
T0W03是T0的W03时序控制函数,为屏幕字建立定义。
T0W02i是T0W03中配备的虚托盘,为输入处理屏幕字。
T0W04M是T0W03中配备的虚托盘,为输出处理屏幕字并建立定义。
T0W04是T0的W04托盘,它编辑屏幕字并把屏幕字的内容设置进屏幕中。
下一步,T1是对于不涉及人的操作之过程的一个基础结构。如果目标输出是一个数据库或者一个文件,φ1就是T1的时序控制函数,它激活T1的每个托盘并执行对于T0、K0的单元。
T1W02是T1的W02时序控制函数,把规定的输入字的内容取进基础结构中。
T1W03是T1的W03时序控制函数,对规定的输出字建立定义。
T1W02i是T1W03中配备的虚托盘,处理规定的输入字。
T1W04M是T1W03中配备的虚托盘,对规定的输出字建立定义。
T1W04是T1的W04托盘,它编辑规定的输出字并把规定的输出字的内容输出到规定的输出中。
K0是对非规定的字建立定义的一个基础结构。如果目标输出是非规定的字,φK就是K0的时序控制函数,它激活K0的每个托盘并执行对于T0、T1的单元。
K0W02是K0的W02托盘函数,没有基本作用。
K0W03是K0的W03托盘函数,对K0字建立定义。
K0W02i是K0W03中配备的虚托盘,处理作为输入的K0字。
K0W04M是K0W03中配备的虚托盘,通过处理作为输出的K0字来建立定义。
K0W04是K0的W04托盘,它编辑K0字并把K0字的内容输出到T0W04M、T1W04M中。
下一步,图40是“T0对于人的操作有关之过程的基础结构和三种托盘”以及“一个托盘字、一个边界字和一个同步矢量”的布置图。参考图40,将介绍与变为一种实际介质的一个屏幕的关系。
(1)由每个托盘处理的托盘自身字视为一个屏幕字。
(2)时序控制函数通过相应的计算机准备的中间件,执行对于实际屏幕的数据输入/输出。
下一步,参考图41,将介绍“如何在T0对于人的操作有关之过程的基础结构中配备三种托盘(T0W02、T0W03、T0W04)”。
首先,(1)对于一个屏幕,两种托盘——T0W04和T0W02——配备为一对。多个屏幕存在时,就配备与屏幕数目相同的两种托盘——T0W04和T0W02——的配对。
(2)配备了一片T0W03托盘。处理多个屏幕的T0基础结构的整体显示在图41中。通过屏幕ID-属于该屏幕ID的托盘的种类来表示对应于一个屏幕的两种托盘。在图41中,省略了每个托盘中放置的同步矢量的说明。
下一步,图42是“T1对于不涉及人的操作之过程的基础结构和三种托盘”以及“一个托盘字、一个边界字和一个同步矢量”的布置图。通过使用图42,将介绍与变为实际介质的一个数据库、一个文件和一条通信消息的关系。
(1)由每个托盘处理的托盘自身字视为一个数据库、一个文件和一条通信消息字。为了说明,通过规定的输入和规定的输出来表示它。
(2)通过相应的计算机提供的输入方法和输出方法,执行对于实际规定的输入和规定的输出的数据输入/输出。在这些方法中,一个输入矢量输入T1W02中的规定的输入,一个输出矢量输出T1W04中的规定的输出。
(3)为了处理所有规定的输入和规定的输出,提供了一个T1对于不涉及人的操作之过程的基础结构。T1W02输入多个规定的输入,T1W04处理多个规定的输出。
下一步,参考图43,将介绍“K0对非规定的字建立定义的基础结构和三种托盘”以及“一个托盘字、一个边界字和一个同步矢量”的布置图。
(1)如果提供的字是非规定的输入/输出字,就提供K0作为一个基础结构,对非规定的字建立定义。
(2)由K0的每个托盘处理的托盘自身字视为非规定的字。为了说明,它表示为“K字”。
(3)计算机执行信息处理时,非规定的字不能变为目标规定的输出字。因此,没有提供输出动作矢量。为了把K字的定义移交到(T0或T1),(T0或T1)的YRR型复制矢量把T1W04中存在的输出K字的定义复制到自身的W04M托盘内部的(T0或T1)边界字中。
(4)对K0不提供输出动作矢量,所以也不提供结构动作矢量。
申请与K0连接的基础结构(T0或T1)的W03托盘结束时,从(T0或T1)的时序控制函数获得结束指令之后,K0时序控制函数清空K0的每个托盘的托盘字数据区域。
(结构准则18)结构准则18涉及“过程路由图”。
过程路由图调整为一种方法,用于说明激活托盘次序、激活基础结构的次序以及如何实现基础结构连接。
如果T0基础结构把一个屏幕视为规定的输入/输出(1)在该基础结构单元中,时序控制函数永远存在,所以它被过程路由图标识符替换。因此,省略了时序控制函数的说明。
(2)按照结构准则,托盘字、边界字和同步矢量包括在托盘内部。由于这是一种隐含的理解,所以省略了每个托盘的说明,因而仅仅说明托盘标识符和输入/输出屏幕标识符。
(3)由于为一个屏幕提供一对T0W04托盘和T0W02托盘,对于多个屏幕,要提供多对T0W04托盘和T0W02托盘,但是T0W03托盘只有一个。在T0W04托盘、T0W02托盘和T0W03托盘的次序中,三种托盘组成一对,描述为一个基础结构。在多处描述过T0W03托盘,但是它们是同一个。
(4)在屏幕的情况下,一个规定的输入和一个规定的输出在同一屏幕上,所以基础结构处理的规定单元仅仅描述为一个屏幕。
(5)如果在T0W03托盘之后,下一个要激活的托盘是T0W04托盘,由反时针线说明。
(6)在屏幕上提供的屏幕字中,指定计算机过程的字在过程路由图上说明,以便容易识别哪个字指定什么过程。
(7)提供的路由动作矢量的数目与在过程路由图上说明的托盘连接线相同。路由动作矢量的执行条件是,托盘连接线上说明的屏幕字是输入还是不是输入。一条托盘连接线描述为一种“过程路由”。
(8)以屏幕标识符单元中介绍的基础结构的基础结构连接的形式说明屏幕变化等等。它是在一种时序控制函数情况下的基础结构连接。
注意,下面将举例说明基础结构(标识符=B1)的过程路由图,它处理屏幕(标识符=S1)。
基础结构图(标识符=B1)被视为一个过程路由图(标识符=B1),其说明如图44所示。
下一步,将说明过程路由图,以处理两个屏幕(标识符=S1、S2)的基础结构实现基础结构连接的形成为例。
屏幕(标识符=S1)的基础结构和屏幕(标识符=S2)的基础结构,这两个基础结构由T0W03连接,以此作为起始点进行介绍。
一个时序控制函数按路由动作矢量中指令的次序激活所有托盘。
即使有一个时序控制函数和一个T0W03,(T0W04、T0W02、T0W03)也是作为基础结构来处理。次序如下运行屏幕(标识符=S1)之后,处理屏幕(标识符=S2)。
图45显示了输入什么屏幕字时要激活哪个托盘,从而表示了激活多个托盘的次序,以及对路由动作矢量说明的执行条件和对时序控制函数的指令内容。
形成基础结构连接“屏幕S1的基础结构”->“屏幕S2的基础结构”的过程为输入屏幕(S1)字C时,B1-T0W03的托盘路由动作矢量指定S2-T0W04为下一个托盘。
形成基础结构连接“屏幕S2的基础结构”->“屏幕S1的基础结构”的过程为输入屏幕(S2)字F时,B1-T0W03的托盘路由动作矢量指定S1-T0W04为下一个托盘。
在图46的过程路由图中,对于基础结构说明托盘的激活次序。
图47是一个过程路由图,处理三个屏幕(标识符=S1、S2、S3)的基础结构实现基础结构连接的形成。
如果通过选择下次改变到的屏幕,屏幕(标识符=S1)改变到或者屏幕(标识符=S2)或者屏幕(标识符=S2),在这样的情况下,一个基础结构就能够实现该基础结构与多个基础结构之连接的形成。
在屏幕S1的基础结构中,按照图47提供了三个B1-T0W03的路由动作矢量。
(1)输入屏幕(S1)字B时,指定S1-T0W04为下一个托盘。
(2)输入屏幕(S1)字C时,指定S2-T0W04为下一个托盘。
(3)输入屏幕(S1)字L时,指定S3-T0W04为下一个托盘。
在图48中,基础结构(B1)实现基础结构连接的形成时,如果一个基础结构内T0W03托盘中的定义建立不必要,它就能够从T0W02托盘改变到另一个基础结构的T0W04托盘。在图47中,如果仅仅由某个输入字来确定改变到其它屏幕,在屏幕(标识符=S1)的基础结构中能够省略B1-T0W03。过程路由图变为如下。
如果T0基础结构把一个数据库、一个文件和一种通信媒介视为规定的输入/输出(1)在该基础结构单元中,时序控制函数永远存在,所以它被过程路由图标识符替换,因此,省略了时序控制函数的说明;(2)按照结构准则,在每个托盘中,托盘字、边界字和同步矢量包括在托盘内部作为隐含理解的项目,因此省略了它们的说明,因而仅仅说明托盘标识符和规定的输入/输出。
(3)提供了T1W04托盘和T1W02托盘,对于多个规定的输入,提供一个T1W02托盘,对于多个规定的输出,提供一个T1W04托盘,T1W03托盘只有一个;(4)以T1W04托盘、T1W02托盘和T1W03托盘的次序,三种托盘组成一对,描述为基础结构;(5)如果在T1W03托盘之后,下一个要激活的托盘是T1W04托盘,由反时针线说明;以及(6)多个T1基础结构连接起来,以T1W02作为起始点。
对于基础结构(标识符=B2),如果有n个规定的输出(标识符=U1、U2、…Un)和m个规定的输入(标识符=I1、I2、…Im),过程路由图如图49所示。
图49的过程路由图表示了图50的基础结构图。
如果图51所示的规定的输出的输出计时完全不同,对每一个规定的输出以不同的计时来划分,并按照类别的数目配备T1基础结构。
基础结构的形成的过程路由图是,输出基础结构(标识符=B2)的规定的输出规定的输出(标识符=U1、U2、…Un)、规定的输入(标识符=I1、I2、…Im),然后输出基础结构(标识符=B3)的规定的输出规定的输出(标识符=T1、T2、…Tp)、规定的输入(标识符=J1、J2、…Jq)。
B2-T1W02托盘的路由动作矢量指定了下一个时序控制函数(标识符=B3)。
这种情况应用于从基础结构(标识符=B2)改变为基础结构(标识符=B3)而控制不再返回基础结构(标识符=B2)之时。
在图51的过程路由图中,以激活基础结构的次序说明了图52的基础结构连接。
下面将介绍“把屏幕作为规定的输入/输出的T0基础结构”和“把数据库、文件和通信媒介作为规定的输入/输出的T1基础结构”的基础结构连接。
图53显示了T0基础结构(基础结构标识符=B1,输入/输出屏幕标识符=S1)和T1基础结构(基础结构标识符=B2,输入数据库标识符=I1、I2,输出数据库标识符=U1)的基础结构连接。如果T0和T1在相同的计算机存储器中激活,在屏幕(标识符=S1)引用数据库(标识符=I1、I2)和数据库(标识符=U1)是输出的情况下,提供并连接了“把T0屏幕作为输入/输出规定单元的过程路由图”和“把T1数据库或文件作为输入/输出规定单元的过程路由图”。
在图53的过程路由图中,介绍了图54所示的以下基础结构连接。
图55是一个过程路由图,情况为T0基础结构(基础结构标识符=B1,输入/输出屏幕标识符=S1)激活的一台计算机(CPU1)与T1基础结构(基础结构标识符=B2,输入数据库标识符=I1、I2,输出数据库标识符=U1)激活的一台计算机(CPU2)不同,例如客户机-服务器模式的情况。
“T0过程路由图”和“T1过程路由图”的连接是通过通信消息实现的。
T1基础结构接收T0基础结构输出的通信消息(标识符=T0-M)。
T0基础结构接收T1基础结构输出的通信消息(标识符=T1-M)。
在图55的过程路由图中,通过把接收通信消息作为规定的输入或者发送通信消息作为规定的输出的托盘进行划分,介绍了图56所示的基础结构连接。实际通信消息的输入/输出是由时序控制函数实现的。
如上所述,过程路由图的效果包括以下两种。
(1)根据基础结构的规定的输入/输出,可以按照提供基础结构的规则提供基础结构。
(2)基础结构之连接的形成,可以通过根据激活基础结构的次序的连接来实现。
这些的结果是,通过基础结构和基础结构连接,能够表示用于获得规定的输出的、信息过程的控制结构,不考虑所需的规定的输出和复杂的信息过程的形式。
过程路由清楚地说明了以下两点。
(1)明确三种托盘标识符并指示激活指定托盘的次序。
(2)明确多个基础结构的标识符并指示基础结构连接次序的信息。
此外,过程路由图也指示了以下情况。换句话说,首先,按照基础结构布置图来提供基础结构的矢量。其次,同步矢量遵从同步矢量的处理方案。利用以上所述作为隐含的理解,(3)基础结构的规定的输入/输出的说明表明了,在三种托盘中要提供规定的输入/输出字作为托盘字;(4)该说明表明了,要提供一个输入/输出同步矢量用于规定的输入/输出,一个同步矢量用于规定的输入/输出字以及一个结构动作矢量;(5)该说明表明了,要按照同步矢量的处理方案,说明每个规定的输入/输出的一个不同的输入/输出命令,以及每个字的不同的时序控制矢量的内容。
所以,过程路由图是在基础结构中产生一个程序的说明书。
反过来看,为了获得所需规定的输出的信息处理说明书,其产生目的也可能仅仅是用于规定的输入/输出的设计、规定的输入/输出字的列表和过程路由图,它是对于信息处理所需的任何规定的输出,无论关系学处理如何复杂。
换句话说,每个规定的输入/输出之不同的输入/输出命令,由过程路由图上的箭头指示。每个字的不同的时序控制矢量的内容,是开发需求,也是程序的内容。根据这个理由,每个字的不同的时序控制矢量的内容不是放在文档中,而是放在直接的程序说明中,这样做是可能的。
(结构准则19)结构准则19涉及同步范围。
建立定义之字的范围,表示要输出的所有规定的输出字,直到输出最后一个规定的输出。
在同步矢量执行的同时,建立定义之字的最大范围称为“同步范围”。
最小同步范围是在一个规定的输出中存在的所有字。
(1)在上述过程路由图中,能够通过执行基础结构连接的“连接”和“分支”来识别同步范围。
(2)同步范围变为在计算机上安装同步结构程序的最小单元。一个提供T0时序控制函数的单元、一个划分W03托盘的单元以及T1基础结构被视为一个最小单元。同步范围就是同时建立定义之字的最大范围,所以它不影响在其它同步范围中形成字的定义。
(3)说明逻辑规定时自身字引用的给定字的范围,限于同步范围中存在的规定的输入字和规定的输出字,即使有许多字。在执行自身字的逻辑规定之时,在其它同步范围中存在的字绝不建立定义。所以,即使它们作为给定字引用也没有用。
执行同步结构时,在“同步范围”内的“实际输出规定的输出的范围”称为“执行时同步范围”。
执行同步范围时,建立定义之字限于要执行之基础结构的规定的输出字,以及在当前执行之基础结构之前执行的基础结构的规定的输出字。
下一步,使用图57的过程路由图解释同步范围。
在这种情况下,假设T0过程路由图为(标识符=B1)。
菜单屏幕假设为(标识符=S1),菜单屏幕中的选择菜单假设为(标识符=M2、M3、M4)。对应于菜单(标识符=M2)的屏幕假设为(标识符=S2)。利用屏幕(标识符=S2),假设要实现T1过程路由图(标识符=B2)输入数据库(标识符=I2)与输出数据库(标识符=U2)的基础结构连接的形成。
对应于菜单(标识符=M3)的屏幕假设为(标识符=S3)。利用屏幕(标识符=S3),假设要实现T1过程路由图(标识符=B3)输入数据库(标识符=I3)与输出数据库(标识符=U3)的基础结构连接的形成。
对应于菜单(标识符=M4)的屏幕假设为(标识符=S4)。
假设屏幕(标识符=S2、S3、S4)在它们分别返回菜单屏幕后,将分别改变为菜单选择的其它屏幕。这时过程路由图变为如图57所示。
在“执行的结果变为如图所示”的意义下,在过程路由图中实际上没有描述“S1”(在图中由虚线包围)。
在图57的过程路由图中,某个人进行屏幕操作时,通过观察菜单屏幕(标识符=S1)选择(标识符=M2)后,屏幕改变为屏幕(标识符=S2),屏幕(标识符=S2)操作之后,实现了与T1(标识符=B2)的基础结果连接。此外,选择(标识符=M3)后,屏幕改变为屏幕(标识符=S3),屏幕(标识符=S3)操作之后,实现了与T1(标识符=B3)的基础结果连接。然后,选择(标识符=M4)后,屏幕改变为屏幕(标识符=S4)。
注意,屏幕(标识符=S2)操作之后,绝不会改变为屏幕(标识符=S3、S4),屏幕总是返回屏幕(标识符=S1)。
如果对屏幕(标识符=S1、S2)和T1(标识符=B2)的规定的输出(标识符=U2)的字建立了定义,对其它规定的字绝不建立定义。
同样,屏幕(标识符=S3)操作之后,绝不会改变为屏幕(标识符=S2、S4),屏幕总是返回屏幕(标识符=S1)。
如果对屏幕(标识符=S1、S3)和T1(标识符=B3)的规定的输出(标识符=U3)的字建立了定义,对其它规定的字绝不建立定义。
同样,屏幕(标识符=S4)操作之后,绝不会改变为屏幕(标识符=S2、S3),屏幕总是返回屏幕(标识符=S1)。
如果对屏幕(标识符=S4)的字建立了定义,对其它规定的字绝不建立定义。
虽然实际上执行时如何实现执行是取决于人的操作,但是无论同步结果如何执行,同时建立定义之字的范围中,可清楚识别的最大范围规定为“同步范围”。
在图57的过程路由图中,有三个同步范围。
(1)屏幕(标识符=S1)之基础结构、屏幕(标识符=S2)之基础结构和T1(标识符=B2)之基础结构的范围。
(2)屏幕(标识符=S1)之基础结构、屏幕(标识符=S3)之基础结构和T1(标识符=B3)之基础结构的范围。
(3)屏幕(标识符=S1)之基础结构和屏幕(标识符=S4)之基础结构的范围。
执行同步结构时,在“同步范围”内的‘实际输出规定的输出字的范围’称为‘执行时同步范围’。
下面将参考图58的同步范围进行介绍。
输出屏幕(标识符=S1)之时,对屏幕(标识符=S1)之字已经建立了定义。这时,在B1-T0W03内部,也执行了其它字的时序控制矢量。所以,对其它字也可能已经建立了定义。不过,对其它字不保证已经建立了定义,因为不保证在自行产生其它字时要引用的给定字已经建立了定义。
执行S1-T0W04之后显示屏幕(标识符=S1)。屏幕(标识符=S1)操作的结果是,按列出次序执行S1-T0W02、B1-T0W03和S1-T0W04。然后,再次显示屏幕(标识符=S1)。通过选择(标识符=M2)而执行同步结构时,按列出次序执行S1-T0W02、B1-T0W03和S2-T0W04。。然后,显示屏幕(标识符=S2)。
通过(标识符=S2)操作而执行同步结构时,执行S2-T0W02、B1-T0W03,并且在B1-T0W03中实现与T1(标识符=B2)的基础结构连接的形成。
利用T1(标识符=B2),输出规定的输入(标识符=I2)。所以,利用自行产生,通过引用规定的输入(标识符=I2)的定义,对屏幕(标识符=S2)之字将要建立定义。执行S2-T0W04并显示屏幕(标识符=S2)。
这时,对屏幕(标识符=S1)和屏幕(标识符=S2)之字已经建立了定义。T1(标识符=B2)之规定的输出(标识符=U2)的字尚未建立定义。在屏幕(标识符=S2)的字当中,某个人输入需要的字,执行同步结构时,就执行S2-T0W02、B1-T0W03,并且在B1-T0W03内部实现与T1(标识符=B2)的基础结构连接的形成。
利用T1(标识符=B2),在规定的输出(标识符=U2)之字的自行产生中,屏幕(标识符=S2)之字作为给定字而引用,并对规定的输出(标识符=U2)之字建立定义。利用B2-T1W04,输出规定的输出(标识符=U2)之定义。
下一步,执行S2-T0W04并显示屏幕(标识符=S2)。
这时,同步结构已经输出了同步范围中存在的所有规定的输出的定义。
如上所述,执行同步结构时,建立定义之字限于要执行之基础结构的规定的输出字,以及在当前执行之基础结构之前执行的基础结构的规定的输出字。
同时,执行基础结构的次序已经统计地确定了。所以,在执行时同步范围中,通过识别当前执行的基础结构,有可能了解已经执行了多少个基础结构。
(结构准则20)结构准则20涉及“同步”和“同步的撤销”。
属于“同步结构”之根本的一个概念是“存在的提供”。由于‘空’,就能够根据作用于“存在”的提供之上的“关系”,建立“定义”。
同步结构总是从“空”开始,并且在把建立的“定义”输出到规定的输出之后返回“空”。
同步结构就是使机制改变为“定义”已建立的过程。
“同步”意味着“已经建立定义的状态”,对“空”而言。
“同步的撤销”意味着“把建立的定义输出到规定的输出之后已经再次返回空的状态”,换句话说,返回准备再次建立定义的状态。
根据作用于“实现存在的动力”之上的“关系”,能够建立“存在”。利用同步结构,“存在”被称为“有定义”。
一种存在原因“F”和一个对象“N”——作为该存在原因的结果,它变为存在——之间的关系描述为“F->N”。存在原因“F”是一种“原因”,而变为存在的对象“N”是一种“结果”。对象“N”并非永远存在。只有当满足存在原因“F”时,对象“N”才存在。如果对象“N”已经存在,由于不存在两个对象“N”,所以即使已经满足存在原因“F”,对于对象“N”也不建立一个新的存在。
如果对象“N”还不存在,一旦满足存在原因“F”时,就根据关系“F->N”,对于对象“N”建立一个存在。
由于现在还没有存在,“实现存在的动力”起作用,产生了存在。注意,“实现存在的动力”与“存在的提供”同步。“实现存在的动力”不是一种关系。无论利用什么关系,通过关系的作用,都能够首先产生存在。所以,需要“关系的作用动力”。“关系的作用动力”就是“实现存在的动力”。
定义矢量是单元的具体形式,单元又是关系“F->N”的具体形式。
“逻辑规定”和“接受条件”对应于存在原因“F”。“字标识符的数据区域”对应于对象“N”。执行同步结构时,如果在“字标识符的数据区域”尚未存在定义,一旦满足了“逻辑规定”和“接受条件”,就通过关系“逻辑规定/接受条件->字标识符的数据区域”,对“字标识符的数据区域”建立定义。
“空”是定义存在的基础。
“空”本身并不存在。它表示一种状态——对于成为一个对象者不存在定义。由于要变为一个对象的字标识符的数据区域依然是空的(也就是尚未存在定义的状态),就通过关系“逻辑规定/接受条件->R字标识符的数据区域”,使字标识符的数据区域中定义成为存在。所以,“空”也可以说成是“等待存在(定义)到来的虚无”。
工业适用性依据本发明,通过同步结构来逻辑地开发计算机程序,它具有递归的性质,并能够避免人为的错误,程序本身也具有简单而精确的结构,所以系统在执行时是稳健的。
权利要求
1.一种使用信息处理器的、使用同步结构的处理方法,其中程序开发通过将信息处理器应用到包括两个或更多同步矢量的同步结构利用该信息处理器来处理,这些同步矢量是在该信息处理器的存储器区域建立的,其特征在于,所述同步结构通过一个外部接口获取规定的输入;对组成规定的输入的字,引用其内容;以及对一个预定的字建立定义,以便将该字输出到一个规定的输出。
2.根据权利要求1的使用信息处理器的、使用同步结构的处理方法,其特征在于,信息处理器从实际存储介质输入数据或者把数据输出到实际存储介质中时,所述规定的输入和所述规定的输出是存取单元。
3.根据权利要求1的使用信息处理器的、使用同步结构的处理方法,其特征在于,所述定义是这样一种状态,在所述存储器区域中预定的数据区域集合内存在某个数值,所述字是用于获知定义存在的一个单元数据。
4.根据权利要求1的使用信息处理器的、使用同步结构的处理方法,其特征在于,在所述同步结构中,字的定义建立包括一种逻辑规定和一种接受条件,逻辑规定使某个数值存在于某个预定的变量中,接受条件判断是否接受某个存在的数值,该数值是执行该逻辑规定的结果。
5.根据权利要求4的使用信息处理器的、使用同步结构的处理方法,其特征在于,所述逻辑规定是通过某个产生某个数值的自身字和某个被自身字引用的给定字之间的关系表达式来规定的。
6.根据权利要求4的使用信息处理器的、使用同步结构的处理方法,其特征在于,所述逻辑规定在定义不存在的条件下执行。
7.根据权利要求5的使用信息处理器的、使用同步结构的处理方法,其特征在于,等到建立了对给定字的定义,所述自身字对给定字定义的引用替换了一种逻辑。
8.根据权利要求1的使用信息处理器的、使用同步结构的处理方法,其特征在于,相互独立的同步矢量被执行了多次。
全文摘要
提供了一种处理方法,其中程序开发通过将信息处理器应用到包括两个或更多同步矢量的同步结构使用信息处理器来处理,这些同步矢量是在该信息处理器的存储器区域建立的。首先,该同步结构通过外部接口获取规定的输入,对组成规定的输入的字,引用其内容,此后对一个预定的字建立定义,以便将该字输出到一个规定的输出。
文档编号G06F9/06GK1439127SQ01811738
公开日2003年8月27日 申请日期2001年5月28日 优先权日2000年5月30日
发明者根来文生 申请人:软件生产技术研究所株式会社, 株式会社Isd研究所
网友询问留言 已有0条留言
  • 还没有人留言评论。精彩留言会获得点赞!
1