This paper introduces an integrated environment for software reliability modeling. The environment consists of three major components: 1) a software reliability modeling tool SMERFS adapted to fit our development envi...
详细信息
ISBN:
(纸本)0818644400
This paper introduces an integrated environment for software reliability modeling. The environment consists of three major components: 1) a software reliability modeling tool SMERFS adapted to fit our development environment;2) a general data analysis environment in S-PLUS customized for software reliability modeling;and 3) some supporting programs written in C and AWK. This environment has been successfully used in the IBM programmingsystems Toronto lab.
Efficient business processes are key to economic success. With the need to frequently adapt or restructure business processes and workflows in a dynamic market, agile processes and (semi-)automatic workflow and proces...
详细信息
Efficient business processes are key to economic success. With the need to frequently adapt or restructure business processes and workflows in a dynamic market, agile processes and (semi-)automatic workflow and process composition would be useful. Currently, this is a manual and time-consuming task. Automating and optimizing this task is of high interest in research communities. Nevertheless, the orientation differs: Some focus on semantic web services, others on Grid workflows or concentrate on business process management. In this paper we present a survey of available workflow annotation and composition approaches in all of these areas. We additionally categorize and compare them and describe future work.
The ability to represent cross-serial dependencies is one of the central features of Tree Adjoining Grammar (TAG). The class of dependency structures representable by lexicalized TAG derivations can be captured by two...
详细信息
Models describing business processes in a company nowadays have the drawback that they are not machine-processable for two reasons: First the terminology is not formalized. Second the dynamic semantics of the process ...
详细信息
ISBN:
(纸本)9781577353577
Models describing business processes in a company nowadays have the drawback that they are not machine-processable for two reasons: First the terminology is not formalized. Second the dynamic semantics of the process model is not formally defined. Thus, many discussions and human work is necessary in order to create and maintain process models. However, with a semantic annotation of process models and the usage of ontologies, tasks can be automized and the workload of the user can be reduced to a minimum. In this paper we discuss different possibilities and the added value of annotating a business process model with semantic information.
Modeling languages provide a powerful technique for describing domain-specific concepts and their relationships. Since the syntactical structure is determined by a meta-model, expressions can be defined on the meta la...
详细信息
ISBN:
(纸本)9789898111951
Modeling languages provide a powerful technique for describing domain-specific concepts and their relationships. Since the syntactical structure is determined by a meta-model, expressions can be defined on the meta layer and evaluated for arbitrary instances. Currently, meta-modeling standards lack an easy way for defining rules capable of dynamically examining the behavior of a model. In this paper we discuss a new approach that links meta-modeling with well-understood methods from the field of compiler construction in order to express semantic constraints and perform data-flow calculations on model instances. We show how our approach can be used to analyze and validate business processes and specify further use cases like e.g. the calculation of model metrics.
Using modeling techniques, the structure of an application domain can be captured in an easy and highly expressive way. However, while the use of meta models for the definition of modeling languages is a common and we...
详细信息
Semantic Business Process Management is an emerging research area to support enterprises achieving economic and strategic objectives and improving their daily business. However, the magnitude of changes which are requ...
详细信息
The design of an appropriate test suite for software testing is a challenging task. It requires a suitable tradeoff between effectiveness, e.g., a suficient amount of test cases to satisfy the test goals of a given co...
详细信息
A rotating alias register file is a scalable hardware support to detect memory aliases at run-time. It has been shown that it can enable instruction-level parallelism to be effectively exploited from sequential code. ...
详细信息
Dependency-based representations of natural language syntax require a fine balance between structural flexibility and computational complexity. In previous work, several constraints have been proposed to identify clas...
详细信息
暂无评论