40 results about "Algebraic specification" patented technology

Power conservation in a redundant array of inexpensive drives (‘RAID array’) that preserve RAID functionality, the RAID array including RAID subarrays of a same RAID specification, including powering off a drive in at least one of the RAID subarrays; responsive to a write request directed to a particular subarray containing a powered off drive, writing data redundantly to a RAID cache that is independent from the subarray having a powered off drive; powering on the powered-off drive; and flushing the written data from the cache to the particular subarray to which it was originally directed.

Systems and methods are provided for creating a data structure associated with a software application that is based on at least one framework. According to the method, at least one Java Server Page file associated with the software application is analyzed. The Java Server Page (JSP) file includes at least one call to at least one library tag, and at least one Expression Language (EL) expression. A set of tag library usage information for the JSP file is generated based. The set of tag library usage information includes at least one variable, and a value of the at least one variable created by the at least one call. The EL expression is evaluated based on the variable and the value of the variable. A data structure is created for a static analysis engine based on EL expression. The data structure includes at least one Java expression representing the EL expression.

A system and associated method for automatically generating a service specification of a Service Oriented Architecture (SOA) solution. A process model framework and a data model framework are received as inputs. Processes in the process model framework perform services of various complexity levels. Processes are decomposed into a respective set of atomic service processes in the lowest complexity level and data objects are extracted from the decomposed atomic service processes. The data objects are associated with data elements of the data model framework. The data model framework is extended and flexibility patterns are added for reusability of the service specification. The service specification of the SOA solution is generated as process interfaces represented with the data objects according to inputs from a user customizing aspects of the service specification, for either a desired service of the SOA solution or a desired process in the process model framework.

The invention provides a software development method based on service specifications, which includes: step 1 dividing business requirements of a business system into services; step 2 subdividing the divided services into service scenes with small fineness; step 3 determining input conditions and output conditions of each service scene according to the business requirements; step 4 leading the service scenes to form service specifications and providing the service specifications to each business system for invoking. The software development method based on service specifications achieves coupling of services between modules in different business systems, reduces coupling between services, achieves loose coupling between the modules and can well solve the problem of integrity of heterogeneous systems.

The invention relates to a sealant material verification method suitable for airworthiness certification. The sealant material verification method comprises the following steps: step 1, performing sealant material screening and selecting according to a performance objective designed according to an airplane, and preliminarily determining a sealant material selecting system; step 2, judging whetherto perform airworthiness certification or not for a sealant material which is used by a domestic civil airplane; step 3, judging whether to perform airworthiness certification or not for a sealant material which cannot show conformance by the step 2; step 4, determining a material specification and a material specification verification test schedule of a to-be-verified material according to the material selected in step 3, and submitting the to-be-verified material to the airworthiness certification department to examine; step 5, accomplishing test-level experimental verification and perfecting material specification in the step 4; and step 6, evaluating whether the selected material can reach the requirements of the material specification or not through the test-level experimental verification, and applying for the airworthiness certification department to witness the test in the process. The verification method disclosed by the invention can greatly improve sealant material airworthiness certification efficiency of the sealant material, improves reliability, quickens examination efficiency, and shortens the development period of the product.

Methods, systems, and computer-readable media are disclosed to generate an interface for a web service and to query the web service. A method includes generating a user interface associated with a web service. The user interface includes one or more input parameter options associated with the web service. The user interface is generated based on a service specification and one or more series specifications associated with the service specification. User input is received via the user interface, where the user input includes a selection of at least one of the one or more input parameter options. A query of the web service is generated based on the user input, and the query reflects at least one selected input parameter option.