Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Hiro

95 results about "Unified Modeling Language" patented technology

The Unified Modeling Language (UML) is a general-purpose, developmental, modeling language in the field of software engineering that is intended to provide a standard way to visualize the design of a system.

Automated Enterprise Software Development

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.
Owner:VERMEG SERVICES

Action languages for unified modeling language model

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
Owner:THE MATHWORKS INC

Action languages for unified modeling language model

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
Owner:THE MATHWORKS INC

Automated Enterprise Software Development

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.
Owner:VERMEG SERVICES

Automated testing method and device for all-purpose financial statements

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.
Owner:INDUSTRIAL AND COMMERCIAL BANK OF CHINA

Unified modeling language (UML) design method

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.
Owner:IBM CORP

A page generation method facing to Web application system

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.
Owner:PEKING UNIV +2

Transforming natural language requirement descriptions into analysis models

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.
Owner:UNIV OF MANCHESTER

Software trustworthiness engineering method based on formalized and unified software model

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.
Owner:TIANJIN UNIV

Configurable method for automatically generating database and accessing data

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.
Owner:BEIJING YUCHEN SHIMEI SCI & TECH

Software development methodology including creation of focus areas and decomposition of same to create use cases

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.
Owner:UNISYS CORP

Behavioral model-based software security test case generation method

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.
Owner:PLA UNIV OF SCI & TECH

Extensible constraint markup language

Methods and systems for specifying and validating dynamic semantic constraints on extensible Markup Language (XML) documents are disclosed. The new XML constraint language, extensible Constraint Markup Language (XCML), is more expressive than the current constraint languages by better supporting the specification of dynamic and inter-relationship constraints. Unified Modeling Language (UML) and Object Constraint Language (OCL) are adopted to support visual specification and automatic generation of XCML instance documents and XML Schemas, which are further used by reusable XSLT stylesheets to support both semantic and syntactical XML document validation.
Owner:KONINKLIJKE PHILIPS ELECTRONICS NV

Device and method for automatically testing software based on UML (unified modeling language) graphs

The invention discloses a device and method for automatically testing software based on UML (unified modeling language) graphs. The device comprises a UML graph reading device, a UML graph analyzing device, a testing route analyzing device, a testing route choosing device, a testing script generating device, a data management device and an automatic testing tool which are connected in sequence. The device realizes automatic testing of the software by analyzing UML graphs and generating a test script according to the content of the UML graphs. Through the device and method provided by the invention, the problems that the frequently repeated transcribing process and testing script modifying process required by the traditional process of automatic testing result in low testing efficiency, low accuracy and low coverage rate are solved.
Owner:INDUSTRIAL AND COMMERCIAL BANK OF CHINA

Integrated intelligent gateway machine configuration method based on unified modeling of transformer station

The invention discloses an integrated intelligent gateway machine configuration method based on unified modeling of a transformer station. The method comprises the following steps: performing the unified modeling on IEDs at a transformer station layer in advance; introducing manufacturer initial model files of all the IEDs of the transformer station; carrying out static inspection; generating SCD / SSD engineering files of unified data structures, shared by all the IEDs; when file data needs to be downloaded for specific station control layer devices, downloading the file data for specific IED devices by use of a corresponding download approach; and when databases and figure files need to be configured to the station control layer devices, based on the SCD / SSD engineering files of the unified data structure, shared by all the IED devices, configuring the needed databases and figure files for the station control layer devices by use of a unified modeling language (UML). The method provided by the invention can reduce data check work of each intelligent device, improves the intelligent debug, design and operation efficiency, effectively improves the power supply quality of the transformer station and also has the advantages of good versatility, high practicality and convenient application.
Owner:STATE GRID CORP OF CHINA +2

Characters per second (CPS) Modeling and verification method based on model transformation

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.
Owner:SOUTHEAST UNIV

Dynamic Highlighting of Related Artifacts in a UML Diagram

A method displays a Unified Modeling Language (UML) diagram on a graphic user interface. The UML diagram can have, for example, nodes representing objects of an object-oriented system. Further, input is received regarding the location of a user-directed pointer on the UML diagram. The location of the pointer identifies a currently “selected node” of the UML diagram. In response to such input, the method dynamically highlights portions of the UML diagram depending on the location of the selected node. This highlighting process dynamically alters the appearances of nodes logically related to the selected node by highlighting nodes that are relatively closely related to the selected node differently (e.g., more brightly) than nodes that are not as relatively closely related to the selected node.
Owner:IBM CORP

Virtual test subject integrally-constructing system and method

Disclosed is a virtual test subject integrally-constructing system and method. The system comprises a VDL (Vienna definition language) text editor, a UML (unified modeling language) visualization description module, a virtual test subject developing module and a virtual test subject testing module. All the modules are based on an Eclipse core framework and developed in a plug-in mode. The virtual test subject integrally-constructing system and method enables virtual test subjects to be reusable and improves the construction efficiency of a virtual test application system.
Owner:CHINA ACAD OF LAUNCH VEHICLE TECH

Security policy level joint modeling method based on consultative objective risk analysis system (CORAS)-Petri

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.
Owner:WUXI NANLIGONG TECH DEV

Detecting aspectual behavior in unified modeling language artifacts

Illustrative embodiments provide a computer implemented method, a data processing system and a computer program product for detecting aspectual behavior in unified modeling language artifacts. In one embodiment, the computer implemented method comprises representing static and dynamic characteristics of the artifacts in a set of production rules and creating a set of bit representations of method invocations found in the set of production rules. The method further comprises determining whether common sub-sequences exist in the set of bit representations and identifying a set of aspects within the production rules responsive to determining the common sub-sequences exist, and modifying the artifacts in accordance with the set of identified aspects.
Owner:IBM CORP

Model conversion method and device

The invention discloses a model conversion method. The model conversion method includes acquiring structural model metadata, calling metadata analysis plugins corresponding to format types of the structural model metadata, and analyzing the structural model metadata to acquire structured data information of a structural model; establishing a universal model for transmitting the structured data information of the structural model; writing the corresponding structured data information in a universal model according to the structured data information of the structural model; acquiring structured data information of the universal model; establishing a unified modeling language (UML) model, and writing the corresponding structured data information in the UML model according to the structured data information of the universal model. Besides, the invention further discloses a corresponding model conversion device. The model conversion method and device are used for converting the structural model to the UML model, conversion logics of the universal model and the UML model can be packaged, and packaging and extension of the conversion logics of the structural model in different metadata formats and the universal model are supported.
Owner:KINGDEE SOFTWARE(CHINA) CO LTD

Migrating unified modeling language models across unified modeling language profiles

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.
Owner:IBM CORP

Computer method and apparatus for automating translation to a modeling language

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.
Owner:IBM CORP

Model-to-code converting method facing wireless sensor network

The invention relates to a model-to-code converting method facing a wireless sensor network; a used unified modeling language-to-code converting method is a converting method based a visitor; a specific mapping rule of a model and a target code is defined according to the relationship between the model and the code; then the visitor is set to access the model; the mapping rule is embedded into the visitor; the visitor reads the model according to the mapping rule while converting a target language frame model according to the mapping rule when accessing the model to obtain a target language program code, and finish conversion from the model to the target language, so that the problem of conversion from the model to the code in the wireless sensor network can be effectively solved, and the application development efficiency is greatly increased.
Owner:NANJING UNIV OF POSTS & TELECOMM

Variability Layer for Domain-Specific Modeling Languages

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.
Owner:IBM CORP +1

GPU (graphics processing unit) based software system architecture and UML (unified modeling language) and ADL (architecture description language) combined describing method

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.
Owner:LANGCHAO ELECTRONIC INFORMATION IND CO LTD

Multi-agent system generating method based on graphical expression

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.
Owner:INST OF SOFTWARE - CHINESE ACAD OF SCI +2

Use of UML state machines to model portal applications

A method, apparatus and computer-readable medium for managing portlets and like applications is presented. In one embodiment, the method includes using Unified Modeling Language (UML) code to describe a flow of a User Interface (UI) application, wherein the flow describes transitions of discrete states in the UI application. The UI application may be a Web application, such as a portlet or a servlet. In another embodiment, the method further includes the steps of using UML code to describe a view of discrete states of the UI application, and applying UML stereotypes to create individual views of the discrete states of the UI application.
Owner:IBM CORP

Method and system for generating vocal user interface code from a data metal-model

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.
Owner:IBM CORP
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products