Abstract: A method comprising: obtaining multiple glossary terms each comprising one or more words; generating multiple fuzzy tokens from each word of each of the glossary terms; calculating a similarity score for each of the fuzzy tokens, the similarity score denoting a similarity between the respective fuzzy token and its respective word; obtaining multiple input terms to be matched with the multiple glossary terms; separating each of the input terms into multiple input tokens; generating multiple n-grams from each of the input tokens; comparing the n-grams with the fuzzy tokens, to output a list of matching n-grams and fuzzy tokens; based on the list of matching n-grams and fuzzy tokens, identifying, from the glossary terms, candidate glossary term matches for each of the input terms; and calculating one or more scores that quantify the match between each of the candidate glossary term matches and its respective input term.

Abstract: A method, apparatus and computer-implemented method, the method comprising: receiving a statechart comprising a complex feature; and replacing the complex feature with a transformed feature, thereby transforming the statechart to a second statechart, wherein replacing the complex feature comprises: creating an auxiliary variable or a default state; changing a value of the auxiliary variable at the beginning of the transformed feature and changing the value of the auxiliary variable again at its end; and taking a transition from the default state, such that the transition occurs in accordance with the value of the auxiliary variable.

Abstract: A method, apparatus and computer-implemented method, the method comprising: receiving a statechart comprising a complex feature; and replacing the complex feature with a transformed feature, thereby transforming the statechart to a second statechart, wherein replacing the complex feature comprises: creating an auxiliary variable or a default state; changing a value of the auxiliary variable at the beginning of the transformed feature and changing the value of the auxiliary variable again at its end; and taking a transition from the default state, such that the transition occurs in accordance with the value of the auxiliary variable.

Abstract: A method, system and computer program product for creation of specification properties for a visual model of a system. The specification properties are useful for verification of a verification model corresponding to the visual model. The computer-implemented method comprising automatically generating, by a processor, a specification property for a verification model based on a selection by a user of at least one element in a visual model, wherein the visual model defines a computerized system, wherein the verification model corresponds to the visual model.

Abstract: A method of operationalizing service methodologies useable for a computerized environment is provided. The method includes the following stages: capturing a method to yield a workflow, work products and template structure; extracting structure and relations from at least one of: the templates, actual work products, workflow, and human experts; modeling the captured structure to yield a method model; augmenting the method-model using the extracted structure and relations, to yield an augmented method-model, such that the augmented method-model provides sufficient data for automatically generating a software application implementing a runtime environment that supports the method.

Abstract: A method for simulating a computer system includes defining a set of building blocks including models of components of the computer system. The set of building blocks is interconnected to produce a topological model of the computer system. A client transaction model is derived based on historical data, for generating simulated client requests to be processed by the topological model. A resource requirement model is produced based on the topological model and on the historical data, the resource requirement model simulating a resource utilization of the components of the computer system responsively to the generated client requests. A performance metric of the computer system is estimated by simulating the computer system using the simulated client requests and the resource requirement model.

Abstract: A method for simulating a computer system includes defining a set of building blocks including models of components of the computer system. The set of building blocks is interconnected to produce a topological model of the computer system. A client transaction model is derived based on historical data, for generating simulated client requests to be processed by the topological model. A resource requirement model is produced based on the topological model and on the historical data, the resource requirement model simulating a resource utilization of the components of the computer system responsively to the generated client requests. A performance metric of the computer system is estimated by simulating the computer system using the simulated client requests and the resource requirement model.

Abstract: A computer implemented method and system for optimizing performance of a business IT infrastructure, wherein business objectives are obtained as input and the IT business infrastructure and/or business level components associated therewith are optimized according to the business objectives. In one embodiment, an objectives definition is created that defines business objectives and business rules determining how IT level metrics affect the business objectives and, optionally, service level agreements or other contract definitions based on the objectives definition. A runtime performance of the business objectives is determined during runtime of the business IT infrastructure by monitoring the business IT infrastructure, its compliance with the contract definitions, and the business objectives achieved by the business IT infrastructure.

Abstract: A method for simulating a computer system includes defining a set of building blocks including models of components of the computer system. The set of building blocks is interconnected to produce a topological model of the computer system. A client transaction model is derived based on historical data, for generating simulated client requests to be processed by the topological model. A resource requirement model is produced based on the topological model and on the historical data, the resource requirement model simulating a resource utilization of the components of the computer system responsively to the generated client requests. A performance metric of the computer system is estimated by simulating the computer system using the simulated client requests and the resource requirement model.

Abstract: A computer implemented method and system for optimizing performance of a business IT infrastructure, wherein business objectives are obtained as input and the IT business infrastructure and/or business level components associated therewith are optimized according to the business objectives. In one embodiment, an objectives definition is created that defines business objectives and business rules determining how IT level metrics affect the business objectives and, optionally, service level agreements or other contract definitions based on the objectives definition. A runtime performance of the business objectives is determined during runtime of the business IT infrastructure by monitoring the business IT infrastructure, its compliance with the contract definitions, and the business objectives achieved by the business IT infrastructure.