Skip to content

Commit 583b50b

Browse files
deniskoronchikdeniskoronchik
committed
Merge pull request #25 from ShunkevichDV/master
SCP documentation updated
2 parents a265025 + ce4668e commit 583b50b

File tree

13 files changed

+169
-12
lines changed

13 files changed

+169
-12
lines changed

‎documentation/section_metasystem_ostis/section_ims_ostis_sub_systems_for_components_development/section_ims_ostis_subsystem_for_kpm_development_support/section_reusable_kpm_component_library/section_kpm_agent_library_of_information_search.scsi

+6-2
Original file line numberDiff line numberDiff line change
@@ -41,6 +41,7 @@ sc_agent_of_search_of_all_output_arcs
4141
agent_proc_search_all_output;
4242
proc_search_all_output
4343
};;
44+
-> sc_agent_of_search_of_all_output_arcs_agent_scp;; /* (* <- active_sc_agent;; *);;*/
4445
*);;
4546

4647
..sc_agent_of_search_of_all_output_arcs_initiation_condition
@@ -106,6 +107,7 @@ sc_agent_of_search_of_all_output_arcs_with_rel
106107
proc_search_all_output_with_rel;
107108
proc_search_all_input
108109
};;
110+
-> ..sc_agent_of_search_of_all_output_arcs_with_rel_scp (* <- active_sc_agent;; *);;
109111
*);;
110112

111113
..sc_agent_of_search_of_all_output_arcs_with_rel_initiation_condition
@@ -168,6 +170,7 @@ sc_agent_of_search_of_all_input_arcs
168170
agent_proc_search_all_input;
169171
proc_search_all_input
170172
};;
173+
-> ..sc_agent_of_search_of_all_input_arcs_scp (* <- active_sc_agent;; *);;
171174
*);;
172175

173176
..sc_agent_of_search_of_all_input_arcs_initiation_condition
@@ -232,6 +235,7 @@ sc_agent_of_search_of_all_input_arcs_with_rel
232235
proc_search_all_input_with_rel;
233236
proc_search_all_input
234237
};;
238+
-> ..sc_agent_of_search_of_all_input_arcs_with_rel_scp (* <- active_sc_agent;; *);;
235239
*);;
236240

237241
..sc_agent_of_search_of_all_input_arcs_with_rel_initiation_condition
@@ -679,15 +683,15 @@ sc_agent_of_full_pattern_search
679683

680684
..sc_agent_of_full_pattern_search_initiation_condition
681685
= [*
682-
question_search_full_semantic_neighborhood _-> .._question;;
686+
question_full_pattern_search _-> .._question;;
683687
question_initiated _-> .._question;;
684688
question _-> .._question;;
685689
.._question _-> .._parameter;;
686690
*];;
687691

688692
..sc_agent_of_full_pattern_search_result
689693
= [*
690-
question_search_full_semantic_neighborhood _-> .._question;;
694+
question_full_pattern_search _-> .._question;;
691695
question_finished _-> .._question;;
692696
question _-> .._question;;
693697
.._question _=> nrel_answer:: .._answer;;

‎documentation/section_unificated_models/section_unificated_models_of_knowledge_process_machines/section_unified_models_of_programs_interpretation/section_syntatx_and_semantic_of_base_programming_language_that_oriented_to_process_models_of_knowlegde_base/section_subject_domain_of_programs_for_base_programming_language_focused_on_knowledge_base_models_process.scsi

+113-2
Original file line numberDiff line numberDiff line change
@@ -543,7 +543,49 @@ rrel_set
543543
"file://section_subject_domain_of_programs_for_base_programming_language_focused_on_knowledge_base_models_process_htmls/explanation_for_rrel_set.html"
544544
(*<- lang_ru;;*);;
545545
*);;
546-
*);;
546+
*);
547+
=> nrel_inclusion:
548+
rrel_set_1;
549+
rrel_set_2;
550+
rrel_set_3;
551+
rrel_set_4;
552+
rrel_set_5;;
553+
554+
rrel_set_1
555+
=> nrel_main_idtf:
556+
[формируемое множество 1']
557+
(*<- lang_ru;;*);
558+
[created set 1']
559+
(*<- lang_en;;*);;
560+
561+
rrel_set_2
562+
=> nrel_main_idtf:
563+
[формируемое множество 2']
564+
(*<- lang_ru;;*);
565+
[created set 2']
566+
(*<- lang_en;;*);;
567+
568+
rrel_set_3
569+
=> nrel_main_idtf:
570+
[формируемое множество 3']
571+
(*<- lang_ru;;*);
572+
[created set 3']
573+
(*<- lang_en;;*);;
574+
575+
rrel_set_4
576+
=> nrel_main_idtf:
577+
[формируемое множество 4']
578+
(*<- lang_ru;;*);
579+
[created set 4']
580+
(*<- lang_en;;*);;
581+
582+
rrel_set_5
583+
=> nrel_main_idtf:
584+
[формируемое множество 5']
585+
(*<- lang_ru;;*);
586+
[created set 5']
587+
(*<- lang_en;;*);;
588+
547589

548590
rrel_erase
549591
=> nrel_main_idtf:
@@ -659,6 +701,75 @@ scp_operator
659701
scp_operator_of_information_output_to_consol
660702
};;
661703

704+
/*----------------------scp_operator_atomic_type----------------------*/
705+
706+
scp_operator_atomic_type
707+
=> nrel_main_idtf:
708+
[атомарный тип scp-оператора]
709+
(*<- lang_ru;;*);
710+
[scp-operator atomic type]
711+
(*<- lang_en;;*);
712+
<- rrel_key_sc_element:
713+
...
714+
(*
715+
<- sc_explanation;;
716+
<= nrel_sc_text_translation:
717+
...
718+
(*
719+
-> rrel_example:
720+
[Под атомарным типом scp-оператора понимается такой подкласс класса scp-операторов, который больше не разбивается на подклассы.]
721+
(*<- lang_ru;;*);;
722+
*);;
723+
*);
724+
-> genEl;
725+
-> genElStr3;
726+
-> genElStr5;
727+
-> sys_gen;
728+
-> searchElStr3;
729+
-> searchElStr5;
730+
-> searchSetStr3;
731+
-> searchSetStr5;
732+
-> sys_search;
733+
-> searchSetStr3;
734+
-> searchSetStr5;
735+
-> eraseEl;
736+
-> eraseElStr3;
737+
-> eraseElStr5;
738+
-> eraseSetStr3;
739+
-> eraseSetStr5;
740+
-> ifType;
741+
-> ifVarAssign;
742+
-> ifFormCont;
743+
-> ifCoin;
744+
-> ifEq;
745+
-> ifGr;
746+
-> contAdd;
747+
-> contSub;
748+
-> contMult;
749+
-> contDiv;
750+
-> contPow;
751+
-> contLn;
752+
-> contSin;
753+
-> contCos;
754+
-> contTg;
755+
-> contASin;
756+
-> contACos;
757+
-> contATg;
758+
-> contAssign;
759+
-> contErase;
760+
-> call;
761+
-> waitReturn;
762+
-> waitReturnSet;
763+
-> return;
764+
-> varAssign;
765+
-> varErase;
766+
-> print;
767+
-> printNl;
768+
-> printEl;
769+
-> sys_wait;
770+
-> sys_set_event_handler;
771+
-> sys_delete_event_handler;;
772+
662773
/*----------------------scp-operator of sc-structure generation----------------------*/
663774

664775
scp_operator_of_sc_structure_generation
@@ -1798,4 +1909,4 @@ printEl
17981909
"file://section_subject_domain_of_programs_for_base_programming_language_focused_on_knowledge_base_models_process_htmls/explanation_for_printEl.html"
17991910
(*<- lang_ru;;*);;
18001911
*);;
1801-
*);;
1912+
*);;

‎documentation/section_unificated_models/section_unificated_models_of_knowledge_process_machines/section_unified_models_of_programs_interpretation/section_syntatx_and_semantic_of_base_programming_language_that_oriented_to_process_models_of_knowlegde_base/section_unified_semantic_model_of_machine_that_interpret_programs_of_base_programming_language.scs

+1-1
Original file line numberDiff line numberDiff line change
@@ -77,7 +77,7 @@ rrel_key_sc_element -> (section_unified_semantic_model_of_machine_that_interpret
7777
=> nrel_key_sc_element_base_order: (section_unified_semantic_model_of_machine_that_interpret_programs_of_base_programming_language -> scp_process)
7878
(*
7979
<- rrel_key_sc_element;;
80-
=> nrel_key_sc_element_base_order: (section_unified_semantic_model_of_machine_that_interpret_programs_of_base_programming_language -> scp_oprator_interpretation_request)
80+
=> nrel_key_sc_element_base_order: (section_unified_semantic_model_of_machine_that_interpret_programs_of_base_programming_language -> scp_operator_interpretation_request)
8181
(*
8282
<- rrel_key_sc_element;;
8383
=> nrel_key_sc_element_base_order: (section_unified_semantic_model_of_machine_that_interpret_programs_of_base_programming_language -> sc_agent_of_scp_operator_interpretation)

‎documentation/section_unificated_models/section_unificated_models_of_knowledge_process_machines/section_unified_models_of_programs_interpretation/section_syntatx_and_semantic_of_base_programming_language_that_oriented_to_process_models_of_knowlegde_base/section_unified_semantic_model_of_machine_that_interpret_programs_of_base_programming_language.scsi

+5-5
Original file line numberDiff line numberDiff line change
@@ -368,21 +368,21 @@ scp_process
368368
*);;
369369

370370

371-
scp_oprator_interpretation_request
371+
scp_operator_interpretation_request
372372
<- sc_node_not_relation;
373373
=> nrel_main_idtf:
374374
[запрос интерпретации scp-операторов]
375375
(*<- lang_ru;;*);
376-
[scp-oprator interpretation_request]
376+
[scp-operator interpretation_request]
377377
(*<- lang_en;;*);
378378
<- rrel_key_sc_element:
379-
..key_node_scp_oprator_interpretation_request
379+
..key_node_scp_operator_interpretation_request
380380
(*
381381
<- sc_explanation;;
382382
<= nrel_sc_text_translation:
383-
..translation_scp_oprator_interpretation_request
383+
..translation_scp_operator_interpretation_request
384384
(*
385-
-> rrel_example: ..TODO_scp_oprator_interpretation_request_example;;
385+
-> rrel_example: ..TODO_scp_operator_interpretation_request_example;;
386386
*);;
387387
*);;
388388

‎documentation/section_unificated_models/section_unificated_models_of_knowledge_process_machines/section_unified_models_of_programs_interpretation/section_syntatx_and_semantic_of_base_programming_language_that_oriented_to_process_models_of_knowlegde_base/section_unified_semantic_model_of_machine_that_interpret_programs_of_base_programming_language_htmls/explanation_for_sc_agent_of_processing_of_sc_event_initiating_active_sc_agent.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,5 @@
99
<sc_element sys_idtf = "sc_agent">sc-агента</sc_element> в
1010
<sc_element sys_idtf = "sc_memory">sc-памяти</sc_element> появляется
1111
<sc_element sys_idtf = "question_initiated">инициированный вопрос</sc_element>, принадлежащий классу
12-
<sc_element sys_idtf = "scp_oprator_interpretation_request">запросов интерпретации scp-программы</sc_element>.
12+
<sc_element sys_idtf = "scp_operator_interpretation_request">запросов интерпретации scp-программы</sc_element>.
1313
</p>

‎documentation/section_unificated_models/section_unificated_models_of_knowledge_process_machines/section_unified_models_of_programs_interpretation/section_syntatx_and_semantic_of_base_programming_language_that_oriented_to_process_models_of_knowlegde_base/section_unified_semantic_model_of_machine_that_interpret_programs_of_base_programming_language_htmls/explanation_for_sc_agent_of_scp_process_creation.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<sc_element sys_idtf = "sc_agent">sc-агент</sc_element> активируется при появлении в
77
<sc_element sys_idtf = "sc_memory">sc-памяти</sc_element>
88
<sc_element sys_idtf = "question_initiated">инициированного вопроса</sc_element>, принадлежащего классу
9-
<sc_element sys_idtf = "scp_oprator_interpretation_request">запросов интерпретации scp-программы</sc_element>.
9+
<sc_element sys_idtf = "scp_operator_interpretation_request">запросов интерпретации scp-программы</sc_element>.
1010
</p>
1111
<p>
1212
После проверки

‎to_check/hiryliuk.zip

-13.4 KB
Binary file not shown.

‎to_check/scp/active_scp_operator.scs

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
active_scp_operator
2+
<- sc_node_not_relation;
3+
=> nrel_main_idtf:
4+
[активный scp-оператор]
5+
(*<- lang_ru;;*);
6+
[active scp-operator]
7+
(*<- lang_en;;*);;

‎to_check/scp/nrel_error.scs

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
nrel_error
2+
<- sc_node_norole_relation;
3+
=> nrel_main_idtf:
4+
[ошибка*]
5+
(*<- lang_ru;;*);
6+
[error*]
7+
(*<- lang_en;;*);;

‎to_check/scp/nrel_scp_process.scs

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
nrel_scp_process
2+
<- sc_node_norole_relation;
3+
=> nrel_main_idtf:
4+
[scp-процесс*]
5+
(*<- lang_ru;;*);
6+
[scp-process*]
7+
(*<- lang_en;;*);;

‎to_check/scp/question_scp_interpretation_request.scs

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
question_scp_interpretation_request
2+
<- sc_node_not_relation;
3+
=> nrel_main_idtf:
4+
[интерпретация scp-программы]
5+
(*<- lang_ru;;*);
6+
[scp-program interpretation]
7+
(*<- lang_en;;*);;

‎to_check/scp/question_scp_procedure_preprocessing_request.scs

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
question_scp_procedure_preprocessing_request
2+
<- sc_node_not_relation;
3+
=> nrel_main_idtf:
4+
[предварительная обработка scp-программы]
5+
(*<- lang_ru;;*);
6+
[scp-program preprocessing]
7+
(*<- lang_en;;*);;

‎to_check/scp/useless_scp_process.scs

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
useless_scp_process
2+
<- sc_node_not_relation;
3+
=> nrel_main_idtf:
4+
[бесполезный scp-процесс]
5+
(*<- lang_ru;;*);
6+
[useless scp-process]
7+
(*<- lang_en;;*);;

0 commit comments

Comments
 (0)