95 results about "Unified Modeling Language" patented technology

The preferred embodiment provides a system and method for automatically generating enterprise software applications with minimal level of manual coding. The preferred embodiment provide a graphical design tool that models an application using Unified Model Language (UML), validate the UML model, and automatically generate deployable application. The preferred embodiment also provides a framework of libraries that the target application can be build from.

Methods, mediums and systems are provided to enable a user to program the behaviors of a Unified Modeling Language (UML) model in a graphical programming or modeling environment, such as block diagram programming environment. The UML model is exported into a text-based format, which is subsequently imported into the graphical programming or modeling environment. The graphical programming or modeling environment represents the UML model using functional blocks so that the user can program the behaviors of the UML model. The graphical programming or modeling environment also enables the user to simulate or execute the UML model to determine the behaviors of the UML model

The invention provides an automated testing method and device for all-purpose financial statements. The automated testing method includes analyzing software requirement specifications according to preset keywords, and generating software testing requirement data in a statement form; generating test cases according to the software testing requirement data and prestored test case templates; generating test data according to the software testing requirement data and the prestored UML (unified modeling language) program flow chart; generating test programs corresponding to test cases by splicing SQL (structured query language) statements according to the software test requirement data; generating predicted test result statements according to the test data and the test programs; generating an automated script parameter list recognizable by test tools according to the software test requirement data and prestored automated script parameter configurations; generating simulated test result statements of the test cases according to the test data and the automated script parameter list by the test tools; and comparing the predicted test result statements and the simulated test result statements to generate test results.

To provide a UML design method by which architecture design pursuing optimal design parameters while viewing the overall target system on the UML model can be performed. A UML design method of the present invention is a UML design method for performing design by modeling a target system based on Unified Modeling Language (UML), using a profile storing a design parameter, the method including the steps of: storing a stereotype and a tagged value in the profile as the design parameters; annotating a UML model of the target system with the stored stereotype and tagged value; and associating the added stereotype and tagged value with each class constituting the UML model, and displaying the stereotype and tagged value and the UML model, which are associated, on a graphical user interface.

The invention discloses an automatic page generation method facing to Web application system. The method adopts Unified Modeling Language (UML) modeling technology and Extensive Makeup Language (XML) technology, and adopts FMDP model. The method includes steps of: generating a function model, an inner model, a database interface model and an expression model of the Web application system; generating system customized information based on the models, and concentrating in documents in format of XML to store in the system server terminal; and providing client subscriber a function of conveniently modifying the original customized information based on the customization needs. Customization of the Web application system is realized in the genuine meaning by the invention, and customized Web application system can be quickly generated by using the invention, and regulation of system demand can be realized on the premise of avoiding recompilation of the whole system, to improve the development efficiency of the Web software.

Natural Language Requirement (NLR) descriptions are parsed to generate syntactic verb structures. These structures are matched with a set of pre-defined semantic patterns to form semantic networks of semantic pattern instances. The networks are searched; any missing concepts identified and any incorrect or ambiguous concepts modified or clarified by user interaction. This interaction creates new semantic pattern instances that are used to generate an analysis model represented by a Unified Modelling Language (UML) or Entity-Relationship (ER) diagram, which can then be subsequently used to generate a computer software system.

The invention discloses a software trustworthiness engineering method based on a formalized and unified software model, belonging to the field of software trustworthiness. The method comprises the following steps: building an unified software model which includes software requirement design information, software implementation information and runtime environment information based on a formalized language and a traditional UML (unified modeling language) view; carrying out the consistency and validity verification of the unified software model according to the software trustworthiness engineering technical architecture and automatically generating an unit test case; building a software security defect knowledge base based on the unified software model; finding out potential software security defects in the unified software model based on the software security defect knowledge base by a formalized language theorem proving machine; and giving out a corresponding alleviating solution according to the potential software security defect. The software trustworthiness engineering method has the beneficial effects of improving the software quality, eliminating the design defect, reducing the development cost, enhancing the maintainability and the like and solves the problems in the traditional software engineering.

The invention discloses a configurable method for automatically generating a database and accessing data. The configurable method includes converting a UML (unified modeling language) class image designed in a business requirement analysis stage into an XML (extensible markup language) file; generating metadata information by means of analyzing and reading the XML file; selecting a used database and used business processing language by means of selecting a configuration file by a user; generating a database template, an entity class template and a data access class template; and generating a database, an entity class and a data access class of a system by the aid of a generator of the system according to the metadata information and the generated templates. The metadata information includes basic attributes including the accessibility, the name and the type of an object. By the aid of the configurable method, the UML class image is converted to the database, the entity class, the data access class and the like, accordingly, the database and a data access layer can adapt to change of the object and change of the attributes of the object, when the type of the database and the business processing language are changed, only the design of the UML class image needs to be modified to regenerate a database and a data access layer, and extensibility and maintainability of the system are improved.

A methodology for creating Unified Modeling Language (UML) use cases by decomposing a business process into one or more levels of focus areas. A top-level focus area defines the business process and a set of participants therein. The top-level focus area is decomposed by identifying divisible aspects or subsets of the business process, and by identifying the various roles played by the participants. The result of this decomposition is one or more sub-focus areas, each having associated therewith a set of participants based on the top-level participants. The focus areas and participants are recursively decomposed level-by-level until a set of bottom-level focus areas is obtained satisfying the condition that each participant has only one role. When this condition is met, the bottom-level focus areas may be modeled as UML business use cases and used to develop software that meets the specified business process.

The invention discloses a behavioral model-based software security test case generation method, which comprises the following steps of: (1) determining software security test needs; (2) describing the security test needs by using a test need behavioral model; (3) describing the test need behavioral model by using a unified modeling language (UML) state chart; (4) transforming the UML state chart into a finite state machine (FSM); and (5) automatically generating a security test case based on a characteristic sequence of the FSM. In the behavioral model-based software security test case generation method provided by the invention, security test is performed primarily from a software security defect (SSD) behavior prevention mechanism, an SSD behavior detection mechanism and an SSD behavior response mechanism, so that the one-sidedness and need imperfection of conventional software security tests are overcome and the test effectiveness is ensured. Simultaneously, the test case automatic generation method provided by the invention reduces the workload of testers, improves the efficiency and level of automation of the test and ensures test effects.

The invention provides a characters per second (CPS) modeling and a verification method based on model transformation, which is mainly used for processing the CPS modeling and attribute verification problems. The related key operation includes that (1) adopting Hybrid (unified modeling language) UML to conduct CPS modeling, transforming the built Hybrid UML model into operation model Hybrid Programs of a differential dynamic logic method, defining regulations for the model transformation according to the relation of elements between the Hybrid UML and a Hybrid Programs meta-model, generating a template which the regulations are applied to, and performing model transformation to automatically generate the Hybrid Programs according to the model level application regulation; and (2) generating input codes on the obtained Hybrid Programs according to the input form of a theorem prover KeYmaera, and performing reasoning and verification in the KeYmaera.

The invention relates to the field of network information security risk assessment and discloses a security policy level joint modeling method based on a consultative objective risk analysis system (CORAS)-Petri. Aimed at a vulnerable spot and defect of a CORAS framework and improving of the CORAS framework, and based on unified modeling language modeling, a Petri net describing network or information system dynamic behavior is introduced, a risk assessment method based on an analytic hierarchy process (AHP) and fuzzy comprehensive evaluation risk assessment method is introduced in a risk computing method of the CORAS framework to compute the risk, and the security policy level joint modeling method can not only reduce working amount of estimation and improves estimation efficiency, but also can refer to previous estimation conclusion, strengthens accuracy and effectiveness of estimation, and therefore improves acquaintance of information system security risk. People can take effectively security protection measures to ensure security of an information system.

A method and system for migrating a UML model across UML profiles. After retrieving a UML model, a source UML element, a source UML profile, a source stereotype, and a source meta-class, the target UML profile, stereotype and meta-class are looked up in a mapping table based on the source UML profile, stereotype, and meta-class. The target UML profile is applied on the UML model. Based on the source meta-class being different from the target meta-class, relationships of the source UML element are retrieved, a target UML element is created, the relationships are copied to the target UML element, and the source UML element is removed from the UML model. The target stereotype is applied to the target UML element. The source stereotype is removed from the target UML element. The source UML profile is removed from the UML model.

Method and apparatus for automating translation of language specific constructs to UML (Unified Modeling Language) during wizard workflow. The invention provides an integration of UML mapping within the wizards that are available within integrated development environments (IDE's). As the user specifies the language specific details within a wizard, the appropriate corresponding UML element (depiction) is drawn and displayed within the wizard. This provides a user with an automated visual depiction of his work utilizing UML and yet allows him to work in the programming language of the wizard. Further, this allows the user to learn UML. Other modeling languages may be applied.

Methods and systems are provided for adding variability support for a modeling language. Developers may utilize the added support to transform a model written in a preexisting domain-specific modeling language for product line development in which there is structural and configurational diversity. A variability layer is incorporated into the model, which permits product developers to better use the language to model product line variants.

The invention discloses a GPU (graphics processing unit) based software system architecture and a UML (unified modeling language) and ADL (architecture description language) combined describing method and belongs to the technical field of software system architectures. The GPU based software system architecture is characterized in that a pipeline and filter mode is applied to modeling, filters include a data stream preprocessing filter, a data stream relief filter, a CPU (central processing unit) loading engine filter, a GPU loading engine filter, a data stream processing filter and a visual filter, original data streams sequentially pass the data stream preprocessing filter, the data stream relief filter, the CPU loading engine filter, the GPU loading engine filter and the data stream processing filter through a pipeline, the data stream processing filter transmits data results to the GPU loading engine filter and the CPU loading engine filter in succession, and the CPU loading engine inputs the data results into the visual filter. UML and ADL are used together, advantages of the UML and the ADL are combined, and the GPU based software system architecture is better established.

The invention relates to a multi-agent system generating method based on graphical expression. The method comprises the following steps of: firstly editing and building a self-defined multi-agent system in a graphical mode; then performing modeling on graphical elements of the multi-agent system; describing the graphical multi-agent system through an expression model; next converting the expression model of the multi-agent system into a middle model described by UML (Unified Modeling Language); and finally converting the middle model into underlying source code, wherein in the code conversion process, corresponding code blocks can be automatically generated according to the mutual relationships between parameters and elements set in the graphical mode, and interaction logics generated by interaction between tasks and agents and between the tasks through service calling are encapsulated. The multi-agent system generating method based on graphical expression can effectively help a multi-agent system developer understand and use the multi-agent system; the development workload is reduced; the complexity degree of the interaction logics is reduced; and the development efficiency is improved.

A method, computer program and system for generating code of the vocal interface of a software application by reading the persistent data of an application designed by a data meta model using a design language such as UML (Unified Modeling Language) defining a hierarchical organization of classes, their attributes and the relations between classes.

Similarly to the wizard for graphical user interface the vocal interface code comprises dialog unit code, which is Forms when VoiceXML language is used, to allow at execution time, entry of data for the application in a guided way.