Software evolution is a costly yet unavoidable consequence of a successful application. To accommodate the requirements of today's fast changing business world, it is required to adapt the new business rules witho...
详细信息
Software evolution is a costly yet unavoidable consequence of a successful application. To accommodate the requirements of today's fast changing business world, it is required to adapt the new business rules without disturbing the existing working system. For the business rules evolutions where old and new business rules and business data entities have to exist concurrently in the system, we proposed the Framework, CFFES (Control Flow Framework for Evolving Systems) which focuses on smooth and seamless evolution. CFFES also validates the different business rules as well as business data entities according to their temporal specifications. the Framework capabilities are to be compared withthe existing methodologies which are aimed at prioritizing the quality factor - evolvability of a system. the principle of encapsulation in Object Oriented (OO) design overcame the flaws present in structured methodology due to separate data and process components and their interdependencies. However OO design has been proved inadequate in addressing design issues due to crosscutting concerns which are across the objects or components or packages. these crosscutting concerns are main obstacles in the evolution of OO systems. Aspect Oriented software development was proposed as a solution to this problem. In this paper we discuss the impact of evolution on the architectural design of a system designed using Aspect Oriented Design Methodology and a system designed using the Framework (CFFES) proposed by us.
Graphical languages are standard in the field of computer programming. Complex software development is best handled by graphically connecting pre-built, fully tested and highly specialized software components, instead...
详细信息
ISBN:
(纸本)9781424401208
Graphical languages are standard in the field of computer programming. Complex software development is best handled by graphically connecting pre-built, fully tested and highly specialized software components, instead of writing and debugging thousands of lines of code. Modern programming environments include complete libraries of such components. In the field of Programmable logic Controllers (PLCs), this is not the case. PLC programs can be developed using graphical languages, as Ladder Diagrams (LD) or Function Block Diagrams (FBD), but the standard libraries are very limited, so the programmer must develop his own libraries, building software objects from scratch. In this paper, a framework is presented for automatically building complex software modules using based on two key pillars: on the one hand, using object oriented concepts as encapsulation, inheritance and generic programming, and, in the other one, closely following the physical model of the objects used in building electrical control cabinets (ECBs).
Constraint programming is a powerful programming paradigm with a great impact on a number of important areas such as logicprogramming [45], concurrent programming [42], artificial intelligence [12], and combinatorial...
详细信息
ISBN:
(纸本)3540462678
Constraint programming is a powerful programming paradigm with a great impact on a number of important areas such as logicprogramming [45], concurrent programming [42], artificial intelligence [12], and combinatorial optimization [46]. We believe that constraint programming is also a rich source of many challenging algorithmic problems, and co-operations between the constraint programming and the algorithms communities could be beneficial to both areas.
In Constraint programming, enumeration strategies (selection of a variable and a value of its domain) are crucial for resolution performances. We propose to use Local Search for guiding enumeration: we extend the comm...
详细信息
ISBN:
(纸本)3540409300
In Constraint programming, enumeration strategies (selection of a variable and a value of its domain) are crucial for resolution performances. We propose to use Local Search for guiding enumeration: we extend the common variable selection strategies of constraint programming and we achieve the value selection based on a Local Search. the experimental results are rather promising.
We present a novel virtualization framework for rapid prototyping in parallel programming environments, without incurring notable performance penalty. the centerpiece of this approach is a high-level functional langua...
详细信息
In this paper, we extend the principle of symmetry to dominance in Not-Equals Constraint Networks and show how dominated values are detected and eliminated efficiently at each node of the search tree.
ISBN:
(纸本)3540462678
In this paper, we extend the principle of symmetry to dominance in Not-Equals Constraint Networks and show how dominated values are detected and eliminated efficiently at each node of the search tree.
Wireless sensor networks have been a very active research field in the past few years. However, most of extant research has focused on wireless sensing, such as environmental and habitat monitoring [6]. In this paper,...
详细信息
ISBN:
(纸本)0769526764
Wireless sensor networks have been a very active research field in the past few years. However, most of extant research has focused on wireless sensing, such as environmental and habitat monitoring [6]. In this paper, we investigate the feasibility of applying wireless technologies in industrial real-time process control systems. We define a minimum set of assumptions about the underlying sensor networks in order to achieve real-time support for process control. these assumptions are necessary and practical from an industrial perspective. We formulate the modeling of a wireless process control configuration as a multi-processor scheduling problem. the resulting scheduling problem is solved by the scheduler synthesis tool *** [7] to produce a valid configuration for deployment. the deployment, because of the way it is derived, will provide real-time wireless support for the controlled processes. Simulation results on data from real plant configurations show that this approach can also drastically reduce potential interferences between wireless transfers.
the proceedings contain 502 papers. the topics discussed include: researches on application of GPS to earthquake monitoring and prediction;probable surface latent heat flux anomaly before the Indonesia Mw9.0 earthquak...
ISBN:
(纸本)9806560671
the proceedings contain 502 papers. the topics discussed include: researches on application of GPS to earthquake monitoring and prediction;probable surface latent heat flux anomaly before the Indonesia Mw9.0 earthquake of 2004;monitoring for gas-effusion from faults with satellite spectrum analysis;bandwidth control of ASK system using the fuzzy logic system;integrated wireless sensor networks for the vehicular parking inside a parking lot;synthesis of polyamide 4 containing unique structure: attempts of modifying properties and providing functionality;control and prediction of biodegradation of polyesters;ultimate optical (10000 channels) transmission in submarine cables under different depth conditions with reduction of four wave mixing;inverse optimization methods of linear programming model for optimal production plan in supply chain;generation methods for multidimensional knapsack problems and their implications;and the competitive network analysis between gas and electric power by multi-agent simulator.
the proceedings contain 502 papers. the topics discussed include: researches on application of GPS to earthquake monitoring and prediction;probable surface latent heat flux anomaly before the Indonesia Mw9.0 earthquak...
ISBN:
(纸本)9806560701
the proceedings contain 502 papers. the topics discussed include: researches on application of GPS to earthquake monitoring and prediction;probable surface latent heat flux anomaly before the Indonesia Mw9.0 earthquake of 2004;monitoring for gas-effusion from faults with satellite spectrum analysis;bandwidth control of ASK system using the fuzzy logic system;integrated wireless sensor networks for the vehicular parking inside a parking lot;synthesis of polyamide 4 containing unique structure: attempts of modifying properties and providing functionality;control and prediction of biodegradation of polyesters;ultimate optical (10000 channels) transmission in submarine cables under different depth conditions with reduction of four wave mixing;inverse optimization methods of linear programming model for optimal production plan in supply chain;generation methods for multidimensional knapsack problems and their implications;and the competitive network analysis between gas and electric power by multi-agent simulator.
暂无评论