An AADL-based agent and service-oriented architecture modeling method

Abstract

The present invention discloses a modeling method of an intelligent agent and service-oriented architecture based on AADL. First, the characteristic information of the intelligent agent and the service-oriented architecture is analyzed, the characteristic information of the intelligent agent in each state and the elements causing its behavior change are determined, and the business service type, configuration status and various business requests of the service-oriented architecture are determined. Then, according to the characteristic information, the AADL components required for modeling are determined, and the modeling method of using pattern components to describe the working state of the intelligent agent software and triggering the working state conversion through software input is determined; and the modeling method of using system components combined with pattern components to describe the business of the service-oriented architecture and triggering the conversion of the current business to other businesses through business requests is determined. The present invention can realize accurate modeling of the architecture, and can take into account the description of the autonomous feedback behavior of the intelligent agent to the external environment input and the description of the single software implementation and the overall architecture and behavior of the system in the service-oriented architecture.

Description

Technical Field

[0001] The present invention relates to the technical field of avionics system modeling, and more particularly to an AADL-based intelligent agent and service-oriented architecture modeling method. Background Art

[0002] The avionics system involves communication, navigation, identification, detection, flight management, display control and other functions, so as to provide pilots with comprehensive and accurate battlefield situation information, and enhance the pilots' ability to identify, monitor, analyze and respond to potential threats in the battlefield environment. It is the central nervous system of the entire fighter. The development of avionics has gone through several stages, namely discrete, joint, integrated and distributed, aiming to enhance the functions and performance of avionics systems, reduce the cost of aircraft life cycle, and solve the upgrade and transplantation problems of system hardware and software.

[0003] With the continuous development of relevant technologies in the current aviation and information fields, artificial intelligence and information technology have become the focus of current aviation research. In the discussion on the development of future fighter jets, the importance of informatization and intelligence has been emphasized many times, including:

[0004] The mechanization of fighter jets is the prerequisite for informatization, and informatization is the basis for intelligence (Yang Wei. Some discussions on the development of future fighter jets. Acta Aeronautica Sinica 2020; 41(06): 8–19.);

[0005] Autonomy and artificial intelligence technology are necessary conditions for realizing complex air combat systems (Sun Cong. Analyzing the development trend of future fighter jets from the evolution of air combat winning mechanism. Acta Aeronautica Sinica 2021; 42(08): 8–20.) etc.

[0006] As an important part of informatization, software architecture and artificial intelligence technology in avionics systems are the important foundation of avionics system functions. Therefore, the application of artificial intelligence technology and service-oriented architecture (SOA) in avionics systems has become the research focus of advanced avionics system architecture.

[0007] However, with the development of technology, the scale of avionics systems continues to increase, and system design work becomes more and more complex, making modeling as design the focus of the work. At present, how to better model intelligent agents and SOA is an important issue that needs to be faced in research.

[0008] For the intelligent agent, it refers to the intelligent agent software in the avionics system, which can interact with the external environment and perform autonomous activities. Specifically, it can be defined as: intelligence is a software entity that can perform a set of operations on behalf of the user or a plan with a certain degree of independence or autonomy, and sense and automatically perform tasks in a complex and dynamic computing system environment, so as to achieve a set of goals designed by them (Maes P.Agents that reduce work and information overload.Commonunications Acm 1994; 37.). At the same time, an intelligent agent is also a computer (hardware or software) system that meets specific design requirements. It is located in a specific environment and has a high degree of flexibility and autonomy (Jennings NR, Faratin P., Johnson MJ, Norman TJ, Wiegand MEAgent-Based Business Process Management. Int J Coop Inf Syst 1996; 5(2–3): 105–30. Doi: 10.1142 / S0218843096000051. Wooldridge Michael, Jennings Nicholas R. Intelligent agents: theory and practice. Knowl Eng Rev 1995; 10(2): 115–52. Doi: 10.1017 / S0269888900008122.).

[0009] As for the service-oriented architecture (SOA), it represents an open, agile, scalable, federated and composable architecture, including self-made, high-quality, vendor-diverse, interoperable, discoverable and potentially reusable services. Although there is no recognized standard definition of SOA, the industry has already had some definitions of SOA:

[0010] The World Wide Web Consortium (W3C) defines SOA as: "an application architecture in which all functions are defined as independent services with well-defined callable interfaces that can be called in a defined order to form a business process."

[0011] Service-architecture.com defines SOA as: "Essentially a collection of services. Services communicate with each other, which may be simple data transfer or two or more services coordinating some activities. Services need some method to connect with each other. A service is a precisely defined, well-encapsulated function that is independent of the environment and state of other services."

[0012] There are many studies on the modeling methods of intelligent agents, including dividing intelligent agents into several typical agents according to their functions and introducing their functions, realizing the overall functional modeling of intelligent systems through functional division, and modeling methods based on discrete event systems (DEVS). Specifically, the state of the intelligent agent is divided into three categories: perception, cognition and action, and the intelligent agent is described by three types of state functions. The intelligent agent is defined as a mapping, and the local environment content perceived by the intelligent agent is mapped to general behavioral intentions rather than specific actions. After perceiving the environment, the intelligent agent will adjust its intention for a certain behavior, which can achieve a smooth transition of potential behaviors and its behavioral logic is richer.

[0013] In the current SOA research and project practice, some existing methods have been applied to SOA modeling, such as OOAD, BPM and other modeling methods.

[0014] Although some progress has been made in the research on the above modeling methods, the specific modeling methods for intelligent agents and SOA are still not in-depth enough. For example, it is impossible to describe the autonomous feedback and behavior of intelligent agents under the input of the external environment, and the SOA modeling method cannot take into account the description of the implementation of a single application and the description of the overall business architecture of the service.

[0015] Therefore, how to provide an AADL-based agent and service-oriented architecture modeling method is a problem that those skilled in the art urgently need to solve. Summary of the invention

[0016] In view of this, the present invention provides an AADL-based agent and service-oriented architecture modeling method, which realizes the description of a single application and the overall business architecture of a service, as well as the description of the agent's autonomous feedback and behavior under the input of the external environment.

[0017] In order to achieve the above object, the AADL-based agent and service-oriented architecture modeling method disclosed in the present invention is implemented through the following steps:

[0018] S1. Analyze the characteristics of the agent and service-oriented architecture, and organize the elements required for modeling:

[0019] Divide the behavior of the agent into different states, determine the agent's characteristic information in each state, and determine the elements that cause the agent's behavior to change;

[0020] Determine the business and service types of the service-oriented architecture; determine the configuration of services in each business and business requests;

[0021] S2. Determine the AADL components required for modeling and the required modeling method according to the characteristic information: the AADL components include pattern components and system components.

[0022] Using pattern components to describe the working state of the intelligent agent software, and triggering the working state transition by inputting the elements causing the behavior change of the intelligent agent into the intelligent agent software;

[0023] The system components are combined with the pattern components to describe the services of the service-oriented architecture, and the business request is used to trigger the conversion of the current business to other businesses.

[0024] Preferably, in S1, the analyzing characteristic information of the agent and the service-oriented architecture also needs to determine other elements in the agent and the service-oriented architecture, including threads and data;

[0025] Preferably, in S2, the system components include different process components, and the process components represent different services.

[0026] Preferably, in S2, the process of using the pattern component to model the agent includes the following steps:

[0027] S211, establishing a process component to represent the agent process;

[0028] S212, establishing multiple modes in the process component to describe various behaviors of the agent, and describing the change of the agent's behavior by setting a trigger for mode conversion;

[0029] S213, adding attributes to the process component to describe the attribute characteristics of the agent in different behaviors;

[0030] S214: Add other components such as threads, data and connection relationships to the process component to form a complete model.

[0031] Preferably, in S2, the process of using system components in combination with pattern components to perform service-oriented architecture modeling includes the following steps:

[0032] S221, establishing a total system component for representing the entire service-oriented architecture;

[0033] S222, establishing multiple modes in the overall system component, and creating system components corresponding to the multiple modes, for describing various services of the service-oriented architecture, and describing various service requests that can be processed by the system through conversion conditions of the modes;

[0034] S223, adding a process component to the system component to describe various services called within the business, and describing the conversion of the service-oriented architecture business and the call to the service by setting a trigger for mode conversion;

[0035] S224, adding detailed configuration and attribute information to the system component and the process component, so as to describe the attribute characteristics of the system and different services when the system executes different businesses in the service-oriented architecture;

[0036] S225. Add other components, including threads, data, and interfaces, to the system component and the process component to form a complete model.

[0037] Preferably, the modeling model is implemented using OSATE modeling software in the present invention.

[0038] It can be seen from the above technical solution that, compared with the existing technology, its beneficial effect is that it fully considers the advantages of AADL and applies it to the design of intelligent agents and service-oriented architectures, simplifies the design of increasingly complex systems, and realizes the description of the overall business architecture of single applications and services, as well as the description of the autonomous feedback and behavior of intelligent agents under input from the external environment. BRIEF DESCRIPTION OF THE DRAWINGS

[0039] In order to more clearly illustrate the embodiments of the present invention or the technical solutions in the prior art, the drawings required for use in the embodiments or the description of the prior art will be briefly introduced below. Obviously, the drawings described below are only embodiments of the present invention. For ordinary technicians in this field, other drawings can be obtained based on the provided drawings without paying creative work.

[0040] Figure 1 The accompanying drawing is a schematic diagram of an intelligent agent example modeling provided by the present invention;

[0041] Figure 2 The accompanying drawing is a schematic diagram of the working mode of the service-oriented architecture provided by the present invention;

[0042] Figure 3 The accompanying drawing is a schematic diagram of a graphical model of the overall model of the intelligent agent and service-oriented architecture in the specific example provided by the present invention. DETAILED DESCRIPTION

[0043] The following will be combined with the drawings in the embodiments of the present invention to clearly and completely describe the technical solutions in the embodiments of the present invention. Obviously, the described embodiments are only part of the embodiments of the present invention, not all of the embodiments. Based on the embodiments of the present invention, all other embodiments obtained by ordinary technicians in this field without creative work are within the scope of protection of the present invention.

[0044] AADL is a framework language that does not care about the implementation of specific functions, but only constrains non-functional attributes. System designers can perform various analyses and evaluations on the reliability, security, and real-time performance of the established system model to continuously improve the system design.

[0045] Correspondingly, Model Driven Architecture is a promising software development method based on abstract models proposed by OMG. As we all know, most errors in software development are introduced in the early stages of requirements analysis and specifications, and these errors will gradually increase as development progresses. The later the error is discovered, the greater the cost of modifying it. Using the MDA software development method, system designers can fully analyze and verify the system model in the model design phase and solve most of the possible errors. AADL (Architecture Analysis and Design Language) is an architecture modeling language that conforms to the MDA concept.

[0046] Using AADL for embedded software design and development can simplify the software development process, improve software development efficiency, reduce coding errors, and reduce development costs while ensuring that all functional and non-functional attributes of the embedded software are met.

[0047] Therefore, the embodiment of the present invention discloses an agent and service-oriented architecture modeling method based on AADL, which specifically includes the following steps:

[0048] S1. Analyze the characteristics of the agent and service-oriented architecture, and organize the elements required for modeling:

[0049] Divide the behavior of the agent into different states, determine the agent's characteristic information in each state, determine the elements that cause the agent's behavior to change, including specific events, data, etc., and finally determine the elements of other parts of the agent: such as threads, data, etc.;

[0050] Determine the core components of the service-oriented architecture, including business and services. See Table 1 for details.

[0051] Table 1 Core components required for modeling

[0052]

[0053] Secondly, it is necessary to determine the configuration of services and business requests in each business; as well as the configuration of services in each business and the business requests that can be processed; finally, determine other parts of the service-oriented architecture, such as threads and data.

[0054] S2. According to the characteristic information determined in step 1, determine the AADL components required for modeling, and determine a specific modeling method in combination with the AADL components and the characteristic information; the AADL components include pattern components and system components,

[0055] Using pattern components to describe the working state of the intelligent agent software, and triggering the working state transition by inputting the elements causing the behavior change of the intelligent agent into the intelligent agent software;

[0056] The services of the service-oriented architecture are described by combining system components with pattern components, and the conversion of the current services to other services is triggered by the service request, wherein the system components include different process components, and the process components represent different services.

[0057] Specifically, the process of using pattern components to model intelligent agents includes the following steps: Figure 1 ):

[0058] S211, establishing a process component to represent the agent process;

[0059] S212, establishing multiple modes in the process component to describe various behaviors of the agent, and describing the change of the agent's behavior by setting a trigger for mode conversion;

[0060] In modeling, the trigger set in the mode component can also be called the trigger of mode conversion. It can be an event, data, message or other elements. When the previously set interface receives the set content, it will trigger the conversion of mode A to mode B.

[0061] S213, adding attributes to the process component to describe the attribute characteristics of the agent in different behaviors;

[0062] S214: Add other components such as threads, data and connection relationships to the process component to form a complete model.

[0063] Furthermore, the process of modeling a service-oriented architecture using system components in combination with pattern components includes the following steps: Figure 2 :

[0064] S221, establishing a total system component for representing the entire service-oriented architecture;

[0065] S222, establishing multiple modes in the overall system component, and creating system components corresponding to the multiple modes, for describing various services of the service-oriented architecture, and describing various service requests that can be processed by the system through conversion conditions of the modes;

[0066] S223. Add a process component to the system component. The process component represents all software services and may be an intelligent agent or not. The process component is used to describe the configuration relationship between various services called within the business and to describe the conversion of the service-oriented architecture business and the call of the service by setting the trigger of the mode conversion.

[0067] S224, adding detailed configuration and attribute information to the system component and the process component, so as to describe the attribute characteristics of the system and different services when the system executes different businesses in the service-oriented architecture;

[0068] S225. Add other components, such as threads, data, and interfaces, to the system component and the process component to form a complete model.

[0069] When determining a modeling instance, the target detailed information of the instance can be determined based on the system design document and other contents; based on the instance information, the modeling details of the intelligent agent and the service-oriented architecture can be clarified.

[0070] Below, we take some functions in an avionics system as an example to complete the service-oriented architecture modeling based on AADL including intelligent agents. This case includes three businesses: intelligent path planning, communication and equipment health status monitoring, and five services: path planning service, communication management service, signal reception service, signal transmission service, equipment signal collection service and equipment status analysis service. The correspondence between the business and the service is as follows: the intelligent path planning business includes: intelligent path planning service, signal reception service and signal transmission service; the communication business includes communication management service, signal reception service and signal transmission service; the equipment health status monitoring business includes equipment signal collection service and equipment status analysis service.

[0071] The path planning service includes an agent, and the agent modeling method is used to model this service. According to the characteristics of this agent, its state is divided into three states: image acquisition, image analysis, and path planning. The agent service has different execution time attributes in the three states, and its state transition is triggered by path planning task events, image acquisition data, and image analysis result data.

[0072] Finally, the modeling model is implemented using OSATE modeling software.

[0073] Continuing to use some functions of the above-mentioned avionics system as an example, the service-oriented architecture modeling method is used to model this system. First, the system component is used to describe the overall service-oriented architecture, and multiple modes are established in the structure to correspond to the three businesses of intelligent path planning, communication and equipment health status monitoring. Multiple system components are established within the structure to describe the three businesses in the system, and process components are used within each business to describe the various services included in the business. The corresponding intelligent path planning, communication and equipment health status monitoring business requests are used as security events to trigger the business conversion of the system.

[0074] The path planning service is modeled using the agent modeling method. First, the Process component is used to describe the path planning service. Multiple modes are established in the Process component corresponding to the three states of image acquisition, image analysis, and path planning. Then, the path planning task events, acquired image data, and image analysis result data trigger its state transition. Finally, the Process component is set to have different execution time attributes in the three states.

[0075] The details of OSATE modeling are as follows:

[0076] 1. Use graphical models to intuitively express system architecture and component configuration information, such as Figure 3 As shown;

[0077] 2. Use the service-oriented architecture modeling method to model the system. The specific text model is as follows:

[0078] system implementation AIFS.impl

[0079] subcomponents

[0080] Intelligent_path_planning_business:system

[0081] Intelligent_path_planning_business.impl in modes

[0082] (Intelligent_path_planning_mode);

[0083] Communication_business:system communication_business.impl in modes(Equipment_Health_Monitoring_mode);

[0084] Equipment_Health_Monitoring_business:system

[0085] Equipment_Health_Monitoring.impl in modes(communication_mode);

[0086] connections

[0087] AIFS_impl_new_connection:feature i_1->

[0088] Intelligent_path_planning_business.mode1_system_new_feature;

[0089] AIFS_impl_new_connection2:feature

[0090] Intelligent_path_planning_business.mode1_system_new_feature2->o_2;

[0091] AIFS_impl_new_connection3:feature i_2->

[0092] Communication_business.mode2_system_new_feature;

[0093] AIFS_impl_new_connection4:feature

[0094] Communication_business.mode2_system_new_feature2->o_3;

[0095] AIFS_impl_new_connection5:feature i_3->

[0096] Equipment_Health_Monitoring_business.mode3_system_new_feature;

[0097] AIFS_impl_new_connection6:feature

[0098] Equipment_Health_Monitoring_business.mode3_system_new_feature2->o_1;

[0099] modes

[0100] Intelligent_path_planning_mode:initial mode;

[0101] Equipment_Health_Monitoring_mode:mode;

[0102] communication_mode:mode;

[0103] AIFS_impl_new_transition:Intelligent_path_planning_mode-[communication]->communication_mode;

[0104] AIFS_impl_new_transition2:communication_mode-[Equipment_Health_Monitoring]->Equipment_Health_Monitoring_mode;

[0105] AIFS_impl_new_transition3:Equipment_Health_Monitoring_mode-[Intelligent_path_planning]->Intelligent_path_planning_mode;

[0106] end AIFS.impl;

[0107] 3. The text model for modeling the path planning service using the agent modeling method is as follows:

[0108] system implementation Intelligent_path_planning_business.impl

[0109] subcomponents

[0110] Path_planning_agent:process Path_planning_agent.impl;

[0111] signal_reception_service:process signal_reception_service.impl;

[0112] signal_transmission_service:process signal_transmission_service.impl;connections

[0113] Intelligent_path_planning_business_impl_new_connection:featuresignal_reception_service.path_planning->Path_planning_agent.agent_path;

[0114] Intelligent_path_planning_business_impl_new_connection2:featuresignal_reception_service.analysis->Path_planning_agent.agent_analysis;

[0115] Intelligent_path_planning_business_impl_new_connection3:featuresignal_reception_service.image->Path_planning_agent.agent_image;

[0116] Intelligent_path_planning_business_impl_new_connection4:featuremode1_system_new_feature->

[0117] signal_reception_service.signal_reception_service_new_feature2;

[0118] Intelligent_path_planning_business_impl_new_connection5:featuresignal_reception_service.signal_reception_service_new_feature->

[0119] Path_planning_agent.Path_planning_agent_new_feature;

[0120] Intelligent_path_planning_business_impl_new_connection6:feature Path_planning_agent.Path_planning_agent_new_feature2->

[0121] signal_transmission_service.signal_transmission_service_new_feature2;

[0122] Intelligent_path_planning_business_impl_new_connection7:featuresignal_transmission_service.signal_transmission_service_new_feature->mode1_system_new_feature2;

[0123] end Intelligent_path_planning_business.impl;

[0124] 4. Use the OSATE modeling software for modeling, and its implementation text model is as follows:

[0125] PROCESS implementationPath_planning_agent.impl

[0126] subcomponents

[0127] Aig_impl_new_subcomponent:thread;

[0128] modes

[0129] image_capture:initial mode;

[0130] image_analysis:mode;

[0131] path_planning:mode;

[0132] Path_planning_agent_impl_new_transition:image_capture-[agent_image]->image_analysis;

[0133] Path_planning_agent_impl_new_transition2:image_analysis-[agent_analysis]->path_planning;

[0134] Path_planning_agent_impl_new_transition3:path_planning-[agent_path]->image_capture;

[0135] endPath_planning_agent.impl;

[0136] Among them, AIFS.impl represents the detailed implementation of the SOA system. The three businesses in the text model: intelligent path planning, communication and equipment health status monitoring correspond to Intelligent_path_planning_business, Communication_business and Equipment_Health_Monitoring_business in subcomponents respectively.

[0137] The three modes in the AADL model are the three items in modes:

[0138] The first item: Intelligent_path_planning_mode:initial mode. In this mode, the system is in the intelligent path planning business state. This mode is the initial mode.

[0139] The second item: Equipment_Health_Monitoring_mode: mode, in this mode the system is in the communication business state;

[0140] The third item: communication_mode:mode. In this mode, the system is in the equipment health status monitoring business state.

[0141] In this specification, each embodiment is described in a progressive manner, and each embodiment focuses on the differences from other embodiments. The same or similar parts between the embodiments can be referred to each other. For the device disclosed in the embodiment, since it corresponds to the method disclosed in the embodiment, the description is relatively simple, and the relevant parts can be referred to the method part.

[0142] The above description of the disclosed embodiments enables one skilled in the art to implement or use the present invention. Various modifications to these embodiments will be apparent to one skilled in the art, and the general principles defined herein may be implemented in other embodiments without departing from the spirit or scope of the present invention. Therefore, the present invention will not be limited to the embodiments shown herein, but rather to the widest scope consistent with the principles and novel features disclosed herein.

Claims

1. A method for modeling an agent and service-oriented architecture based on AADL, characterized in that: The following steps are included: S1. Analyze the characteristics of the agent and service-oriented architecture, and organize the elements required for modeling: Divide the behavior of the agent into different states, determine the agent's characteristic information in each state, and determine the elements that cause the agent's behavior to change; Determine the business and service types of the service-oriented architecture; determine the configuration of services in each business and business requests; S2. Determine the AADL components required for modeling and the required modeling method according to the characteristic information: the AADL components include pattern components and system components. The working state of the agent software is described by using the pattern component, and the working state transition is triggered by inputting the elements causing the agent behavior change into the agent software; the process of using the pattern component to model the agent includes the following steps: S211, establishing a process component to represent the agent process; S212, establishing multiple modes in the process component to describe various behaviors of the agent, and describing the conditions that cause the behavior change of the agent by setting triggers for mode conversion; S213, adding attributes to the process component to describe the attribute characteristics of the agent in different behaviors; S214, adding other components such as threads, data and connection relationships to the process component to form a complete model; The process of describing the service-oriented architecture business by combining system components with pattern components and triggering the conversion of the current business to other businesses through the business request; and modeling the service-oriented architecture by combining system components with pattern components includes the following steps: S221, establishing a total system component for representing the entire service-oriented architecture; S222, establishing multiple modes in the overall system component, and creating system components corresponding to the multiple modes, for describing various services of the service-oriented architecture, and describing various service requests that can be processed by the system through conversion conditions of the modes; S223, adding a process component to the system component to describe various services called within the business, and describing the conversion of the service-oriented architecture business and the call to the service by setting a trigger for mode conversion; S224, adding detailed configuration and attribute information to the system component and the process component, so as to describe the attribute characteristics of the system and different services when the system executes different businesses in the service-oriented architecture; S225. Add other components, including threads, data, and interfaces, to the system component and the process component to form a complete model.

2. The method for modeling an agent and service-oriented architecture based on AADL according to claim 1, characterized in that: In S1, the analysis of the characteristic information of the intelligent agent and the service-oriented architecture also requires determining other elements in the intelligent agent and the service-oriented architecture, including threads and data.

3. The method for modeling an agent and service-oriented architecture based on AADL according to claim 1, characterized in that: In S2, the system components include different process components, and the process components represent different services.

4. The method for modeling an agent and service-oriented architecture based on AADL according to claim 1, characterized in that: The modeling model is implemented using OSATE modeling software.

Images