Research On Theory And Application Of Software Modeling For Organizational Behaviors

With the development of Internet-related technology,the distributed and multi-level organizational-agent systems in a paralleled and structured way are popularly applied,such as Dynamic Component Oriented Systems,Agent-based Simulation Systems,Botnets,and so on.The operating environments of these systems are dynamic and open.In addition,the system components are autonomous and heterogeneous.Moreover,the systems themselves are distributed and hierarchical.Distributed and multi-level organizational-agent systems show organizational behavior characteristics of the dynamic interaction,cohesion and association with the environment.Besides,they have obvious social organization characteristics.The systems' dynamic,cohesive and associated organizational behavior characteristics bring a new challenge to the organizational behavior model:First of all,because of the dynamic and open operating environments of the systems,the members of the systems are uncertain,and the system members change dynamically with the environment in the running process.Therefore,an organizational behavior model is required in which members of system can be adjusted at a higher organizational abstraction level.The current organizational behavior design model is designed with a top-down way.In other words,it is a model framed on the Agent-Group-Role multi-agent organizational structure,that defines the individual behavior into functions like the organization entrance,when the organizational structure is determined,such as Medee Method Framework,Tropos,Moise+,Organt L,XABSL,and so on.These models satisfy the uncertain description of the system members at the design stage.However,they cannot dynamically adjust the organizational behaviors of the member objects in the running process to realize the dynamic change of the organizational structure.For example,in the study of cyberspace situational awareness,when Botnet initiates an unknown group attack,the agent simulation platform with the current organizational behavior model cannot dynamically reorganize organizational behaviors against group attacks with different organizational structures in the running process.Secondly,since the system has organizational behavior characteristics of the dynamic interaction with environments,it needs real-time analysis and real-time organizational behaviors modeling.A typical organizational behavior modeling is an abstraction of organizational behavior in a specialized field.Bottom-up modeling addresses the external organizational behavior characteristics,such as crowding model,network confrontation model,and so on.However,there are differences between current organizational behavior analysis model and the design model in modeling basis,modeling method,behavioral semantic formalization,etc.These differences lead to the impossibility of direct reference and association from basic modeling elements at the program level between the organization behavior analysis model and the design model.Instead,conversions are needed on semantics,data structure description,object description etc.At present,these conversions still require professionals to participate in with a large number of tools.Even if the models can be conversed automatically in the future,abundant time and storage space consumption are necessary during the process.Therefore,in view of the new challenges posed by this kind of organizational open system to the organizational behavior model,we believe that a unified model is necessary to establish for the organizational open system.This model should be unified by the organizational behavior analysis and the design model on semantic definitions and formalization methods,abstract mathematical model of organizational behavior,and so on.In this way,we can meet the real-time requirements of organizational behavior modeling for changable environments.To address these issuses,drawing on the concept and thought of the organizational behavior in Sociology,this thesis proposes an organizational behavior analysis and design model,which is real-time,dynamic and supportive on abstract data: the mathematical model constructed by organizational behavior types and the software engineering model dynamically generated by organizational behavior types.Based on the Sorted Constructive Algebra and the Situation Theory,this thesis employs the Denotational Semantics Formalization Method to give formalized definitions of organizational behaviors,organizational behavior algebra,organizational behavior situational semantics,and to put forward relevant theorem and deduction in changable environments.We also establish a mathematical model constructed by the organizational behavior type.With supports of relevant theories on Abstract Data Type(ADT)and Organization Model,the organizational behavior type,organizational behavior initial algebra,constructor,extension function,equality rules,and so on,are defined.The relevant theorems,deductions are proposed.Organizational behavior type expression language-Organizational Behavior Algebraic Specification Language(OBASL)are established.OBASL provides specification language supports for the organizational behavior abstract type library.Therefore,the dynamicly generated software engineering model of organizational behavior type is founded.The organizational behavior model proposed in this thesis is a bottom-up type-oriented constructive one,satisfying the design model's real-time reorganizing,clustering,and hierarchical separating.It is also an analysis model that meets the requirements of the real-time cohesion,association,and dynamics of organizational behaviors.Moreover,this thesis not only proposes the model,but also applies the model in the field of cyber situational awareness.It is analyzed that the deficiencies of the reference models in current cyber situational awareness and defects of the agent-based simulation platform and the clustering algorithm.This thesis takes agent-based simulation platformthe as autonomous system in cyberspace is an organizational-agent system of cyberspace.With reference to the biological groups situation awareness process,it defines the situation semantics extratction function of the attacking organizational behavior,and make clustering and grading convergences on individual attacker's behavior situational semantics.Then the organizational behavior situational semantics is formed.These achieve the interoperability of situational semantics between the individual and organizational behaviors.Then organizational behavior situational semantics is transformed by organizational situation,which completes the process of situational awareness of the attack organization,and establishes a situational awareness process model based on organizational behavior.At the same time,we define the situational agents and the situational agent organization based on agent-based simulation technology.In agent operating environments,we dynamically construct organizational-agents of situation.This organizational-agent system can reorganize the organizational behavior on the basis of the situational semantics and the sorted association,can make real-time attacking behavior simulation on attackers with changing organizational structure,and can carry on situational perception and evolution.Thereby,it is the basic mechanism that establish the bottom-up real-time situational awareness model and the simulation agent platform.In this thesis,the application of organizational behavior model in cyberspace situational awareness has solved the real-time awareness problem of attacks from unknown groups,and reduced the false alarm rate and false negative rate of group attack situational awareness.What is more,this theoretical application has been validated in the Netflow behavior situational awareness system.The main work and primary innovative achievements of this thesis are as follows:· This thesis analyzes organization behaviors of organizational-agent system on intrinsic types,and the dynamic,cohesion,and correlation of external manifestations.Based on the principle of Qu's behavior types,the definition of organizational behavior functions are deduced from mathematical system theory.Then,based on algebraic semantics and denotational semantics,the formal method organizational behaviors is established,and a unified formal semantics model of organizational behaviors is proposed.That is a theory basis of formal methods and construction methods for modeling on organizational behavior ADT.· The thesis analyzes the running meaning of organizational behaviors and relevance theory of situation semantics,proposes situation semantics of organizational behaviors based on behavioral observed information.That is a denotational semantics formal method for situation semantics of organizational behaviors.On the basis of this formal method,the situation semantics equations of organization behavioral are established to define the extension functions of organizational behavior ADT.· This thesis analyzes the software engineering theory of reuse and auto-construction of organizational behavior ADT,and put forward a modeling method of organizational behavior ADT.It also radicates an organizational behavior type expression language-Organizational Behavior Algebraic Specification Language(OBASL).OBASL is a transformation tool from algebraic expressions to data structions of organizational behavior ADT.· This thesis analyzes the requirements of cyberspace situational awareness,and proposes a situational awareness process model based on situation semantics of organizational behaviors which provides theoretical gist for researches of real-time situational awareness attacked by unknown groups.Based on this model and modeling method of organizational behavior ADT,the design modeling of reorganization and the real-time analysis modeling of the semantic aggregation are put forward for the simulation platform.The proposed algorithms provides an excellent accuracy and promptness for the situational awareness for unknown Netflow group attacks.