CN101673197A - Software trust ensuring method based on system structure evolution - Google Patents

Software trust ensuring method based on system structure evolution Download PDF

Info

Publication number
CN101673197A
CN101673197A CN200910044524.XA CN200910044524A CN101673197A CN 101673197 A CN101673197 A CN 101673197A CN 200910044524 A CN200910044524 A CN 200910044524A CN 101673197 A CN101673197 A CN 101673197A
Authority
CN
China
Prior art keywords
connexon
parts
software
tactful
context
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.)
Granted
Application number
CN200910044524.XA
Other languages
Chinese (zh)
Other versions
CN101673197B (en
Inventor
王怀民
丁博
史殿习
李骁
尹刚
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
National University of Defense Technology
Original Assignee
National University of Defense Technology
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by National University of Defense Technology filed Critical National University of Defense Technology
Priority to CN200910044524.XA priority Critical patent/CN101673197B/en
Publication of CN101673197A publication Critical patent/CN101673197A/en
Application granted granted Critical
Publication of CN101673197B publication Critical patent/CN101673197B/en
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Landscapes

  • Stored Programmes (AREA)

Abstract

The invention discloses a software trust ensuring method based on system structure evolution, aiming to provide a method for modifying each stage in a software environment adapting process on line toensure software trust when the environment exceeds the presetting environment of a development stage. The invention adopts the technical scheme that a perceptive stage and an executive stage in the software environment adapting process are packaged into different members, and the rule for software to make action decision according to the environment is packaged into a strategy connector; then, a member container is extended for supporting the interpretive execution of the strategy connector and allowing a third party to selectively add or delete and replace the members and the connectors whenrunning so that each stage in the software environment adapting process is independently modified on line. The invention can be used for adjusting the software environment adapting process when the software runs and can ensure the software trust with low modifying cost.

Description

A kind of software trust ensuring method based on system structure evolution
Technical field
The present invention relates to the software maintenance technical field, be specifically related to a kind ofly exceed the development phase during default scene when software runtime environment, guarantee the method for its lasting true(-)running by the online evolution of software architecture.
Background technology
Software trust is meant that running software behavior and result meet people expection, meet consumers' demand, and service still can be provided to provide when being subjected to interference such as operating mistake, environmental impact.Trust ensuring methods such as traditional proof of program correctness, software test were implemented in the development phase, needed to rely on the hypothesis to the following running environment of software.Yet, the appearance of software forms such as the society of service and commercial critical system hour is provided along with embedded software, internet works software, 7x24, various environmental factors such as the change in resources during running software, external service inefficacy, hardware fault, malicious attack have been difficult in the development phase and have been expected that accurately said method has been not enough to guarantee the credible of software.
Environment can't accurately be expected in the development phase, therefore will guarantee the credible of software, can only be based on that software issue back is revised where necessary by third party's (maintainer or other software entity) and the adaptive capacity to environment of expanding software.So-called environmental adaptation is meant the software responses environmental change, adjusts the process of self behavior.Usually use context events to express the variation of environment at present: context is certain dimension (as free memory or temperature) of environment, can use the name-value pair of " context title-context value " to represent, context events then is the variation of environment state on this dimension.On this basis, the environmental adaptation process of software can be subdivided into the stages such as perception, decision-making and execution: perception stage is obtained context events, carries out which kind of action when decision phase decision incident takes place, and the execute phase then is responsible for the enforcement of concrete action.
The expansion of software environment adaptive faculty can realize by the mode of shutting down upgrading, but this method need obtain software source codes, and pays and high cost such as stop to serve, redeploy.Sajadi in 2002 etc. have proposed a kind ofly dynamically to inweave code by the CORBA interceptor in middleware and make software obtain the method for adaptive faculty under the non-default environment; The Chisel project of Dublin University in 2004 uses the policy language of a kind of Iguana/J by name how to describe the logic of processing environment data in software, and makes software can tackle non-default environment by the online upgrading of strategy; Pukall in 2008 etc. have proposed a kind of method of software being made amendment, made its adaptation varying environment by the Java Virtual Machine built-in mechanism when disposing.Yet, there is common deficiency in said method: exceed when default at environment, many situations only need be revised the decision rule in the environmental adaptation process or increase new perception means, but the perception in the said method, decision-making and execution three phases are not obviously distinguished, do not support the independent online modification in each stage, cause environment to exceed the cost that software trust guarantees when presetting and become high.
The architectural model of software is with the abstract network for being made up of the computational entity (member) and the interactive rationship between entity (connexon) of coarseness of software systems, the software architecture online evolution comes software systems are adjusted by the modification to its architectural model after being meant the software issue, replaces member, connexon etc. as additions and deletions.CORBA component model CCM (CORBA Component Model) is the component model standard that is used for the develop and field Distributed Application that OMG organizes to set up, to member, define as contents such as the member container of member running environment, component development methods.The CCM member externally provides service manner to comprise incident port and generic interface: the former exports and represents certain state variation, can be published and events subscribed; The latter is member method and community set, and wherein method is the business function that member provides, and attribute is the external exposed state of member.
The software architecture online evolution can be adjusted member and the connexon of forming software under not shutdown of software situation.Member and connexon have encapsulated mutual between the difference in functionality module of software and functional module, thereby software maintenance personnel's notice can be placed on the general frame and system-level configuration of software, but not on the loaded down with trivial details and elusive details code.Therefore, the software trust under software architecture online evolution and the non-default environment is guaranteed to combine significant.Still there be not at present achievement or the mature technology scheme that disclosed technical information relates to the two combination.
Summary of the invention
The technical problem to be solved in the present invention is when environment exceeds development phase default; provide a kind of third party of support (maintainer, other software entity except that software self) to be carried out the method for independent online modification each stage of perception in the software environment procedure of adaptation, decision-making and execution; thereby make software to guarantee software trust to obtain the ability of the non-default environment of reply than low-cost, under not shutdown situation.
Technical scheme of the present invention is that perception in the software environment procedure of adaptation and execute phase are encapsulated as different members, with software according to environment move the decision-making rule be encapsulated as tactful connexon; Extension member container then, the explanation of support policy connexon is carried out on the one hand, realize the software procedure of adaptation, allow third party's additions and deletions when operation selectively on the one hand, replace member and connexon, thereby realize the independent online modification in each stage in the software environment procedure of adaptation.
Specific implementation of the present invention comprises following six steps based on the CCM component model:
The first step is encapsulated as the perception member according to the CCM standard with the environment sensing stage in the software environment procedure of adaptation, will move the execute phase to be encapsulated as the behavior member.The building method of perception member is: the code that will visit environment sensing such as physical sensors, detection computations resource status is encapsulated as member according to the CCM standard, exports context events by the incident port of CCM member then.The building method of behavior member is: the action code that response environment is changed is encapsulated as member according to the CCM standard, and the generic interface by the CCM member externally provides service then.The service that the generic interface of behavior member by the CCM member externally provides is the method in the behavior component interface.
In second step, the decision rule in the software environment procedure of adaptation is encapsulated as tactful connexon based on expandable mark language XML (eXtensible Markup Language).The strategy connexon is responsible for connecting perception member and behavior member, illustrate " when What for ", is that software moves the foundation of making a strategic decision when environmental change.The strategy connexon adopts the XML grammer, and its content is based on the form of incident-condition-action (Event-Condition-Action): the context events title of partly specifying the triggering procedure of adaptation in incident; In the condition that condition partly specifies context to satisfy, its form is " [context] [operational symbol] [value] " (as " Temperature>80 "); Call which behavior member in the appointment of action part and finish the environmental adaptation process.Strategy connexon other member configuration file in the CCM standard is kept at.
In the 3rd step, expansion meets the member container of CCM standard with the support policy connexon.The member container (being called for short the CCM container) that meets the CCM standard is made up of Event Service parts, structural components service cycle management component and other standard base facility of CCM member container.In the CCM container, increase abstract parts of environment and tactful connexon explanation parts.These parts all are CORBA objects, and the mode that loads by the CORBA object is added in the CCM container.
The abstract parts of environment are preserved all contextual currencys, are made up of context table and Event Service supervision parts:
● context table is preserved the last look of the context events of perception member output in the current container, it is a two-dimentional form, each writes down a context, comprises incident port title (character string type) and three fields of context currency (CORBAAny type) of perception member name (character string type), output context events;
● Event Service monitors that parts are responsible for obtaining all context events of perception member output and the new value of context events is saved in the context table.These parts Event Service parts in the CCM container are subscribed to the context events by the output of perception member, after receiving context events, up-to-date context value is taken out, in context table according to perception member name and incident port name lookup respective record, use more new record of up-to-date context value if this record has existed, otherwise add a new record that comprises perception member name, incident port name and context value.
The strategy connexon is explained parts dynamically explanation and implementation strategy connexon, it is written into tactful connexon, and in tactful connexon incident partly the context events of appointment takes place, condition is when partly the condition of appointment is satisfied, carry out partly specified action (promptly calling the method in the specified behavior component interface) of action.The strategy connexon explains that parts are written into interface, access vector cache, strategy execution parts by tactful connexon and form:
● tactful connexon is written into the tactful connexon that interface is written into appointment.Its use meets the W3C of w3c (World Wide Web Consortium) standard XML interpreter and is written into and the parses policy connexon, then tactful connexon is deposited into access vector cache.
● access vector cache conversation strategy connexon.It is with the mode storage policy connexon information of array, and every information is preserved by a structure that comprises incident, condition and three parts of action.
● the tactful connexon of preserving in explanation of strategy execution parts and the implementation strategy buffer memory, finish the environmental adaptation process, method is: the strategy execution parts are regularly visited the Event Service parts of CCM container, and whether the monitoring policy connexon incident partly context events of appointment takes place; After incident took place, the context table from the abstract parts of environment was taken out the partly contextual currency of required judgement of tactful connexon condition, judges whether this context currency meets the condition of tactful connexon appointment; If eligible, then the target adapter POA (PortableObject Adapter) by CORBA locatees and calls method in the behavior component interface, finishes the environmental adaptation process.
In the 4th step, expansion CCM container is with support software architecture online modification.In the CCM container, increase software architecture model parts and software architecture consistency maintenance parts.These parts all are CORBA objects of standard, and the mode that loads by the CORBA object is increased in the CCM container.
The software architecture model parts by the component description array, tactful connexon describes array and access interface is formed, and preserves the description to member and connexon:
● the status information when the component description array is preserved the member operation, the method that provides in member title, member incident port title, member generic interface title and the interface, the connexon title that each port or interface of member is connected are provided each member status information;
● it is a character string array that tactful connexon is described array, and the XML that preserves the All Policies connexon describes;
● access interface provides describes the method that array is inquired about and revised to member and connexon.Wherein querying method is described array accordingly according to member title or connexon name lookup, returns the information of corresponding element in the array; Amending method is then by operating the additions and deletions replacement that realizes that component description and connexon are described to interpolation, deletion and the renewal of array.
The member of software architecture consistency maintenance component maintenance software architecture model parts and actual motion and the consistance between the tactful connexon, promptly when the component description array in the software architecture model parts and connexon are described array and are changed, software architecture consistency maintenance parts explain that to actual components or tactful connexon the access vector cache work in the parts changes accordingly, method is: the regular access software architectural model of software architecture consistency maintenance parts parts, the variation of query software architectural model parts, handle in two kinds of situation when changing: (1) is if the variation of component description array, the structural components service cycle management component of then calling in the CCM container is mapped to the variation of component description array on the actual components, and promptly notice structural components service cycle management component loads corresponding member when having new component description to be increased in the component description array, notice structural components service cycle management component unloaded corresponding member when the component description deletion was arranged in the component description array; (2) if tactful connexon is described the variation of array, then the notification strategy connexon explains that the tactful connexon of parts is written into interface and is written into tactful connexon again.
The 5th step: in the CCM container, be written into and move member and tactful connexon.
Structural components service cycle management component is written into perception member and behavior member in the use CCM container, and the usage policy connexon explains that the tactful connexon of parts is written into interface and is written into tactful connexon.
After perception member, behavior member and tactful connexon are loaded into the CCM container, software is adjusted software action according to environmental information, and flow process is: perception member testing environment changes and by its incident port context events is outputed to Event Service parts in the CCM container; Event Service in the abstract parts of environment monitors that parts obtain context events, and up-to-date context value is deposited into context table; The strategy connexon explains that the strategy execution parts in the parts obtain context events by regular Access Events Service Part, when the incident of loaded tactful connexon incident part appointment produces, context table in the abstract parts of strategy execution parts access environment, take out the partly context value of required inspection of tactful connexon condition, whether Rule of judgment is set up, and the method when condition is set up in the partly specified behavior component interface of regulative strategy connexon action is finished the environmental adaptation process.
The 6th step: when environment exceeds the development phase when default, the online modification software architecture.At first determine according to the variation of environment which aspect needs to adjust among perception, decision-making or the executive capability three of software, carry out following action according to different situations then: when (1) adjusts the environment sensing ability of software when needs, by access interface increase, deletion or the replacement perception member of software architecture model; (2) when needs are adjusted the decision-making capability of software, by access interface increase, deletion or the replacement policy connexon of software architecture model; (3) when needs are adjusted the action executive capability of software, by access interface increase, deletion or the behavior of the replacement member of software architecture model.In above-mentioned action, develop new perception member, behavior member or tactful connexon if desired, then implement according to second step or the 3rd step respectively.
Software architecture consistency maintenance parts are made amendment to the member and the connexon of actual motion according to up-to-date member and connexon descriptor by the variation of regular access queries to the software architecture model parts.Perception member, tactful connexon or behavior member after software is promptly replaced based on additions and deletions are adjusted software action according to environmental information, guarantee that under new environment running software behavior and result meet people's expection, meet consumers' demand.
Adopt the present invention can reach following beneficial effect:
(1) the present invention is by preserving software architecture model and supporting its online modification in the CCM container; can under the non-stop-machine situation of software, the environmental adaptation process to software adjust, thereby guarantee that operation action and the result of software under non-default environment meets people's expection, meets consumers' demand.
(2) the present invention is by being encapsulated as perception member, tactful connexon and behavior member respectively with each stage of perception in the software environment procedure of adaptation, decision-making and execution, can support independent online modification, thereby can guarantee software trust with less modification cost to each stage.
Description of drawings
Fig. 1 is an overview flow chart of the present invention;
Fig. 2 is the synoptic diagram of in the 3rd step of the present invention and the 4th step the CCM container being expanded.
Embodiment
The present invention will be further described below in conjunction with embodiment:
Embodiment
With fire alarm automatic spray scene is example.
Consider that common fire alarm automatic sprinkler fire-extinguishing system is made up of smoke transducer, spray valve, firewarning light etc.; design following scene: smokescope sensor, spray valve, firewarning light and operation embedded software system are thereon arranged in certain room; think the generation fire alarm when smokescope is higher than assign thresholds, firewarning light flashes, sprays valve open.Threshold value is a certain concrete value that sets according to the hypothesis to FUTURE ENVIRONMENT the development phase, but because the change (as changing the kitchen, dining room into) of room purposes by common room, this threshold value can cause fire alarm wrong report (or failing to report), also promptly after environment exceeds development phase default, running software behavior and result will no longer meet user's expection.Adopt this moment method that the present invention carries out online adjustment to the software environment procedure of adaptation as shown in Figure 1:
The first step is encapsulated as the perception member according to the CCM standard with the environment sensing stage in the software environment procedure of adaptation, will move the execute phase to be encapsulated as the behavior member.
Exploitation smokescope perception member, visit smoke transducer, the code that obtains smokescope are encapsulated as the CCM member, and the output of the incident port by the CCM member smokescope context events of representing smokescope to change, this incident port called after SmokeDensity; Exploitation fire alarm respondent behavior member, the code that the control firewarning light is flashed, sprays valve opening and closing is encapsulated as the CCM member, and the AlarmOn () and the AlarmOff () method of fire alarm response opening and closing externally is provided in CCM member generic interface.
In second step, the decision rule in the software environment procedure of adaptation is encapsulated as tactful connexon based on XML.
Use following two the tactful connexons of XML language description: " when the SmokeDensity port output smokescope context events of smokescope perception member; and the contextual currency of smokescope is during greater than [threshold value]; and then call the AlarmOn () of fire alarm respondent behavior member ", " when the SmokeDensity port of smokescope perception member output smokescope context events; and the contextual currency of smokescope then calls the AlarmOff () of fire alarm respondent behavior member during less than [threshold value] ".Tactful connexon other member configuration file in the CCM standard is kept at.
In the 3rd step, expansion CCM container is with the support policy connexon.
As shown in Figure 2, in the CCM container, increase abstract parts of environment and tactful connexon explanation parts.The abstract parts of environment are made up of context table and Event Service supervision parts; The strategy connexon explains that parts are written into interface, access vector cache, strategy execution parts by tactful connexon and form.
In the 4th step, expansion CCM container is with support software architecture online modification.
As shown in Figure 2, in the CCM container, increase software architecture model parts and software architecture consistency maintenance parts.The software architecture model parts by the component description array, tactful connexon describes array and access interface is formed; Structural components service cycle management component in the software architecture consistency maintenance component invocation CCM container and tactful connexon explain that parts safeguard the member and the connexon of actual motion, and the member that makes actual motion is consistent with the content that connexon and component description array and tactful connexon are described array.
In the 5th step, in the CCM container, be written into and move member and tactful connexon
Use the structural components service cycle management component of CMM container to be written into smokescope perception member and fire alarm respondent behavior member, explain that by tactful connexon the strategy of parts is written into interface and is written into the tactful connexon that second step developed to the CCM container to the CCM container.
After member and tactful connexon were loaded, smog perception member detected that smokescope changes and by the Event Service parts of its SmokeDensity incident port output smokescope context events in the CCM container; The Event Service of the abstract parts of environment monitors that parts obtain this context events, and up-to-date smokescope context value is deposited in the context table; The strategy connexon explains that the strategy execution parts in the parts obtain this context events by regular Access Events Service Part, get up-to-date smokescope by the context table of the abstract parts of access environment then, and judge that smokescope whether greater than (or less than) specified threshold value, calls the AlarmOn () (or AlarmOff ()) of fire alarm respondent behavior member when condition is set up.
The 6th step is when environment exceeds development phase online modification software architecture when default
When the room use variation, exploitation is applicable to the tactful connexon of new environment, and its development approach is identical with the 3rd step, but " [threshold value] " in the tactful connexon be changed, and to be applicable to new environment, for example suitably to heighten threshold value and report by mistake avoiding after changing the kitchen into.The access interface that calls the software architecture model parts then adds new tactful connexon descriptor in the software architecture model to.
Software architecture consistency maintenance parts are adjusted the fire alarm automatic sprinkler fire-extinguishing system of actual motion according to up-to-date member and connexon descriptor by the variation of regular access queries to the software architecture model parts.Because [threshold value] in the new tactful connexon is special defined at new environment, the follow-up operation of fire alarm automatic sprinkler fire-extinguishing system will be based on new tactful connexon, thereby avoids the wrong report of fire alarm or fail to report.
In the present embodiment, hypothesis the time is not the modification threshold value if environment exceeds the development phase, but increase new perception means, and for example need a plurality of smoke transducers to cooperate to detect or use instead temperature sensor to detect, then only need in the 6th step, to increase or replace corresponding perception member; Change the fire alarm response mode if desired, then only need in the 6th step, replace original fire alarm respondent behavior member.Therefore, the present invention revises by the independent of perception in the support software environmental adaptation process, decision-making and each stage of execution, can reduce the cost that software trust guarantees.
Present embodiment is a simple realization of the present invention, and this process can be generalized to other software environment easily may exceed default commerce of development phase and social critical system, embedded software system, operation software systems on the internet etc.Exceed the development phase when default at environment, based on the present invention software systems are carried out necessary adjustment, revise and the environmental adaptation process of expanding software, thereby guarantee that it is credible by the third party.

Claims (2)

1. software trust ensuring method based on system structure evolution is characterized in that may further comprise the steps:
The first step is encapsulated as the perception member according to the CCM standard with the environment sensing stage in the software environment procedure of adaptation, will move the execute phase to be encapsulated as the behavior member; The building method of perception member is: the code of environment sensing is encapsulated as member according to the CCM standard, exports context events by the incident port of CCM member then; The building method of behavior member is: the action code that response environment is changed is encapsulated as member according to the CCM standard, and the generic interface by the CCM member externally provides service then;
In second step, the decision rule in the software environment procedure of adaptation is encapsulated as tactful connexon based on expandable mark language XML; The strategy connexon is responsible for connecting perception member and behavior member, illustrate " when What for ", is that software moves the foundation of making a strategic decision when environmental change; The strategy connexon adopts the XML grammer, and its content is based on the form of incident-condition-action: the context events title of partly specifying the triggering procedure of adaptation in incident; In the condition that condition partly specifies context to satisfy, its form is " [context] [operational symbol] [value] "; Call which behavior member in the appointment of action part and finish the environmental adaptation process; Strategy connexon other member configuration file in the CCM standard is kept at;
In the 3rd step, expansion meets the member container of CCM standard with the support policy connexon; Member container-abbreviation CCM the container that meets the CCM standard is made up of Event Service parts, structural components service cycle management component and other standard base facility of CCM member container; Increase abstract parts of environment and tactful connexon explanation parts in the CCM container, these parts all are CORBA objects, and the mode that loads by the CORBA object is added in the CCM container:
The abstract parts of environment are preserved all contextual currencys, are made up of context table and Event Service supervision parts:
● context table is preserved the last look of the context events of perception member output in the current container, it is a two-dimentional form, each writes down a context, comprises incident port title and three fields of context currency of perception member name, output context events;
● Event Service monitors that parts are responsible for obtaining all context events of perception member output and the new value of context events is saved in the context table, these parts Event Service parts in the CCM container are subscribed to the context events by the output of perception member, after receiving context events, up-to-date context value is taken out, in context table according to perception member name and incident port name lookup respective record, use more new record of up-to-date context value if this record has existed, comprise perception member name otherwise add one, the new record of incident port name and context value; The strategy connexon explains that parts explain dynamically and the implementation strategy connexon that it is written into tactful connexon, and partly the context events of appointment takes place, condition is when partly the condition of appointment is satisfied in tactful connexon incident, carries out the specified action of action part; The strategy connexon explains that parts are written into interface, access vector cache, strategy execution parts by tactful connexon and form:
● tactful connexon is written into the tactful connexon that interface is written into appointment, and its use meets the W3C of w3c standard XML interpreter and is written into and the parses policy connexon, then tactful connexon is deposited into access vector cache;
● access vector cache conversation strategy connexon, it is with the mode storage policy connexon information of array, and every information is preserved by a structure that comprises incident, condition and three parts of action;
● the tactful connexon of preserving in explanation of strategy execution parts and the implementation strategy buffer memory, finish the environmental adaptation process, method is: the strategy execution parts are regularly visited the Event Service parts of CCM container, and whether the monitoring policy connexon incident partly context events of appointment takes place; After incident took place, the context table from the abstract parts of environment was taken out the partly contextual currency of required judgement of tactful connexon condition, judges whether this context currency meets the condition of tactful connexon appointment; If eligible, then the environmental adaptation process is finished in the location of the target adapter POA by CORBA and call method in the behavior component interface;
The 4th step, expansion CCM container is with support software architecture online modification, increase software architecture model parts and software architecture consistency maintenance parts in the CCM container, these parts all are CORBA objects of standard, and the mode that loads by the CORBA object is increased in the CCM container:
The software architecture model parts by the component description array, tactful connexon describes array and access interface is formed, and preserves the description to member and connexon:
● the status information when the component description array is preserved the member operation, the method that provides in member title, member incident port title, member generic interface title and the interface, the connexon title that each port or interface of member is connected are provided each member status information;
● it is a character string array that tactful connexon is described array, and the XML that preserves the All Policies connexon describes;
● access interface provides describes the method that array is inquired about and revised to member and connexon; Querying method is to describe array accordingly according to member title or connexon name lookup, returns the information of corresponding element in the array; Amending method is meant the additions and deletions replacement that realizes that by interpolation, deletion and the renewal of array are operated component description and connexon are described;
The member of software architecture consistency maintenance component maintenance software architecture model parts and actual motion and the consistance between the tactful connexon, promptly when the component description array in the software architecture model parts and connexon are described array and are changed, software architecture consistency maintenance parts explain that to actual components or tactful connexon the access vector cache work in the parts changes accordingly, method is: the regular access software architectural model of software architecture consistency maintenance parts parts, the variation of query software architectural model parts, handle in two kinds of situation when changing: (1) is if the variation of component description array, the structural components service cycle management component of then calling in the CCM container is mapped to the variation of component description array on the actual components, and promptly notice structural components service cycle management component loads corresponding member when having new component description to be increased in the component description array, notice structural components service cycle management component unloaded corresponding member when the component description deletion was arranged in the component description array; (2) if tactful connexon is described the variation of array, then the notification strategy connexon explains that the tactful connexon of parts is written into interface and is written into tactful connexon again;
The 5th step: in the CCM container, be written into and move member and tactful connexon:
Structural components service cycle management component is written into perception member and behavior member in the use CCM container, and the usage policy connexon explains that the tactful connexon of parts is written into interface and is written into tactful connexon;
After perception member, behavior member and tactful connexon are loaded into the CCM container, software is adjusted software action according to environmental information, and flow process is: perception member testing environment changes and by its incident port context events is outputed to Event Service parts in the CCM container; Event Service in the abstract parts of environment monitors that parts obtain context events, and up-to-date context value is deposited into context table; The strategy connexon explains that the strategy execution parts in the parts obtain context events by regular Access Events Service Part, when the incident of loaded tactful connexon incident part appointment produces, context table in the abstract parts of strategy execution parts access environment, take out the partly context value of required inspection of tactful connexon condition, whether Rule of judgment is set up, and the method when condition is set up in the partly specified behavior component interface of regulative strategy connexon action is finished the environmental adaptation process;
The 6th step: when environment exceeds the development phase when default, online modification software architecture: at first determine according to the variation of environment which aspect needs to adjust among perception, decision-making or the executive capability three of software, carry out following action according to different situations then: when (1) adjusts the environment sensing ability of software when needs, by access interface increase, deletion or the replacement perception member of software architecture model; (2) when needs are adjusted the decision-making capability of software, by access interface increase, deletion or the replacement policy connexon of software architecture model; (3) when needs are adjusted the action executive capability of software, by access interface increase, deletion or the behavior of the replacement member of software architecture model; In above-mentioned action, develop new perception member, behavior member or tactful connexon if desired, then implement according to second step or the 3rd step respectively.
2. a kind of software trust ensuring method as claimed in claim 1 based on system structure evolution, it is characterized in that the perception member character string type by name in the described context table, the incident port name of output context events are called character string type, the context currency is a CORBA Any type.
CN200910044524.XA 2009-10-13 2009-10-13 Software trust ensuring method based on system structure evolution Expired - Fee Related CN101673197B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN200910044524.XA CN101673197B (en) 2009-10-13 2009-10-13 Software trust ensuring method based on system structure evolution

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN200910044524.XA CN101673197B (en) 2009-10-13 2009-10-13 Software trust ensuring method based on system structure evolution

Publications (2)

Publication Number Publication Date
CN101673197A true CN101673197A (en) 2010-03-17
CN101673197B CN101673197B (en) 2012-10-03

Family

ID=42020432

Family Applications (1)

Application Number Title Priority Date Filing Date
CN200910044524.XA Expired - Fee Related CN101673197B (en) 2009-10-13 2009-10-13 Software trust ensuring method based on system structure evolution

Country Status (1)

Country Link
CN (1) CN101673197B (en)

Cited By (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101963913A (en) * 2010-11-04 2011-02-02 南京大学 Method for online evolution of component based on transactions
CN103164225A (en) * 2013-03-12 2013-06-19 中国科学院软件研究所 Internet software architecture on-line evolution method based on hypergraph
CN103309658A (en) * 2013-05-13 2013-09-18 西安电子科技大学 Agent-based dynamic evolution system and method
CN104574000A (en) * 2015-02-03 2015-04-29 中国人民解放军国防科学技术大学 Automatic evolving method and device of information system
CN110427176A (en) * 2019-08-14 2019-11-08 北京邮电大学 A kind of spacecraft software is in-orbit to redefine method
CN112783474A (en) * 2020-12-31 2021-05-11 北京航空航天大学 Software architecture adaptability evaluation method considering multiple factors
CN113158430A (en) * 2021-03-25 2021-07-23 中国电子科技集团公司第二十九研究所 Efficient online behavior modeling combat simulation method

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101295261B (en) * 2008-06-25 2011-04-27 中国人民解放军国防科学技术大学 Componentization context processing method facing general computation surroundings
CN100590605C (en) * 2008-12-03 2010-02-17 中国人民解放军国防科学技术大学 Universal component fault tolerant method under computing environment

Cited By (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101963913A (en) * 2010-11-04 2011-02-02 南京大学 Method for online evolution of component based on transactions
CN103164225A (en) * 2013-03-12 2013-06-19 中国科学院软件研究所 Internet software architecture on-line evolution method based on hypergraph
CN103164225B (en) * 2013-03-12 2015-12-23 中国科学院软件研究所 A kind of network configuration software architecture online evolution method based on hypergraph
CN103309658A (en) * 2013-05-13 2013-09-18 西安电子科技大学 Agent-based dynamic evolution system and method
CN103309658B (en) * 2013-05-13 2016-01-13 西安电子科技大学 Based on the dynamic evolution system and method for Agent
CN104574000A (en) * 2015-02-03 2015-04-29 中国人民解放军国防科学技术大学 Automatic evolving method and device of information system
CN104574000B (en) * 2015-02-03 2017-08-01 中国人民解放军国防科学技术大学 A kind of automatic evolution method of information system and device
CN110427176A (en) * 2019-08-14 2019-11-08 北京邮电大学 A kind of spacecraft software is in-orbit to redefine method
CN112783474A (en) * 2020-12-31 2021-05-11 北京航空航天大学 Software architecture adaptability evaluation method considering multiple factors
CN113158430A (en) * 2021-03-25 2021-07-23 中国电子科技集团公司第二十九研究所 Efficient online behavior modeling combat simulation method
CN113158430B (en) * 2021-03-25 2022-08-02 中国电子科技集团公司第二十九研究所 Efficient online behavior modeling combat simulation method

Also Published As

Publication number Publication date
CN101673197B (en) 2012-10-03

Similar Documents

Publication Publication Date Title
CN101673197B (en) Software trust ensuring method based on system structure evolution
US8639376B2 (en) System for maintaining unified access to SCADA and manufacturing execution system (MES) information
CN101317381A (en) Ability management object maintenance, ability management method, system and terminal
CN108536972B (en) Complex system reliability simulation method and system based on self-adaptive agent
US20190286078A1 (en) Method and arrangement for controlling a technical system
US20150120906A1 (en) Agentless baseline profile compilation for application monitoring solution
US20220011753A1 (en) Generating and distributing configuration data structures for control systems
JP7481537B2 (en) Information processing system, information processing method, and information processing device
CN105404530B (en) It is a kind of to realize easy deployment and the system and method using private clound
CN102932200B (en) Monitoring method and device for information flow node processing time limit
CN114527996A (en) Multi-service deployment method and device, electronic equipment and storage medium
CN108366007B (en) Intelligent home monitoring method and device
CN106886452B (en) Method for simplifying task scheduling of cloud system
US12111639B2 (en) Control system
Mahmud et al. Power profiling of context aware systems: a contemporary analysis and framework for power conservation
Bencomo Requirements for self-adaptation
CN101295261B (en) Componentization context processing method facing general computation surroundings
Lopez-de-Ipina et al. Dynamic discovery and semantic reasoning for next generation intelligent environments
KR20110076459A (en) System and method for controlling steel processing
Kapoor Services and autonomic computing: a practical approach for designing manageability
KR100918840B1 (en) Method and Apparatus for Testing Target Sensor Node to compose Sensor Network
Cheng et al. New remote monitoring and control system architectures based on cloud computing
Kasinger et al. Towards a Model-Driven Software Engineering Methodology for Organic Computing Systems.
Ozeer Autonomic resilience of distributed IoT applications in the Fog
CN102938038A (en) Method for enhancing software security based on COP (Coefficient of Performance)

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C14 Grant of patent or utility model
GR01 Patent grant
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20121003

Termination date: 20211013

CF01 Termination of patent right due to non-payment of annual fee