Merge pull request #25 from ShunkevichDV/master

SCP documentation updated

Author: deniskoronchik

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

@@ -41,6 +41,7 @@ sc_agent_of_search_of_all_output_arcs
 			agent_proc_search_all_output;
 			proc_search_all_output
 		};;
+		-> sc_agent_of_search_of_all_output_arcs_agent_scp;; /* (* <- active_sc_agent;; *);;*/
 	*);;
 
 ..sc_agent_of_search_of_all_output_arcs_initiation_condition
@@ -106,6 +107,7 @@ sc_agent_of_search_of_all_output_arcs_with_rel
 			proc_search_all_output_with_rel;
 			proc_search_all_input
 		};;
+		-> ..sc_agent_of_search_of_all_output_arcs_with_rel_scp (* <- active_sc_agent;; *);;
 	*);;
 
 ..sc_agent_of_search_of_all_output_arcs_with_rel_initiation_condition
@@ -168,6 +170,7 @@ sc_agent_of_search_of_all_input_arcs
 			agent_proc_search_all_input;
 			proc_search_all_input
 		};;
+		-> ..sc_agent_of_search_of_all_input_arcs_scp (* <- active_sc_agent;; *);;
 	*);;
 
 ..sc_agent_of_search_of_all_input_arcs_initiation_condition
@@ -232,6 +235,7 @@ sc_agent_of_search_of_all_input_arcs_with_rel
 			proc_search_all_input_with_rel;
 			proc_search_all_input
 		};;
+		-> ..sc_agent_of_search_of_all_input_arcs_with_rel_scp (* <- active_sc_agent;; *);;
 	*);;
 
 ..sc_agent_of_search_of_all_input_arcs_with_rel_initiation_condition
@@ -679,15 +683,15 @@ sc_agent_of_full_pattern_search
 
 ..sc_agent_of_full_pattern_search_initiation_condition
 = [*
-	question_search_full_semantic_neighborhood _-> .._question;;
+	question_full_pattern_search _-> .._question;;
 	question_initiated _-> .._question;;
 	question _-> .._question;;
 	.._question _-> .._parameter;;
 *];;
 
 ..sc_agent_of_full_pattern_search_result
 = [*
-	question_search_full_semantic_neighborhood _-> .._question;;
+	question_full_pattern_search _-> .._question;;
 	question_finished _-> .._question;;
 	question _-> .._question;;
 	.._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

@@ -543,7 +543,49 @@ rrel_set
 						"file://section_subject_domain_of_programs_for_base_programming_language_focused_on_knowledge_base_models_process_htmls/explanation_for_rrel_set.html"
 						(*<- lang_ru;;*);;
 				*);;
-		*);;
+		*);
+=> nrel_inclusion:
+        rrel_set_1;
+        rrel_set_2;
+        rrel_set_3;
+        rrel_set_4;
+        rrel_set_5;;
+
+rrel_set_1
+=> nrel_main_idtf:
+	[формируемое множество 1']
+	(*<- lang_ru;;*);
+	[created set 1']
+	(*<- lang_en;;*);;
+
+rrel_set_2
+=> nrel_main_idtf:
+	[формируемое множество 2']
+	(*<- lang_ru;;*);
+	[created set 2']
+	(*<- lang_en;;*);;
+
+rrel_set_3
+=> nrel_main_idtf:
+	[формируемое множество 3']
+	(*<- lang_ru;;*);
+	[created set 3']
+	(*<- lang_en;;*);;
+
+rrel_set_4
+=> nrel_main_idtf:
+	[формируемое множество 4']
+	(*<- lang_ru;;*);
+	[created set 4']
+	(*<- lang_en;;*);;
+
+rrel_set_5
+=> nrel_main_idtf:
+	[формируемое множество 5']
+	(*<- lang_ru;;*);
+	[created set 5']
+	(*<- lang_en;;*);;
+
 
 rrel_erase
 	=> nrel_main_idtf:
@@ -659,6 +701,75 @@ scp_operator
 		scp_operator_of_information_output_to_consol
 	};;
 
+/*----------------------scp_operator_atomic_type----------------------*/
+
+scp_operator_atomic_type
+	=> nrel_main_idtf:
+		[атомарный тип scp-оператора]
+		(*<- lang_ru;;*);
+		[scp-operator atomic type]
+		(*<- lang_en;;*);
+	<- rrel_key_sc_element:
+		...
+		(*
+			<- sc_explanation;;
+			<= nrel_sc_text_translation:	
+				...
+				(*
+					-> rrel_example:
+						[Под атомарным типом scp-оператора понимается такой подкласс класса scp-операторов, который больше не разбивается на подклассы.]
+						(*<- lang_ru;;*);;
+				*);;
+		*);
+	-> genEl;
+	-> genElStr3;
+	-> genElStr5;
+	-> sys_gen;
+	-> searchElStr3;
+	-> searchElStr5;
+	-> searchSetStr3;
+	-> searchSetStr5;
+	-> sys_search;
+	-> searchSetStr3;
+	-> searchSetStr5;
+	-> eraseEl;
+	-> eraseElStr3;
+	-> eraseElStr5;
+	-> eraseSetStr3;
+	-> eraseSetStr5;
+	-> ifType;
+	-> ifVarAssign;
+	-> ifFormCont;
+	-> ifCoin;
+	-> ifEq;
+	-> ifGr;
+	-> contAdd;
+	-> contSub;
+	-> contMult;
+	-> contDiv;
+	-> contPow;
+	-> contLn;
+	-> contSin;
+	-> contCos;
+	-> contTg;
+	-> contASin;
+	-> contACos;
+	-> contATg;
+	-> contAssign;
+	-> contErase;
+	-> call;
+	-> waitReturn;
+	-> waitReturnSet;
+	-> return;
+	-> varAssign;
+	-> varErase;
+	-> print;
+	-> printNl;
+	-> printEl;
+	-> sys_wait;
+	-> sys_set_event_handler;
+	-> sys_delete_event_handler;;
+
 /*----------------------scp-operator of sc-structure generation----------------------*/
 
 scp_operator_of_sc_structure_generation
@@ -1798,4 +1909,4 @@ printEl
 						"file://section_subject_domain_of_programs_for_base_programming_language_focused_on_knowledge_base_models_process_htmls/explanation_for_printEl.html"
 						(*<- lang_ru;;*);;
 				*);;
-		*);;
+		*);;

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

@@ -77,7 +77,7 @@ rrel_key_sc_element -> (section_unified_semantic_model_of_machine_that_interpret
 	=> nrel_key_sc_element_base_order: (section_unified_semantic_model_of_machine_that_interpret_programs_of_base_programming_language -> scp_process)
 (*
 	<- rrel_key_sc_element;;
-	=> nrel_key_sc_element_base_order: (section_unified_semantic_model_of_machine_that_interpret_programs_of_base_programming_language -> scp_oprator_interpretation_request)
+	=> nrel_key_sc_element_base_order: (section_unified_semantic_model_of_machine_that_interpret_programs_of_base_programming_language -> scp_operator_interpretation_request)
 (*
 	<- rrel_key_sc_element;;
 	=> 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

@@ -368,21 +368,21 @@ scp_process
 		*);;
 
 
-scp_oprator_interpretation_request
+scp_operator_interpretation_request
 	<- sc_node_not_relation;
 	=> nrel_main_idtf:
 		[запрос интерпретации scp-операторов]
 		(*<- lang_ru;;*);
-		[scp-oprator interpretation_request]
+		[scp-operator interpretation_request]
 		(*<- lang_en;;*);
 	<- rrel_key_sc_element:
-		..key_node_scp_oprator_interpretation_request
+		..key_node_scp_operator_interpretation_request
 		(*
 			<- sc_explanation;;
 			<= nrel_sc_text_translation:	
-				..translation_scp_oprator_interpretation_request
+				..translation_scp_operator_interpretation_request
 				(*
-					-> rrel_example: ..TODO_scp_oprator_interpretation_request_example;;
+					-> rrel_example: ..TODO_scp_operator_interpretation_request_example;;
 				*);;
 		*);;
 

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

@@ -9,5 +9,5 @@
 <sc_element sys_idtf  = "sc_agent">sc-агента</sc_element> в 
 <sc_element sys_idtf  = "sc_memory">sc-памяти</sc_element> появляется 
 <sc_element sys_idtf  = "question_initiated">инициированный вопрос</sc_element>, принадлежащий классу 
-<sc_element sys_idtf  = "scp_oprator_interpretation_request">запросов интерпретации scp-программы</sc_element>.
+<sc_element sys_idtf  = "scp_operator_interpretation_request">запросов интерпретации scp-программы</sc_element>.
 </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

@@ -6,7 +6,7 @@
 <sc_element sys_idtf  = "sc_agent">sc-агент</sc_element> активируется при появлении в 
 <sc_element sys_idtf  = "sc_memory">sc-памяти</sc_element> 
 <sc_element sys_idtf  = "question_initiated">инициированного вопроса</sc_element>, принадлежащего классу 
-<sc_element sys_idtf  = "scp_oprator_interpretation_request">запросов интерпретации scp-программы</sc_element>.
+<sc_element sys_idtf  = "scp_operator_interpretation_request">запросов интерпретации scp-программы</sc_element>.
 </p>
 <p>
 После проверки 

to_check/hiryliuk.zip

@@ -0,0 +1,7 @@
+active_scp_operator
+<- sc_node_not_relation;
+=> nrel_main_idtf:
+	[активный scp-оператор]
+	(*<- lang_ru;;*);
+	[active scp-operator]
+	(*<- lang_en;;*);;

to_check/scp/active_scp_operator.scs

@@ -0,0 +1,7 @@
+nrel_error
+<- sc_node_norole_relation;
+=> nrel_main_idtf:
+	[ошибка*]
+	(*<- lang_ru;;*);
+	[error*]
+	(*<- lang_en;;*);;

to_check/scp/nrel_error.scs

@@ -0,0 +1,7 @@
+nrel_scp_process
+<- sc_node_norole_relation;
+=> nrel_main_idtf:
+	[scp-процесс*]
+	(*<- lang_ru;;*);
+	[scp-process*]
+	(*<- lang_en;;*);;

to_check/scp/nrel_scp_process.scs

@@ -0,0 +1,7 @@
+question_scp_interpretation_request
+<- sc_node_not_relation;
+=> nrel_main_idtf:
+	[интерпретация scp-программы]
+	(*<- lang_ru;;*);
+	[scp-program interpretation]
+	(*<- lang_en;;*);;

to_check/scp/question_scp_interpretation_request.scs

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

to_check/scp/question_scp_procedure_preprocessing_request.scs

@@ -0,0 +1,7 @@
+useless_scp_process
+<- sc_node_not_relation;
+=> nrel_main_idtf:
+	[бесполезный scp-процесс]
+	(*<- lang_ru;;*);
+	[useless scp-process]
+	(*<- lang_en;;*);;