JP3133343B2 - ソフトウェアの生産方法、処理装置、処理方法及び記録媒体 - Google Patents
ソフトウェアの生産方法、処理装置、処理方法及び記録媒体Info
- Publication number
- JP3133343B2 JP3133343B2 JP10520266A JP52026698A JP3133343B2 JP 3133343 B2 JP3133343 B2 JP 3133343B2 JP 10520266 A JP10520266 A JP 10520266A JP 52026698 A JP52026698 A JP 52026698A JP 3133343 B2 JP3133343 B2 JP 3133343B2
- Authority
- JP
- Japan
- Prior art keywords
- word
- data
- screen
- belonging
- logic
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
- Machine Translation (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Description
ェア、その他あらゆる分野のソフトウェアに適用される
ソフトウェアの生産方法、処理装置、処理方法及び記録
媒体に関する。
では利用者の要求を満たすことができない。ソフトには
ユーザーが自前で開発しなければならない論理部分が必
ず存在するからである。重要なことはその部分について
ソフトの生産技術が適用されなければならないことであ
る。即ち、生産技術とはソフトの短期開発、保守課題か
らの解放、上流仕様とプログラム仕様を関数的あるいは
理論的に連接する方法、プログラムの機能品質を保証す
る等の効果が発揮されるものでなければならない。
法であるが、機能分割法からは付加的なロジックが派生
することが殆どの場で理解されていない。そして、この
思考方法が基本的な欠陥であり、すべてのソフト課題は
ここから生じていると言っても過言でない。この問題を
基本的に改善するにはこの思考方法に替わる新しい概
念、即ち、要件事象を一義化する理論が必要である。
RNMENTAL METHODOLOGY for SOFTWARE PROVIDENCE)
と命名した。本理論は意味論についての新たな取り扱い
方の基準を与えるものである。
性はソフト構築の手段をソフトの特質を無視する機械機
能的なパッケージ化に向かわせている。このパッケージ
自体もまた一義性がない点で非正解型である。結果的に
利用者の利用環境は次第に信頼性、可用性、適用性(RA
S)機能の局面で悪化の一途をたどっている。この時期
必要なことは生産の為の基盤整備である。
いながら、即ち、プログラムの単位的な処理機能を品質
的に管理する方法を持たず、上流だけで良質のソフトが
決定できると主張するのである。異常と言わねばならな
い所以である。ソフトの生産方法は上流下流に分けて行
われるような性質のものではなく、理論的に捉える所か
ら始めなければならない。Lyee理論は正にこれを満たす
ものである。
こと。
と。
ト、ゲームソフト等幅広いソフト分野の開発に適用でき
るプログラム構造を提供すること。
こと。
である。其れ故,本発明はLyeeを直接反映するものとな
るが,単に本発明の効果を活用するだけであれば,本発
明のアルゴリズム通りに作業に行えばよく,また,作業
法も容易であるので,Lyeeを理解する事はない。
ないにもかかわらず,今日的な科学水準が維持されてい
る事を想起すれば,本発明による効果を得る上でLyeeを
理解する事がさして絶対条件となる由ではない。
分に理解しようとすればLyeeを理解すべきである。ここ
では,其の場合の一助としてLyeeの要点を述べる。Lyee
の正式論文は別の方法で求めて下さい。
最初のものである。
の其れに準じる取り扱い方でなされて来たが,生産性で
代表される今日的なソフト課題, 其の課題を潜在化させるパッケージ化で代表される今
日的な対処法は ソフト化事象に関する認識不足に端を発するものであ
る。
解する事が必要である。
である。
巧的手段で目的物化される。
る。
はなくても,高い達成率で実現させられる。
え, 其処に克服する手段を見いだせる論拠を保証するものと
なっている。
書,目的物に相当するものはプログラムである。そし
て,構造物の場合と異なるのは目的物も同じ意味的事象
となる事である。この事は,意味と意味との間に構造的
な成立関係を見いだす事が不可能である事を想起すれ
ば,其処に技巧的手段が成立し難い事も容易に理解出来
る所である。
事も理解すれば, ソフト課題は設計文書とプログラムの関係だけで捉え
られない命題である事が容易に推測出来る事である。
として経験則で克服出来る性質のものでない事は明らか
である。換言すれば,ソフト課題は理論的手段でしか克
服する事が出来ない命題に帰結するのは当然の理であ
る。
事象として考える。
覚するものを言い,其れは我々が存在する実空間に於け
る宇宙的事象,量子論的事象,生物的事象,地上の自然
事象などの事である。
象は内因的事象,太陽,図面,プログラムなどは外因的
事象である。
ある様に,更なる存在事象が存在する筈である。Lyeeは
其の様な事象も存在事象として扱う。
で,存在事象の唯ひとつの原因を求める為の理論であ
る。
真相である。
段を与えるものである。
し,其の真相を表す空間が確立されれば唯ひとつの原因
として真相を求める事が出来る。
ない。
yeeは其の関係を捉える為の理論である。
OFTWARE PROVIDENCE)と名付けた。Lyeeは其の略称であ
る。
子を有意性とし,其れを量子化する。量子化の手段はこ
こでは触れないが,其れを様相と呼ぶ。Lyeeの論文では
解説されている。理論的にこの様相は10のマイナス10万
桁の径の空間を最大とする微小な粒子である。
た様相を連鎖と呼ぶ。
寿命がある。寿命は連鎖の有意性のひとつである。Lyee
の論文で解説されている。
素と呼ぶ値を帯同して理念空間に出現して着座する。存
在事象が成立する始まりである。帯同する二つの有意性
要素とは自然数で与えられる申命順位,時間速度と呼ば
れる。
とは異なるものである。
律する他の有意性要素を具象化し,且つ,帯同する二つ
の有意性要素,具象化した他の有意性要素と共に其の有
意性空間に共棲する。様相は其の様にして存在するので
ある。
る。
法では要件事象に存在する単語を用いてこれに代替させ
る。
なども単語として用いる。
間に連想され,現象化されたものである。因に,我々も
存在事象のひとつである。
として定義される。
係付けるのである。
空間の構造モデルを表したものである。この構造は図46
と共にLyeeの論文で解説されている。
させる。
れる。
し,其の事で,存在事象の素になる等価連鎖を創出させ
る。そして,其れらは群化し,且つ,単位且される。
る。
識空間の構造を表すものである。
方程式と呼ぶ。
れている。
る仕組を与えるものである。
る。
求める事が出来る。
ではどの様な連鎖であるかを求める事が出来る。
った。
いる。
を空間パラダイムと呼ぶ。
可欠となる。
場合のものである。
間パラダイムが必要になる。
て創出する空間で意識空間を表すことになる。そして, 意識空間には意識空間の有意性をもつ様相が存在し,
認識空間には認識空間の有意性をもつ様相が存在する。
様相は連鎖するので,其の連鎖もそれぞれの空間に存在
する様相で構築されるものとなる。そして,先に述べた
様に, 本作業法では様相を単語に置き換えられる。
関係が連想方程式で表され,且つ,其の逆解法を行うの
である 其の結果式をシナリオ関数と呼ぶ。其れを以下に示
す。
たものとなっている。
っている。
構造を作る事に終始している。しかし,シナリオ関数は
静的構造となっている。
で実行させれば,従来のプログラムが実行されたのと同
じ結果が得られる。
である。
ひとつのパラダイムを表すものとなっている。換言すれ
ば、いかなる電算機のソフトもこの関数で実現させる事
が出来る。これも世界で最初のものである。
示す。
{T1,f}}k 02.画面識別子kの主W04パレットの定義:ΦP{Li,4|
{T1,q}}k 03.主W03パレットは唯ひとつで其の定義:ΦP{Li,3|
{T1,g}} 04.T0は主パレットW02,W03,W04を律するシナリオ関数, 05.主W02パレットに発生する目的ファイルfの従パレッ
トを律するシナリオ関数:T1,f,2=Φ1{ΦP{Li,2}
f+ΦP{Li,3}f+ΦP{Li,4}f) 06.主W03パレットに発生する目的ファイルgの従パレッ
トを律するシナリオ関数:T1,g,3=Φ1{ΦP{Li,2}
g+ΦP{Li,3}g+ΦP{Li,4}g) 07.主W04パレットに発生する目的ファイルqの従パレッ
トを律するシナリオ関数:T1,q,4=Φ1{ΦP{Li,2}
q+ΦP{Li,3}q+ΦP{Li,4}q) パレットとは先に実空間を表す3種の二次元面につい
て述べたが,其の二次元面それぞれを記号W02,W03,W04
で記す。
リオ関数が搭載される。
別子kに存在する単語数,主パレットW03の単語数は全
事象を満たす単語数,他方,従パレットの単語数はW02,
W03,W04共皆同じで,目的ファイルを満たす全単語数と
なる。
1はオフラインのソフト事象を律するプログラムとな
る。T1はT0が示す様にT0に組み込む事も出来るし, また,独立させる事も可能である。
ットが其れに似る。
るので, ひとつのサブシステム,ひとつの機能,或いは,従来
的なひとつのプログラム,或いは,存在する全てのソフ
ト事象を唯ひとつで捉える事が出来るパラダイムであ
る。
でパレット連鎖関数と呼ばれる。図19で其の論理構造を
示す。
決まるプログラムで基底論理と呼ばれる。其の構造は図
12,13,14,16,17で示す。
パレット関数と呼ばれる。其の構造は図18で示す。
でパレット連鎖関数と呼ばれる。其の構造は図15で示
す。
リオ関数を導出する過程で出現する解法条件が集積され
たものである。この事はソフトが理論で創れるとの主張
を裏付ける論拠に外ならない。
ァイル)の関係を捉えるものである。即ち,T0=Φ0
({{i,2}}k+{i,3}+{{i,4}}k) {{i,2}}k,{i,3},{{i,4}}kは基底論理,T1
を含まないパレットを表す。
が,其の識別子とパレット連鎖関数の関係を表すものと
なる。処理経路図が発揮する情報量は従来法の開発工程
で言う要件定義,基本設計,詳細設計,プログラム仕様
書,テスト仕様書,操作説明書の全体の70%に相当する
ものとなる。この事で本作業法を用いれば文書化作業は
決定的に削減される。概略20分の1程度になる。
する事が出来る。既に,触れた様に,Lyeeの場合,ひと
つの単語から6又は5個の基底論理が作成されるが,こ
の対応関係だけが 基底論理の完全独立を実現させる唯一の方法なのであ
る。これらの事はLyeeの論文で解説されている。
い。従来の部品化は単純な機能の部分化であり,其の結
果, 其の論理連鎖には厳密な順序性が人間的に付与されな
ければならない。
けで済む。既述した様に,これ迄の様に100万ラインで1
0万頁と言われる文書化資料は決定的に排除する事が出
来る。
所属する定義体識別子,パレット識別子で識別し,この
識別子を基にパレット関数で集合化される。
である。
し, 其れを自分のデータ番地にセットする機能を実現させ
るプログラムとなっている。
データだけを用いて 其のロジックで自己のデータを作成し,自己の番地に
セットする。
パレットのデータエリアから自己の番地にデータを位相
する。取得するデータエリアの番地は同じ単語識別子の
番地に限られる。
ば,自画面の自単語のW03パレットのデータエリアから
データが位相される。
は成立しない。
する単語数は概算2000語である。この場合,利用者が構
築する基底論理は1万本となる。平均の論理ラインな下
限で10ライン,上限で20ラインである。
高くなり, 1人月1万ライン〜5万ラインとなる。其の総工数は
10人月〜20人月である。
状態となる。これは基底論理が果たす特徴である。
原理とも言うべき概念である。Lyeeによって獲得された
ものである。即ち,我々が機能と呼ぶ状態をこの視点で
見れば,機能とは非同期データの連鎖の事になる。そし
て,要件事象から論理機能を作り出す事が意味を分割す
る事に通じ,意味の分割が不可能な事が想起されれば, この方法で機能化を実現して来たこれ迄の作業の仕方
が熱力学第二法則で説明される熱死の状態を生じさせる
状態と同じ事が容易に想像出来る。
なく,利用者にゆだねる事が最もふさわしい。経験豊富
で良心的なSE程,熱死を作り出すからである。
由による為である。
る。
ば,シナリオ関数は同期化データ群を構築する論理構造
を規約するものである。そして,繰り返すが,其れを電
算機で実行させれば,非同期データの連鎖,即ち,機能
が創出されると言うものである。
期化データだけで済む事になる。
と其の単語だけで十分とするのはシナリオ関数が其れを
満たす構造になっているからである。
立せず,唯,其れ以外の記憶作用が生じるだけである。
即ち,其処では記憶作用以外の機能は存在し得ない。
1に縮約できるのはこの理由による。
eeの理論は開発実務との間でGAPを生じさせるのでな
く,シナリオ関数を構成するプログラムの1ラインに
迄,厳密に影響を行使し,ソースプログラム水準,並び
に,実行型に於いてもこれ迄には見られなかった良型の
論理構造を創出させる事を果たすのである。
ぶ。
順で並ぶ。
遷移時間、寿命時間、転位時間、回帰時間)を内在す
る。
生時間と呼ぶ。
す。
替えられる。
る認識連鎖だけが解体される。
る。
で構成される。
である。
合を構築する。
合を構築する。
ぶ。
ぶ。
る。
れ、確立連鎖を構築する。
る。
連鎖は事象連鎖と同期している。
不定である。
群化する。
単位化する。
の事である。
等価様相の径(RW)との関係がRK≧RWで、 其の意識連鎖が連想して構築される事象連鎖の等価様
相の径(RC)との関係はRC≧RW、この時、RC>Rα>RW
となる様相αが収斂構造に存在すれば、 其の様相αは新たな時間速度を得て分布構造の様相に
置き換えられる事である。
理由から中点となる様相が認識様相に置き換えられる事
である。
ある。
る。
ある。
である。
る。
す図である。
る。
である。
ある。
ダイムを示す図である。
る。
ダイムを示す図である。
である。
る。
る。
るための図である。
が分離していることを説明するための図である。
めの図である。
めの図である。
するための図である。
である。
な画面、帳票及びファイルを含む定義体を識別するため
の定義体識別子を決定する。次に、その画面に存在する
単語を抜き出すと共に、ソフトウェアに必要な全ての論
理単位であるパレットを所定の規則に従って配置した処
理経路図を定義体識別子に基づき作成する。次に、抜き
出した単語及び作成した処理経路図に基づき必要なファ
イルを決定する。次に、各画面ごと及びその画面に属す
る各単語ごとに、自単語の第1のデータエリアにデータ
が存在する場合には何も行わないこと、または、その自
単語の第1のデータエリアにデータが存在しない場合に
は当該自単語の第1のデータエリアにデータを生成し、
かかる生成が不能なときには第1の再起動フラグをセッ
トすること、のいずれか一方が作動する第1の基底論理
と、各画面ごと及びその画面に属する各単語ごとに、当
該画面からの受信データに自単語に対するデータがなけ
れば何も行わないこと、または、その画面からの受信デ
ータに自単語に対するデータがあれば、制御単語以外の
場合にあっては当該自単語の第2のデータエリアにその
データをセットしかかるデータのセットが的確に成立し
ていないときには第2の再起動フラグをセットし、制御
単語の場合にあっては当該自単語の性質に応じた処理経
路の決定を行いかかる処理経路の決定が的確に成立して
いないときには第2の再起動フラグをセットすること、
のいずれか一方が作動する第2の基底論理と、ソフトウ
ェアに必要な全ての定義体に属する全ての単語ごとに、
自単語の第3のデータエリアにデータが存在する場合に
は何も行わないこと、または、当該自単語の第3のデー
タエリアにデータが存在しない場合にはその自単語の第
3のデータエリアにデータを生成し、かかる生成が不能
なときには第3の再起動フラグをセットすること、のい
ずれか一方が作動する第3の基底論理とを作成する。次
に、各画面ごとにその画面に属する単語ごとの第1の基
底論理を当該単語の順序性を問わずに画面に属する全て
の単語に対して実行し、かかる実行の後に第1の再起動
フラグがセットされているときにはその画面に属する単
語ごとの第1の基底論理の全てを再び実行させる第1の
パレット関数と、各画面ごとにその画面に属する単語ご
との第2の基底論理を当該単語の順序性を問わずに画面
に属する全ての単語に対して実行し、かかる実行の後に
前記第2の再起動フラグがセットされているときには画
面に属する単語ごとの第2の基底論理の全てを再び実行
させる第2のパレット関数と、及び、定義体に属する単
語ごとの第3の基底論理を当該単語の順序性を問わずに
定義体に属する全ての単語に対して実行し、かかる実行
の後に第3の再起動フラグがセットされているときには
定義体に属する単語ごとの第3の基底論理の全てを再び
実行させる第3のパレット関数とを作成する。そして、
第1のパレット関数を実行し、その実行結果のデータを
画面に送信し、画面からデータを受信して第2のパレッ
ト関数を実行し、この実行結果に基づき第3のパレット
関数の実行を第2の基底論理において決定された処理経
路に応じて選択的に行うパレット連鎖関数に、第1乃至
第3のパレット関数を組み込む。
面に従ってこれを説明する。
1)、単語を決定すると共に(ステップ102)処理経路図
を作成し(ステップ103)、基底論理仕様を収集し(ス
テップ104)、ファイルを決定し(ステップ105)、基底
論理を作成し(ステップ106)、パレット関数を作成し
(ステップ107)、パレット連鎖関数へ組み込む(ステ
ップ108)ことで所望のソフトウェアが作成される。
「売上入力」というソフトウェアを作成する場合を例に
とってみると、例えば売上データを入力するための画面
(図2)及び得意先コードを参照するための画面(図
3)を決定する。得意先コード参照画面ばかりでなく、
必要に応じてこの画面と同様の担当者コード参照画面、
取引区分参照画面、請求先コード参照画面、商品コード
参照画面等を設定してもよい。
の「入荷確定入力」というソフトウェアを作成する場合
を例にとってみると、例えば商品入荷の確定を入力する
ための画面(図4)及び倉庫コードを参照するための画
面(図5)を決定する。
るための「出荷依頼一覧表」というソフトウェアを作成
する場合を例にとってみると、例えば出荷依頼一覧表を
出力操作するための画面(図6)及びその一覧表の帳票
(図7、図8)を決定する。
全ての単語を抜き出すことである。
る。
例えば図示されてしないが、 「No」 「得意先」 「得意先名(略称)」 「得意先名」 「住所」 「担当者」 「選択No」 「得意先名カナ」 「旧コード」 「実行」 「F12」 の単語があり、これらから抜き出されたものが決定され
た単語である。
ば図示されてしないが、 「OPCD」 「倉庫コード」 「H/S区分」 「取次区分」 「実行」 [F1」 「F3」 「F4」 の単語があり、これらから抜き出されたものが決定され
た単語である。
る。
る。
では、 「部門」 「納品先」 「請求先」 「住所1」 「住所2」 「TEL」 「部署1」 「担当者」 「店担当」 「出荷依頼日」 「出荷No」 「商品コード」 「商品名」 「数量」 「更新」 「受注日」 「受注No」 「行」 「受注担当」 「品番」 「日付」 「貴社注文No」 「インスト」 「シテイ」 「出荷」 「売上」 を抜き出すことができ、これらが決定された単語であ
る。なお、基底論理はこれらの1つの単語にそれぞれ対
応して5つ(6つの場合もある)の基底論理が対応して
いる。
に基づき作成される。処理経路図は作業者が作成しても
良いし、機械化しても良い。
ックスで表示)を線で接続したもので、その接続はパレ
ット連鎖関数の規則に従う。線はパレット連鎖関数を意
味する。画面や帳票が決定されていればパレット間の接
続は必然的に決まる。
「売上入力」を選択することができる。
るW04パレット、93はそのW02パレットである。
行」が選択されたときのW03パレットである。
録」が選択されたときのW03パレットであり、WFL(Work
FiLe aria)96はファイルへの書き込みを意味する。
先コード」の「参照」が選択されたときの画面(図3)
に対するW04パレット、98はそのW02パレットである。
選択されたときはメニュー画面に戻る。
種別、ボックス内上段には画面の名称、ボックス内下段
には画面の識別子、ボックス外下部の点線ボックスには
決定されたファイル名(後述する。)が記述される。
選択されたボタン名(「実行」や「登録」等)、パレッ
トとパレットとを結ぶ線の下部には処理の絶対的種別
(R0〜R5)が記述される(後述する。) 図10は上記「入荷確定入力」に対する処理経路図であ
る。
「入荷確定入力」を選択することができる。
するW04パレット、103はそのW02パレットである。
庫コード」の「参照」が選択されたときの倉庫コード参
照画面(図5)に対するW04パレット、105はそのW02パ
レットである。
選択されたときは入荷の確定を入力するための画面に戻
る。
選択されたときはWFL(Work FiLe aria)106を介してフ
ァイルへの書き込みが行われる。
選択されたときはメニュー画面に戻る。
ある。
「出荷依頼一覧表」を選択することができる。
に対するW04パレット、113はそのW02パレットである。
刷」が選択されたときはWFL(Work FiLe aria)114を介
して帳票の出力(印刷)が行われる。
行」が選択されたときは出荷依頼一覧表を出力するため
の画面に戻る。
了」が選択されたときはメニュー画面に戻る。
が決まるとその画面での処理内容(実行、登録等の制御
単語)から次に必要な処理(画面の表示、帳票の出力、
ファイルへの登録、ファイルから読み出し、演算等)が
必然的に決まるので、上記処理内容に応じて画面等の間
を線で結んでいる。
要なファイルを決定する。即ち必要なファイルは処理経
路図及び単語より必然的に決定できる。決定したファイ
ルは処理経路図のボックス外下部の点線ボックス等に記
述する。
理経路図及び単語より必然的に 「従業員M(マスタファイル)」 「名称M」 「顧客情報F(ファイル)」 「部門M」 「W03−S/F」 「商品リストF」 のファイルが必要であることが分かる。
即ち、各単語に対する基底論理をコーディングする。
ム)を作成する。ただし、W02位相要素が不要な場合も
ある。
上の「売上」という単語に着目して基底論理を作成する
例を説明する。
タエリアにデータが存在するかどうかを判断する(ステ
ップ1201)。存在する場合にはそのデータを当該図9の
画面92の「売上」という単語のW04のデータエリアに複
写し(ステップ1202)、当該基底論理の処理を終了す
る。
92の「売上」という単語のW03のデータエリアにデータ
が存在するかどうかを判断する(ステップ1203)。存在
する場合にはそのデータを当該画面92の「売上」という
単語のW04のデータエリアに複写し(ステップ1204)、
当該基底論理の処理を終了する。ステップ1203でデータ
が存在しない場合には、当該基底論理の処理を終了す
る。
プログラムを作成する事であり、このことは以下のプロ
グラムについても同じである。
タエリアにデータがセット済みかどうかを判断する(ス
テップ1301)。セット済みの場合には当該基底論理の処
理を終了する。
上」という単語のW04のデータエリアのデータがW04の中
の自他含めた単語のデータにより編集可能であるかどう
かを判断する(ステップ1302)。即ち、例えば当該図9
の画面92の「売上」という単語のデータが価格×個数と
いう算術式により求まるものであるとすると、「価格」
と「個数」のデータが存在すれば編集可能であるから編
集し(即ち、上記の例では「価格」という単語のW04の
データエリアにあるデータ及び「個数」という単語のW0
4のデータエリアにあるデータから上述算術式を用いて
「売上」という単語のデータを求める。)(ステップ13
03)、編集結果(即ち、上記の例では求められた「売
上」という単語のデータ)を「売上」という単語のW04
のデータエリアにセットして(ステップ1304)、当該基
底論理の処理を終了する。
必要に応じて(ステップ1305)当該基底論理を再起動す
るフラグ、即ち、「売上」という単語のW04の再起動FLG
をセットする(ステップ1306)。このため、「売上」と
いう単語のデータの決定は一旦留保され、上記の例でい
えば「価格」という単語のW04のデータエリア及び「個
数」という単語のW04のデータエリアにそれらの基底論
理の実行によってデータがセットされるまでその決定が
留保される。このことは、つまり本発明に係るプログラ
ムが自律的に有意性を決定している事に他ならない。
/電文受信」によってインプットされたデータを「W0
2」にアウトプットするためのバッファエリアに属する
「売上」という単語の識別子を持つアドレス)にデータ
がセットされているかどうかを判断する(ステップ140
1)。セット済みでない場合には当該基底論理の処理を
終了する。
行う(ステップ1402)。ここで目的処理とは、制御単語
の場合には処理経路フラグをセットすることを、制御単
語以外の場合には該当する単語のW02のデータエリアへ
入力バッファにあるデータをセットすることをいう。
はないので、目的処理として、入力バッファにあるデー
タを「売上」という単語のW02のデータエリアへセット
する。
ップ1403)。目的処理が成立していないときで、「売
上」という単語のW02の再起フラグ(FLG)のセットが必
要な場合(ステップ1404)には当該再起FLGをセットし
て(ステップ1405)この基底論理の処理を終了する。
は、「売上」という単語のW02の不成立FLGをセットして
(ステップ1406)この基底論理の処理を終了する。
のまま当該基底論理の処理を終了する。
合には、上記のステップ1402が処理経路フラグをセット
する処理となる。処理経路フラグ(R=0〜5,ただしR
=0は例外的)は制御単語の性質に応じて一意に決定さ
れ、処理経路図に表現されている。これにより後述する
ようにパレット連鎖関数において経路を振り分ける処理
が可能となる。
タが存在するかどうかを判断する(ステップ1601)。デ
ータが存在する場合にはそのデータを「売上」という単
語のW03のデータエリアに複写し(ステップ1602)、当
該基底論理の処理を終了する。
当該基底論理の処理を終了する。
のデータ処理が行われるので、本発明に係る各基底論理
のプログラムは自律的に有意性を決定していることとな
る。
タがセット済みかどうかを判断する(ステップ1701)。
セット済みの場合には当該基底論理の処理を終了する。
3のデータが自他単語のW03のデータで演算可能かどうか
を判断する(ステップ1703)。即ち、例えばステップ13
02の場合と同様に「売上」という単語のデータが価格×
個数という算術式により求めるものであるとすると、
「価格」という単語のW03のデータエリア及び「個数」
という単語のW03のデータエリアに既にデータが存在す
るかどうかを判断する。存在すれば演算可能として演算
し(即ち、上記の例では「価格」という単語のW03のデ
ータエリアにあるデータ及び「個数」という単語のW03
のデータエリアにあるデータから上述算術式を用いて
「売上」という単語のデータを求める。)(ステップ17
04)、演算結果(即ち、上記の例では求められた「売
上」という単語のデータ)を「売上」という単語のW03
のデータエリアにセットして(ステップ1705)、当該基
底論理の処理を終了する。
必要に応じて(ステップ1706)当該基底論理を再起動す
るフラグ、即ち、「売上」という単語のW03の再起動FLG
をセットする(ステップ1707)。即ちこの場合も上記と
同様に、「売上」という単語のデータの決定は一旦留保
され、上記の例でいえば「価格」という単語のW03のデ
ータエリア及び「個数」という単語のW03のデータエリ
アにそれらの基底論理の実行によってデータがセットさ
れるまでその決定が留保される。このことにより、当該
基底論理の処理順序は他の単語の基底論理の処理順序と
は無関係にいずれ留保が溶けてデータがセットされるこ
ととなり、処理順序が変わったとしても同一の結果が保
証される。
8はパレット関数の構造パラダイムを示しており、それ
ぞれについてこのような構造のパレット関数(プログラ
ム)を作成すればよい。
ち、例えばW04に関するパレット関数では複数のW04パレ
ットから所定の1つのW04パレットに関するファイルを
オープンする。そして、各位相要素と論理要素を順次実
行する(ステップ1802、1803)。
合には(ステップ1804)、フラグをリセットする(ステ
ップ1805)と共に各位相要素と論理要素を順次再実行す
る(ステップ1802、1803)。即ち、パレット関数は、各
パレットのパレット起動フラグと連動してプログラムの
自律的な有意性の決定を可能としている。
合にはファイルを閉じて(ステップ1806)処理を終了す
る。
いても同一である。従って、予め作成してあるパレット
連鎖関数に上述のように作成した基底論理やパレット関
数を組み込めばよい。
信情報とは、表示すべき画面の事である。例えば図9に
示した処理経路図を参照しながら説明すると、例えば売
上データ入力の画面(図2参照)において「得意先コー
ド」の「参照」が選択される(「得意先コード」のW02
パレットでR=3の処理経路フラグが立っている。)と
得意先コード照会の画面(図3参照)を送信情報と決定
する。
うな場合には(ステップ1902)、システムを閉鎖する
(ステップ1903)。システムを閉鎖する情報とは、例え
ば図9に示した処理経路図を参照しながら説明すると、
例えば売上データ入力の画面(図2参照)において「F
3」が選択されたこと(「F3」のW02パレットでR=0の
処理経路フラグが立っていること。)である。システム
を閉鎖するとは、例えば上記の例で言えばメニュー画面
に戻る事である。
1904)。これは例外的処理に関するものである。尚、WT
は、人間の入力により処理される機能単位である。即
ち、WT単位とは、図20に示すように、例えばデータの登
録に使用される登録画面と当該データの登録の際のデー
タの参照に使用される参照画面とを1つの単位で括って
構成されるものである。例えば図9に示した処理経路図
を参照しながら説明すると、売上データ入力の画面(図
2参照)と得意先コード照会の画面(図3参照)とを1
つの単位として括って構成されるものがWT単位である。
しかし、他の処理経路図、例えば入荷確定入力(図10、
図4参照)の画面が必要となる場合には、これらと連鎖
する必要がある。そこで、図20に示すように、必要に応
じてシナリオ連鎖、即ち他のWTとの間で連鎖を行う(ス
テップ1905、1906)。これは巨大なプログラムに対応す
る場合に特に有効となる。
をセットする(ステップ1907)。例えば図9に示した処
理経路図を参照しながら説明すると、この処理全体に係
る全てのパレット(W02〜W04)をそれぞれワーキングメ
モリ上にセットする。
に対応する画面に対応するW04パレットを実行する(ス
テップ1908)。即ち、図18に示したパレット関数によ
り、売上入力(直販)画面(定義体識別子KH211E)に属
する全ての単語ごとのW04位相要素とW04論理要素がセッ
トされたW04パレットを実行する。これにより表示すべ
き画面に関するデータが決定される。
ち、データ等がセットされた画面を送信する(表示手
段、例えばCRTに送る。)。
ち、データ等が入力された画面を受信する(表示手段、
例えばCRTから受ける。)。
プ1911)、異常の場合には最初からやり直す。即ち、規
則違反のデータ等がないかを判断する。
レットを実行する(ステップ1912)。即ち、図18に示し
たパレット関数により、売上入力(直販)画面(定義体
識別子KH211E)に属する全ての単語ごとのW02論理要素
がセットされたW02パレットを実行する。これにより入
力されたデータ等が決定される。
4)。処理経路は上述したようにW02論理要素上の処理経
路フラグ(R=1〜5)によって判断される。
ウェアに必要な全ての定義体に属する全ての単語ごとの
W03基底論理が図18に示したパレット関数によりセット
された生産するソフトウェアに1本だけのW03パレット
を実行する(ステップ1915)。なおこの場合のW03パレ
ットではファイルへのデータ登録は行わない。そして、
最初の処理(ステップ1901)に戻る。即ち、処理経路R
=1はデータ処理の実行のみを行う経路処理である(図
9参照)。
実行する(ステップ1916)。なおこの場合のW03パレッ
トではファイルへのデータ登録を行う。そして、例えば
図9に示したW03パレット95、WFL96のラインを実行す
る。そして、最初の処理(ステップ1901)に戻る。処理
経路R=2はデータ処理の実行とデータのファイルへの
登録を行う経路処理である(図9参照)。
初の処理(ステップ1901)に戻る。
一、異種の両方)に戻る経路処理である(図9参照)。
る処理である(図10参照)。
出す処理である(図示しない)。
のものであり、オフライン用のパレット連鎖関数は図15
に示すようになる。
1)、決定された画面に属する全ての単語ごとのW04位相
要素とW04論理要素がセットされたW04パレットを実行す
る(ステップ2102)。これにより画面データが編集さ
れ、編集後の画面を表示する(ステップ2103)。
の画面を受信し(ステップ2104)、受信したデータが属
した画面に対応するW02パレットを実行する(ステップ2
105)。これにより処理経路・次画面の判定が行われ
る。
路1、2のときには(ステップ2107)、W03パレットを
起動する(ステップ2108)。これによりデータ演算処理
が行われる。
のときにはステップ2101に戻る。
内にパレット関数、位相要素A〜PFn及び論理要素A〜P
Fnが存在し、W02パレット内にパレット関数、論理要素
A〜J及び論理要素PF1〜PFnが存在する。W03パレット
内にはパレット関数、位相要素A〜X及び論理要素A〜
Xが存在する(「A」〜「X」はシステム内の全定義体
に属する全単語を意味する。)。
パレット連鎖関数(シナリオ)2301では、データが入力
され、画面/電文を受信すると、W02パレット、W03パレ
ット、W04パレットの順で起動される。W02パレットが起
動されると符号2302の処理が実行され、W03パレットが
起動されると符号2303の処理が実行され、W04パレット
が起動されると符号2304の処理が実行される。
出した情報に基づいて行動を起こす基となるロジックを
人は自覚できないが瞬間的に構築するものをLmとする
と、従来型のソフトでは、本来、人の行動を起こす基と
なるロジックLm(自覚不可能)を、行因に捏造して作り
上げ、人の行動を縛り付けてしまうようなプロセス(手
順)や機能を仕様として固定し(SEが経験や知識で捏
造)、それに基づいたプログラムを作成していた。つま
り、 Lc=Lm であった。
な行動に応じて作動するプログラムである。
は従来型プログラムのモジュール構成を示している。
分割型のプロセス処理であると言える。このため、構成
条件が複雑となり、モジュール構成の条件も煩雑にな
る。
単純であり、要素単位が単語単位で、要素内容が単純か
つ独立であり、従来型のような構成条件(処理手順)が
ないことが特徴である。
その効果について説明する。
か「ゼロ」(項目定義書から判断)で確認する。このロ
ジックの要否には業務知識は不要で、Lyeeのルールのみ
を知ればよい。
ら判断)の右辺(始点)の項目がW03領域に存在するか
否かで確認する。このロジックの要否には業務知識は不
要で、Lyeeのルールのみを知ればよい。
ら判断)の右辺(始点)の項目の値が計算可能な値
(「スペース」とか「ゼロ」)か否かで確認する。この
ロジックの要否には業務知識は不要で、Lyeeのルールの
みを知ればよい。
である。このロジックの要否には業務知識は不要で、Ly
eeのルールのみを知ればよい。
算式等)から項目の計算を行わせる。
項目定義書」は必要であるが、処理の順序(これを「業
務知識」という。)は必要としない。
データだけを取り扱う。
データだけを取り扱うようにできる。即ち、従来手法で
は、処理手順の検討に時間を要し、生産性や保守性を悪
くしていたが、Lyeeでは、図30に示すように、同期デー
タだけを扱うことにより、処理手順の条件そのものが消
滅する。即ち、不要となる。
える。そして行動する…ということ)場合、生物学的に
は、全身全霊(その代表がすべての脳細胞)が絡み合っ
ている。そして、論理化の対象領域に応じて右脳とか左
脳とが主要に働く。ソフトのロジック(論理)も本来、
これと同様でなければならない(ソフトのロジックも人
間の論理に他ならないから)。
化」を役割とした領域であることから、全身全霊に相当
するシステム内全単語を同期データとして1つの領域に
収容する。そして、Lyeeの場合、全単語に対応した基底
論理が全部絡み合う(全部が一旦、動き、有意性のある
基底論理のみが目的処理を実行する。)。
(データ)を予め調査分析してデータ定義部の設計をし
なければならなかったが、Lyeeの場合は、全単語をその
まま定義しておき、個々の基底論理を上述したようにロ
ジックを組むだけで済む。
クと自動ロジックとの組み合わせで構成されていたが、
Lyeeのソフトでは、図32に示すように、自動ロジックと
運用ロジックとが分離している。即ち、W03パレットに
自動ロジックが存在し、人間の論理に運用ロジックが存
在する。
力に対して先ずチェックを行い、“OK"の場合には正常
処理を行い、“NG"の場合にはエラー処理を行う流れと
なっている。従って、複数の項目のすべてのエラー条件
を予め調査しなければならない。
2パレットでは属性チェック以外の入力チェックは行わ
ず処理経路のみを決定する。そして、W03パレットで目
的処理ができるかどうかを振り分け、目的処理が実行で
きなければW04パレットでエラー処理を実行する。
いて説明する。
は、構想立案、業務分析基本設計、詳細設計、プログラ
ム設計、コーディング、テストを経てソフトウェアが開
発される。従来は、業務分析基本設計からプログラム設
計の間、SEの経験・知識及びユーザとの調整会議で人の
能力に依存した状態で開発される。
は、構想立案後、それが処理経路図に展開され、そこか
ら基底論理仕様書が作成され、製造並びに動作確認を経
て完了する運びとなる。その作業の仕方はLyeeの理論に
基づく規則に従うだけのものとなる。いわば、従来手法
では上流要件と下流ソースがSEの能力によって結び付け
られていたのに対し、Lyeeでは上流要件と下流ソースが
Lyeeの理論によって結び付けられている。
する。
している。画面、ファイル、帳票、コード表等が開発側
へ引継がれる。これに対して開発側では、図35(b)に
示すように、画面定義書、ファイル定義書、帳票定義
書、単語表、処理経路図、ユーザとのやり取りに基づく
基底論理仕様書を作成する。そして、図35(c)に示す
ように、これら各書面に基づきソースプログラムが作成
される。
に、ファイル定義書の一例を図38に、処理経路図の一例
を図39に示す。
図の用紙の左上隅にその画面の枠を作る。
(ボタン)が押下された時に遷移する画面とその画面に
遷移するまでの機能(*1:単なるデータの引継/*2:フ
ァイルの作成・更新/*3:ファイル作成・更新のない演
算・確認)を識別する。
分岐枝を描く。
(R)=3、次画面の枠 *2:ファイルの作成・更新→機能キーの明記、処理経
路(R)=2、W03の枠 ただし作成ファイルが基本項目以外の時、処理経路
(R)=4、WFLの枠 *3:単なる演算・確認→機能キーの明記、処理経路
(R)=1、W03の枠 以下、処理の単位内の全画面に関して、上記〜を
繰り返す。
る。図41は論理要素を示している。
(定義体定義書から判明)で判断可能であり、その他は
Lyeeとしての実現規則である。よってドキュメントは不
要である。
式が明確か否かということである。よって、ドキュメン
トは不要である。
式の右辺の値が計算に使っても構わないか否かというこ
とであり、演算式から決定できる条件である。よって、
ドキュメントは不要である。
を実行する条件を単語単位にユーザ担当者に質問し、答
えをメモする。
から作成される。即ち、これらはLyee固有の条件である
ので、ユーザとのやり取りは不要である。については
基底論理仕様書の演算有意条件及びコード表から作成さ
れる。については基底論理仕様書の演算式から作成さ
れる。及びはユーザとのやり取り及び引継資料の
「コード表」から決定し、ドキュメント化する。
が極めて高く、且つ、其れが作業者全員に求められる所
に根本的な問題があった。本発明は思考方法の深層にあ
る意識作用を認識作用との関係に於いて理論的に捉え、
其れを開発方法論化したもので、OS・ミドル・ゲーム・
制御・業務など分野を問わす適用する事が出来る。
事から、再帰性があり、且つ、唯一的となる。其の結
果、開発されたソフトウェアはブラックボックスでなく
なり、品質的には人為的誤謬が排除され、構造が鮮明で
システムが強靭になる。其れ故、見積もりもより正確に
行う事が可能となり、開発計画の策定、開発管理がやり
易くなる。
/10、開発総量は20〜80%圧縮され、保守性は40〜100倍
向上し、作業能率は40〜100倍向上する。
る定義体は30%を占め、その論理が70%を占めており、
いずれもドキュメントを必要としていた。しかし、本発
明では、従来の上記論理に相当する処理経路図の部分が
ドキュメントが不要であるので、従来に比しドキュメン
ト量を70%削減することができる。
Claims (6)
- 【請求項1】生産するソフトウェアに必要な画面、帳票
及びファイルを含む定義体を識別するための定義体識別
子を決定する工程と、 前記定義体に存在する単語を抜き出す工程と、 前記定義体識別子に基づき前記ソフトウェアに必要な全
ての論理単位であるパレットを所定の規則に従い配置し
た処理経路図を作成する工程と、 前記抜き出した単語及び前記作成した処理経路図に基づ
き必要なファイルを決定する工程と、 前記各画面ごと及び該画面に属する各単語ごとに、自単
語の第1のデータエリアにデータが存在する場合には何
も行わないこと、または、該自単語の第1のデータエリ
アにデータが存在しない場合には該自単語の第1のデー
タエリアにデータを生成し、かかる生成が不能なときに
は第1の再起動フラグをセットすること、のいずれか一
方が作動する第1の基底論理と、前記各画面ごと及び該
画面に属する各単語ごとに、該画面からの受信データに
自単語に対するデータがなければ何も行わないこと、ま
たは、該画面からの受信データに自単語に対するデータ
があれば、制御単語以外の場合にあっては該自単語の第
2のデータエリアに該データをセットし該データのセッ
トが的確に成立していないときには第2の再起動フラグ
をセットし、制御単語の場合にあっては該自単語の性質
に応じた処理経路の決定を行い該処理経路の決定が的確
に成立していないときには第2の再起動フラグをセット
すること、のいずれか一方が作動する第2の基底論理
と、及び、前記ソフトウェアに必要な全ての定義体に属
する全ての単語ごとに、自単語の第3のデータエリアに
データが存在する場合には何も行わないこと、または、
該自単語の第3のデータエリアにデータが存在しない場
合には該自単語の第3のデータエリアにデータを生成
し、かかる生成が不能なときには第3の再起動フラグを
セットすること、のいずれか一方が作動する第3の基底
論理とを作成する工程と、 前記各画面ごとに該画面に属する単語ごとの第1の基底
論理を前記画面に属する全ての単語に対して実行し、か
かる実行の後に前記第1の再起動フラグがセットされて
いるときには前記画面に属する単語ごとの第1の基底論
理の全てを再び実行させる第1のパレット関数と、前記
各画面ごとに該画面に属する単語ごとの第2の基底論理
を前記画面に属する全ての単語に対して実行し、かかる
実行の後に前記第2の再起動フラグがセットされている
ときには前記画面に属する単語ごとの第2の基底論理の
全てを再び実行させる第2のパレット関数と、及び、前
記定義体に属する単語ごとの第3の基底論理を前記定義
体に属する全ての単語に対して実行し、かかる実行の後
に前記第3の再起動フラグがセットされているときには
前記定義体に属する単語ごとの第3の基底論理の全てを
再び実行させる第3のパレット関数とを作成する工程
と、 前記第1のパレット関数を実行し、該実行結果のデータ
を画面に送信し、該画面からデータを受信して前記第2
のパレット関数を実行し、この実行結果に基づき前記第
3のパレット関数の実行を前記第2の基底論理において
決定された処理経路に応じて選択的に行うパレット連鎖
関数に、前記第1乃至第3のパレット関数を組み込む工
程と を具備することを特徴とするソフトウェアの生産方法。 - 【請求項2】生産するソフトウェアに必要な画面を編集
するために必要なデータを該画面ごと及び該画面に存在
する各単語ごとに、自単語の第1のデータエリアにデー
タが存在する場合には何も行わないこと、または、該自
単語の第1のデータエリアにデータが存在しない場合に
は該自単語の第1のデータエリアにデータを生成し、か
かる生成が不能なときには第1の再起動フラグをセット
すること、のいずれか一方が作動する第1の基底論理
と、前記各画面ごと及び該画面に属する各単語ごとに、
該画面からの受信データに自単語に対するデータがなけ
れば何も行わないこと、または、該画面からの受信デー
タに自単語に対するデータがあれば、制御単語以外の場
合にあっては該自単語の第2のデータエリアに該データ
をセットし該データのセットが的確に成立していないと
きには第2の再起動フラグをセットし、制御単語の場合
にあっては該自単語の性質に応じた処理経路の決定を行
い該処理経路の決定が的確に成立していないときには第
2の再起動フラグをセットすること、のいずれか一方が
作動する第2の基底論理と、及び、前記ソフトウェアに
必要な画面、帳票及びファイルを含む全定義体に属する
各単語ごとに、自単語の第3のデータエリアにデータが
存在する場合には何も行わないこと、または、該自単語
の第3のデータエリアにデータが存在しない場合には該
自単語の第3のデータエリアにデータを生成し、かかる
生成が不能なときには第3の再起動フラグをセットする
こと、のいずれか一方が作動する第3の基底論理とを有
する第1の手段と、 前記各画面ごとに該画面に属する単語ごとの第1の基底
論理を前記画面に属する全ての単語に対して実行し、か
かる実行の後に前記第1の再起動フラグがセットされて
いるときには前記画面に属する単語ごとの第1の基底論
理の全てを再び実行させる第1のパレット関数と、前記
各画面ごとに該画面に属する単語ごとの第2の基底論理
を前記画面に属する全ての単語に対して実行し、かかる
実行の後に前記第2の再起動フラグがセットされている
ときには前記画面に属する単語ごとの第2の基底論理の
全てを再び実行させる第2のパレット関数と、及び、前
記定義体に属する単語ごとの第3の基底論理を前記定義
体に属する全ての単語に対して実行し、かかる実行の後
に前記第3の再起動フラグがセットされているときには
前記定義体に属する単語ごとの第3の基底論理の全てを
再び実行させる第3のパレット関数とを有する第2の手
段と、 前記第1のパレット関数を実行し、該実行結果のデータ
を画面に送信し、該画面からデータを受信して前記第2
のパレット関数を実行し、この実行結果に基づき前記第
3のパレット関数の実行を前記第2の基底論理において
決定された処理経路に応じて選択的に行う第3の手段と を具備することを特徴とする処理装置。 - 【請求項3】生産するソフトウェアに必要な画面を編集
するために必要なデータを該画面ごと及び該画面に存在
する各単語ごとに、自単語の第1のデータエリアにデー
タが存在する場合には何も行わないこと、または、該自
単語の第1のデータエリアにデータが存在しない場合に
は該自単語の第1のデータエリアにデータを生成し、か
かる生成が不能なときには第1の再起動フラグをセット
すること、のいずれか一方が作動する第1の基底論理
と、前記各画面ごと及び該画面に属する各単語ごとに、
該画面からの受信データに自単語に対するデータがなけ
れば何も行わないこと、または、該画面からの受信デー
タに自単語に対するデータがあれば、制御単語以外の場
合にあっては該自単語の第2のデータエリアに該データ
をセットし該データのセットが的確に成立していないと
きには第2の再起動フラグをセットし、制御単語の場合
にあっては該自単語の性質に応じた処理経路の決定を行
い該処理経路の決定が的確に成立していないときには第
2の再起動フラグをセットすること、のいずれか一方が
作動する第2の基底論理と、及び、前記ソフトウェアに
必要な画面、帳票及びファイルを含む全定義体に属する
各単語ごとに、自単語の第3のデータエリアにデータが
存在する場合には何も行わないこと、または、該自単語
の第3のデータエリアにデータが存在しない場合には該
自単語の第3のデータエリアにデータを生成し、かかる
生成が不能なときには第3の再起動フラグをセットする
こと、のいずれか一方が作動する第3の基底論理とを有
する第1の手段と、 前記各画面ごとに該画面に属する単語ごとの第1の基底
論理を前記画面に属する全ての単語に対して実行し、か
かる実行の後に前記第1の再起動フラグがセットされて
いるときには前記画面に属する単語ごとの第1の基底論
理の全てを再び実行させる第1のパレット関数と、前記
各画面ごとに該画面に属する単語ごとの第2の基底論理
を前記画面に属する全ての単語に対して実行し、かかる
実行の後に前記第2の再起動フラグがセットされている
ときには前記画面に属する単語ごとの第2の基底論理の
全てを再び実行させる第2のパレット関数と、及び、前
記定義体に属する単語ごとの第3の基底論理を前記定義
体に属する全ての単語に対して実行し、かかる実行の後
に前記第3の再起動フラグがセットされているときには
前記定義体に属する単語ごとの第3の基底論理の全てを
再び実行させる第3のパレット関数とを有する第2の手
段と、 前記第1のパレット関数を実行し、該実行結果のデータ
を画面に送信し、該画面からデータを受信して前記第2
のパレット関数を実行し、この実行結果に基づき前記第
3のパレット関数の実行を前記第2の基底論理において
決定された処理経路に応じて選択的に行う第3の手段 として機能させるプログラムが記録されたことを特徴と
する記録媒体。 - 【請求項4】表示すべき画面を決定するステップと、 前記画面ごと及び該画面に存在する各単語ごとに、自単
語の第1のデータエリアにデータが存在する場合には何
も行わないこと、または、該自単語の第1のデータエリ
アにデータが存在しない場合には該自単語の第1のデー
タエリアにデータを生成し、かかる生成が不能なときに
は第1の再起動フラグをセットすること、のいずれか一
方が作動する第1の基底論理を前記画面に属する全ての
単語に対して実行し、かかる実行の後に前記第1の再起
動フラグがセットされているときには前記画面に属する
単語ごとの第1の基底論理の全てを再び実行させるWO4
パレット関数を起動するステップと、 前記W04パレット関数に基づき編集された画面を表示す
るステップと、 前記表示された画面に対する操作の内容を受信するステ
ップと、 前記各画面ごと及び該画面に属する各単語ごとに、前記
操作により該画面からの受信データに自単語に対するデ
ータがなければ何も行わないこと、または、該画面から
の受信データに自単語に対するデータがあれば、制御単
語以外の場合にあっては該自単語の第2のデータエリア
に該データをセットし該データのセットが的確に成立し
ていないときには第2の再起動フラグをセットし、制御
単語の場合にあっては該自単語の性質に応じた処理経路
の決定を行い該処理経路の決定が的確に成立していない
ときには第2の再起動フラグをセットすること、のいず
れか一方が作動する第2の基底論理を前記画面に属する
全ての単語に対して実行し、かかる実行の後に前記第2
の再起動フラグがセットされているときには前記画面に
属する単語ごとの第2の基底論理の全てを再び実行させ
るW02パレット関数を起動するステップと、 前記第2の基底論理により決定された処理経路に応じて
前記ソフトウェアに必要な全ての定義体に属する全ての
単語ごとに、自単語の第3のデータエリアにデータが存
在する場合には何も行わないこと、または、該自単語の
第3のデータエリアにデータが存在しない場合には該自
単語の第3のデータエリアにデータを生成し、かかる生
成が不能なときには第3の再起動フラグをセットするこ
と、のいずれか一方が作動する第3の基底論理を前記定
義体に属する全ての単語に対して実行し、かかる実行の
後に前記第3の再起動フラグがセットされているときに
は前記定義体に属する単語ごとの第3の基底論理の全て
を再び実行させるW03パレット関数を起動するステップ
と を具備することを特徴とする処理方法。 - 【請求項5】表示すべき画面を決定する手段と、 前記画面ごと及び該画面に存在する各単語ごとに、自単
語の第1のデータエリアにデータが存在する場合にも何
も行わないこと、または、該自単語の第1のデータエリ
アにデータが存在しない場合には該自単語の第1のデー
タエリアにデータを生成し、かかる生成が不能なときに
は第1の再起動フラグをセットすること、のいずれか一
方が作動する第1の基底論理を前記画面に属する全ての
単語に対して実行し、かかる実行の後に前記第1の再起
動フラグがセットされているときには前記画面に属する
単語ごとの第1の基底論理の全てを再び実行させるW04
パレット関数を起動する手段と、 前記W04パレット関数に基づき編集された画面を表示す
る手段と、 前記表示された画面に対する操作の内容を受信する手段
と、 前記各画面ごと及び該画面に属する各単語ごとに、前記
操作により該画面からの受信データに自単語に対するデ
ータがなければ何も行わないこと、または、該画面から
の受信データに自単語に対するデータがあれば、制御単
語以外の場合にあっては該自単語の第2のデータエリア
に該データをセットし該データのセットが的確に成立し
ていないときには第2の再起動フラグをセットし、制御
単語の場合にあっては該自単語の性質に応じた処理経路
の決定を行い該処理経路を決定が的確に成立していない
ときには第2の再起動フラグをセットすること、のいず
れか一方が作動する第2の基底論理を前記画面に属する
全ての単語に対して実行し、かかる実行の後に前記第2
の再起動フラグがセットされているときには前記画面に
属する単語ごとの第2の基底論理の全てを再び実行させ
るW02パレット関数を起動する手段と、 前記第2の基底論理により決定された処理経路に応じて
前記ソフトウェアに必要な全ての定義体に属する全ての
単語ごとに、自単語の第3のデータエリアにデータが存
在する場合には何も行わないこと、または、該自単語の
第3のデータエリアにデータが存在しない場合には該自
単語の第3のデータエリアにデータを生成し、かかる生
成が不能なときには第3の再起動フラグをセットするこ
と、のいずれか一方が作動する第3の基底論理を前記定
義体に属する全ての単語に対して実行し、かかる実行の
後に前記第3の再起動フラグがセットされているときに
は前記定義体に属する単語ごとの第3の基底論理の全て
を再び実行させるW03パレット関数を起動する手段と を具備することを特徴とする処理装置。 - 【請求項6】表示すべき画面を決定する手段と、 前記画面ごと及び該画面に存在する各単語ごとに、自単
語の第2のデータエリアにデータが存在する場合には何
も行わないごと、または、該自単語の第1のデータエリ
アにデータが存在しない場合には該自単語の第1のデー
タエリアにデータを生成し、かかる生成が不能なときに
は第1の再起動フラグをセットすること、のいずれか一
方が作動する第1の基底論理を前記画面に属する全ての
単語に対して実行し、かかる実行の後に前記第1の再起
動フラグがセットされているときには前記画面に属する
単語ごとの第1の基底論理の全てを再び実行させるW04
パレット関数を起動する手段と、 前記W04パレット関数に基づき編集された画面を表示す
る手段と、 前記表示された画面に対する操作の内容を受信する手段
と、 前記各画面ごと及び該画面に属する各単語ごとに、前記
操作により該画面からの受信データに自単語に対するデ
ータがなければ何も行わないこと、または、該画面から
の受信データに自単語に対するデータがあれば、制御単
語以外の場合にあっては該自単語の第2のデータエリア
に該データをセットし該データのセットが的確に成立し
ていないときには第2の再起動フラグをセットし、制御
単語の場合にあっては該自単語の性質に応じた処理経路
の決定を行い該処理経路の決定が的確に成立していない
ときには第2の再起動フラグをセットすること、のいず
れか一方が作動する第2の基底論理を前記画面に属する
全ての単語に対して実行し、かかる実行の後に前記第2
の再起動フラグがセットされているときには前記画面に
属する単語ごとの第2の基底論理の全てを再び実行させ
るW02パレット関数を起動する手段と、 前記第2の基底論理により決定された処理経路に応じて
前記ソフトウェアに必要な全ての定義体に属する全ての
単語ごとに、自単語の第3のデータエリアにデータが存
在する場合には何も行わないこと、または、該自単語の
第3のデータエリアにデータが存在しない場合には該自
単語の第3のデータエリアにデータを生成し、かかる生
成が不能なときには第3の再起動フラグをセットするこ
と、のいずれか一方が作動する第3の基底論理を前記定
義体に属する全ての単語に対して実行し、かかる実行の
後に前記第3の再起動フラグがセットされているときに
は前記定義体に属する単語ごとの第3の基底論理の全て
を再び実行させるW03パレット関数を起動する手段 として機能させるプログラムが記録されたことを特徴と
する記録媒体。
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP1996/003183 WO1997016784A1 (fr) | 1995-10-30 | 1996-10-30 | Procede de production de logiciels, processeur et support d'enregistrement |
JP96/03183 | 1996-10-30 | ||
PCT/JP1997/001492 WO1998019232A1 (fr) | 1996-10-30 | 1997-04-30 | Procede de production de logiciel, procede de traitement et support d'enregistrement |
Publications (1)
Publication Number | Publication Date |
---|---|
JP3133343B2 true JP3133343B2 (ja) | 2001-02-05 |
Family
ID=14154046
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP10520266A Expired - Fee Related JP3133343B2 (ja) | 1996-10-30 | 1997-04-30 | ソフトウェアの生産方法、処理装置、処理方法及び記録媒体 |
Country Status (8)
Country | Link |
---|---|
EP (1) | EP0947916B1 (ja) |
JP (1) | JP3133343B2 (ja) |
KR (1) | KR20000052992A (ja) |
CN (1) | CN1235682A (ja) |
CA (1) | CA2270444A1 (ja) |
DE (1) | DE69713387T2 (ja) |
NZ (1) | NZ335460A (ja) |
WO (1) | WO1998019232A1 (ja) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2021124411A1 (ja) | 2019-12-16 | 2021-06-24 | 根来 文生 | 論理結合型プログラムが実行時に発生する非同期型アルゴリズムの正統性の検証を実施可能にする方法 |
Families Citing this family (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR20010041783A (ko) * | 1998-03-20 | 2001-05-25 | 네고로 후미오 | 소프트웨어의 생성장치 및 소프트웨어의 생성방법 |
JP2001005651A (ja) * | 1999-06-21 | 2001-01-12 | Institute Of Computer Based Software Methodology & Technology | ソフトウェアの決定方法、ソフトウェアの使用方法、記録媒体、処理装置、ソフトウェアの保守方法、ソフトウェアの移植方法、ソフトウェアの管理方法、処理経路図の作成方法、パレット関数の作成方法、パレットの領域の決定方法、パレット連鎖関数の作成方法、位相要素の作成方法、論理要素の作成方法、作用要素の作成方法、ソフトウェアの実装方法、ソフトウェア開発方法、データ構造の置換方法、データ値の置換方法、従来型プログラムの分析方法、ソフトウェア開発管理方法、ソフトウェアの運用管理方法、並列コンピュータ及び判断補助装置 |
EP1248189A4 (en) * | 1999-11-11 | 2005-01-05 | Inf System Development Inst | PROGRAM REPRODUCTION METHOD AND DEVICE, AND PROGRAM MEDIUM FOR PROGRAM REPRODUCTION RECORDING |
WO2001093026A1 (fr) * | 2000-05-30 | 2001-12-06 | The Institute Of Computer Based Software Methodology And Technology | Procede de traitement utilisant une structure de synchronisation d'un processeur d'informations |
JPWO2002042904A1 (ja) * | 2000-11-24 | 2004-04-02 | ソフトウェア生産技術研究所株式会社 | ソフトウェアの同期式スペシファアィイング方法、バリデーティング方法、ベリファィイング方法、及びテスティング方法 |
JPWO2005029321A1 (ja) * | 2003-09-19 | 2007-11-15 | カテナ株式会社 | プログラムの変換方法及び変換ツール |
CN110276560A (zh) * | 2019-06-28 | 2019-09-24 | 重庆回形针信息技术有限公司 | 单元化管理体系构建方法 |
Family Cites Families (13)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH01258022A (ja) * | 1987-11-06 | 1989-10-16 | Toshiba Corp | 機能選択制御システム |
JPH04137038A (ja) * | 1990-09-27 | 1992-05-12 | Business Syst Kenkyusho:Kk | アプリケーションソフトウェア作成装置 |
JPH04172529A (ja) * | 1990-11-07 | 1992-06-19 | Hitachi Ltd | データ中心型ソフトウエア部品によるプログラム自動生成方式 |
JPH04181455A (ja) * | 1990-11-16 | 1992-06-29 | Hitachi Ltd | 画面遷移仕様作成方法 |
JPH04238534A (ja) * | 1991-01-23 | 1992-08-26 | Hitachi Ltd | 項目単位型画面入出力制御方式 |
JP3070701B2 (ja) * | 1991-09-13 | 2000-07-31 | 株式会社日立製作所 | 対話型システムのプログラム制御方法 |
JP3186117B2 (ja) * | 1991-10-18 | 2001-07-11 | 株式会社日立製作所 | データ中心型ソフトウエア部品によるプログラム自動生成システム |
JPH05257670A (ja) * | 1992-03-12 | 1993-10-08 | Nippon Telegr & Teleph Corp <Ntt> | 画面作成方法およびその装置 |
JPH05257661A (ja) * | 1992-03-13 | 1993-10-08 | Hitachi Ltd | ソフトウェア生産方式 |
JPH06332678A (ja) * | 1993-05-18 | 1994-12-02 | Software Kouchiku Kagaku Kenkyusho:Kk | 特定業務用プログラムの製造方法 |
JP3741450B2 (ja) * | 1993-06-11 | 2006-02-01 | 富士通株式会社 | 項目部品エレメントの実行方法および実行装置 |
US5815717A (en) * | 1995-10-27 | 1998-09-29 | Authorgenics, Inc. | Application program and documentation generator system and method |
WO1997016784A1 (fr) * | 1995-10-30 | 1997-05-09 | Fumio Negoro | Procede de production de logiciels, processeur et support d'enregistrement |
-
1997
- 1997-04-30 CA CA002270444A patent/CA2270444A1/en not_active Abandoned
- 1997-04-30 CN CN97199302A patent/CN1235682A/zh active Pending
- 1997-04-30 JP JP10520266A patent/JP3133343B2/ja not_active Expired - Fee Related
- 1997-04-30 EP EP97918344A patent/EP0947916B1/en not_active Expired - Lifetime
- 1997-04-30 NZ NZ335460A patent/NZ335460A/xx unknown
- 1997-04-30 WO PCT/JP1997/001492 patent/WO1998019232A1/ja active IP Right Grant
- 1997-04-30 KR KR1019990703871A patent/KR20000052992A/ko not_active Application Discontinuation
- 1997-04-30 DE DE69713387T patent/DE69713387T2/de not_active Expired - Fee Related
Non-Patent Citations (2)
Title |
---|
堀内一「データ中心システム設計」,株式会社オーム社,昭和63年3月25日,p.155−197 |
戸村茂昭"桁違いのソフトウエア開発方法論「The VOCJU」ユーザ体験記−NTTデータ通信の挑戦−",戦略コンピュータ,平成6年8月,第33巻,第8号,p.51−56 |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2021124411A1 (ja) | 2019-12-16 | 2021-06-24 | 根来 文生 | 論理結合型プログラムが実行時に発生する非同期型アルゴリズムの正統性の検証を実施可能にする方法 |
Also Published As
Publication number | Publication date |
---|---|
CA2270444A1 (en) | 1998-05-07 |
EP0947916B1 (en) | 2002-06-12 |
EP0947916A4 (en) | 2000-04-05 |
KR20000052992A (ko) | 2000-08-25 |
DE69713387T2 (de) | 2002-11-21 |
WO1998019232A1 (fr) | 1998-05-07 |
EP0947916A1 (en) | 1999-10-06 |
NZ335460A (en) | 2000-11-24 |
CN1235682A (zh) | 1999-11-17 |
DE69713387D1 (de) | 2002-07-18 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Johannesson et al. | Design principles for process modelling in enterprise application integration | |
Boehm et al. | A collaborative spiral software process model based on theory W | |
Dignum | A model for organizational interaction: based on agents, founded in logic | |
Medina-Mora et al. | ActionWork owtm as the enterprise integration technology | |
Baldassari et al. | PROTOB: An object oriented methodology for developing discrete event dynamic systems | |
WO2006122494A1 (fr) | Procede et systeme de description et de mise au point d'un systeme d'application a comportement dynamique | |
WO2019062673A1 (zh) | 一种基于输入输出语义化实现的管理信息化的方法和系统 | |
JP3133343B2 (ja) | ソフトウェアの生産方法、処理装置、処理方法及び記録媒体 | |
KR100303946B1 (ko) | 소프트웨어의생산방법및처리장치 | |
Johannesson et al. | Design principles for application integration | |
Torres et al. | Developing BP-driven web applications through the use of MDE techniques | |
McBrien et al. | Coupling process models and business rules | |
Hammer et al. | An interactive business definition system | |
Krogstie et al. | SEQUAL specialized for business process models | |
Piccinelli | Distributed workflow management: the TEAM model | |
Scheer | From Process and Enterprise Architecture to Digital Enterprise Twin in the Metaverse | |
Henderson-Sellers | From object-oriented to agent-oriented software engineering methodologies | |
Henderson-Sellers | Consolidating diagram types from several agent-oriented methodologies | |
Aliee | Modelling the behaviour of processes using collaborating objects | |
Kang | Configurable artefact-centric business process modelling with proclets | |
Lonchamp et al. | The Argo Project | |
Gupta et al. | An Agent-Based Framework for Developing Multiple Conceptual Models from Extended User Stories | |
Klijs | Interaction Oriented Architecture: A choreography-based design method for component-based software systems | |
Qin et al. | Architectural styles and patterns | |
Talcott | Reasoning about programs with effects |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313113 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
RD02 | Notification of acceptance of power of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: R3D02 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20091124 Year of fee payment: 9 |
|
S202 | Request for registration of non-exclusive licence |
Free format text: JAPANESE INTERMEDIATE CODE: R315201 |
|
S804 | Written request for registration of cancellation of exclusive licence |
Free format text: JAPANESE INTERMEDIATE CODE: R314803 |
|
S805 | Written request for registration of cancellation of non-exclusive licence |
Free format text: JAPANESE INTERMEDIATE CODE: R315803 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20091124 Year of fee payment: 9 |
|
R360 | Written notification for declining of transfer of rights |
Free format text: JAPANESE INTERMEDIATE CODE: R360 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20091124 Year of fee payment: 9 |
|
R370 | Written measure of declining of transfer procedure |
Free format text: JAPANESE INTERMEDIATE CODE: R370 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20091124 Year of fee payment: 9 |
|
S202 | Request for registration of non-exclusive licence |
Free format text: JAPANESE INTERMEDIATE CODE: R315201 |
|
S531 | Written request for registration of change of domicile |
Free format text: JAPANESE INTERMEDIATE CODE: R315531 |
|
S804 | Written request for registration of cancellation of exclusive licence |
Free format text: JAPANESE INTERMEDIATE CODE: R314803 |
|
S805 | Written request for registration of cancellation of non-exclusive licence |
Free format text: JAPANESE INTERMEDIATE CODE: R315803 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20091124 Year of fee payment: 9 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
S202 | Request for registration of non-exclusive licence |
Free format text: JAPANESE INTERMEDIATE CODE: R315201 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20091124 Year of fee payment: 9 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20101124 Year of fee payment: 10 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20111124 Year of fee payment: 11 |
|
LAPS | Cancellation because of no payment of annual fees |