To make workflow processes more flexible, a dynamic generation approach tor workflow processes corresponding to an instance is presented in this study. An activity, a part of a workflow, is defined as an action based ...
详细信息
Component systems have become a wide-spread technology and found their place in several application domains. Each component system has its specifics and particularities that reflect its focus and the application domai...
详细信息
ISBN:
(纸本)9781605581668
Component systems have become a wide-spread technology and found their place in several application domains. Each component system has its specifics and particularities that reflect its focus and the application domain it is intended for. Although important, the diversity of component systems leads to a number of problems including having different tools for each systems, unnecessary duplication of functionality and problems with integration when several domains are to be targeted. Based on categorization of component application domains, we propose a "meta-component system", which provides a software product line for creating custom component systems. We focus especially on the deployment and execution environment, which is where most diversities are found. We demonstrate the usage of the "meta-component system" and propose how it is to be realized by two core concepts of SOFA 2, namely connector generator and microcomponents. Copyright 2009 ACM.
Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no comprehensive textbooks covering certain topics, e...
详细信息
Component-based development has become a widely used technique for developing not only large enterprise applications, but in fact for any type of applications, including embedded ones. To allow comfortable and easy de...
详细信息
Concept maps are an important tool to knowledge organization, representation, and sharing. Most current concept map tools do not provide full support for hand-drawn concept map creation and manipulation, largely due t...
详细信息
ISBN:
(纸本)9781605581682
Concept maps are an important tool to knowledge organization, representation, and sharing. Most current concept map tools do not provide full support for hand-drawn concept map creation and manipulation, largely due to the lack of methods to recognize hand-drawn concept maps. This paper proposes a structure recognition method. Our algorithm can extract node blocks and link blocks of a hand-drawn concept map by combining dynamic programming and graph partitioning and then build a concept-map structure by relating extracted nodes and links. We also introduce structure-based intelligent manipulation technique of hand-drawn concept maps. Evaluation shows that our method has high structure recognition accuracy in real time, and the intelligent manipulation technique is efficient and effective. Copyright 2009 ACM.
The liveness of Petri net models of parallel programs is a very important property. The existing analysis techniques take Petri net models as a whole to study properties, which is subject to the state explosion proble...
详细信息
ISBN:
(纸本)9781424449934
The liveness of Petri net models of parallel programs is a very important property. The existing analysis techniques take Petri net models as a whole to study properties, which is subject to the state explosion problem. In this study, we decompose a parallel program's Petri net model into multiple process subnets to study liveness preservation instead of taking it as a whole, which thus mitigates efficiently the state explosion problem to some extent. In this paper, the liveness preservation relation between a MPINet and its process subnets is analyzed in detail. A necessary condition of keeping liveness of a MPINet composed of n live process subnets is given. And a class of CR-restricted MPINets is proposed. Liveness preservation can be efficiently verified based on only their net structures for CR-restricted MPINets.
Join is a fundamental operator in a Data Stream Management System (DSMS). It is more efficient to share execution of multiple windowed joins than separate execution of everyone because the former saves a part of cost ...
详细信息
The stability of Boolean networks and the stabilization of Boolean control networks are *** semi-tensor product of matrices and the matrix expression of logic,the dynamics of a Boolean(control) network can be converte...
详细信息
The stability of Boolean networks and the stabilization of Boolean control networks are *** semi-tensor product of matrices and the matrix expression of logic,the dynamics of a Boolean(control) network can be converted to a discrete time linear(bilinear) dynamics,called the algebraic form of the Boolean(control) *** provide a framework for this *** results consist of two parts:(i) Using logic coordinate transformation,the known sufficient condition based on incidence matrix has been *** is also used in stabilizer design.(ii)Based on algebraic form,necessary and sufficient conditions for stability of Boolean networks and stabilization of Boolean control networks respectively are obtained.
Global optimization has many real-world applications. Most methods for solving it are based on search,so decreasing its search space can increase the efficiency for their solving. Symmetry-breaking is an important tec...
详细信息
Global optimization has many real-world applications. Most methods for solving it are based on search,so decreasing its search space can increase the efficiency for their solving. Symmetry-breaking is an important technique for decreasing search space and it has been widely used in SAT,CSP and so on. In this paper, we try to decrease the search space of an unconstrained optimization problem by symmetry *** present a method for extracting symmetries of an unconstrained optimization problem, and a method for constructing constraints to break those symmetries. The experimental results show that our methods are effective and efficient and symmetry-breaking can indeed increase the efficiency of global optimization problems solving.
暂无评论