This paper describes compositional semantics (operational, denotational and logical) for a process algebra enhanced with input/output actions and preemption combinators, in the presence of fairness. The context of thi...
详细信息
Recent advances in object-oriented technology and computer networking have changed the way we maintain and develop software systems, i.e., you may need to maintain the system that is running in remote area, In this. p...
详细信息
This paper describes how the Erlang programming language could be extended with parameterized modules, in a way that is compatible with existing code. This provides a powerful way of creating callbacks, that avoids th...
详细信息
ISBN:
(纸本)1581137729
This paper describes how the Erlang programming language could be extended with parameterized modules, in a way that is compatible with existing code. This provides a powerful way of creating callbacks, that avoids the limitations involved with function closures, and extends current programming practices in a systematic way that also eliminates a common source of errors. The usage of parameterized modules is similar to object-orientedprogramming, and is naturally complemented by the currently underused feature of behaviours (interface declarations), which are also explained in detail. Copyright 2003 ACM.
A subset S of the vertices of a directed acyclic graph is called glb-closed, if it contains the greatest lower bounds of all pairs of vertices of S. The glb-closure of S is the smallest glb-closed subset containing S....
详细信息
Feature modeling is commonly used to capture the commonalities and variabilities of systems in a domain during Domain Analysis. The output of feature modeling will be some reusable assets (components, patterns, domain...
详细信息
ISBN:
(纸本)193241519X
Feature modeling is commonly used to capture the commonalities and variabilities of systems in a domain during Domain Analysis. The output of feature modeling will be some reusable assets (components, patterns, domain-specific language, etc.) to be fed into the application engineering phase for ultimate software products. But current practice lacks an automatic approach for seamless generation of reusable assets from feature models. This paper presents an algorithm for generating sets of instance descriptions (feature instances) from feature models of a domain and applies this algorithm in creating a Generic Feature Modeling Environment for automating Feature-oriented Domain Analysis.
This paper analyzes and presents alternative implementations of three well-known Gang of Four design patterns: Decorator, Observer, and Visitor. These implementations are more than mere refactorings and take advantage...
详细信息
ISBN:
(纸本)9781450344401
This paper analyzes and presents alternative implementations of three well-known Gang of Four design patterns: Decorator, Observer, and Visitor. These implementations are more than mere refactorings and take advantage of a variant of context-orientedprogramming that unifies classes and layers to overcome shortcomings in a conventional, object-oriented implementation. Copyright is held by the owner/author(s).
The public domain EPANET software developed by Dr. Lewis Rossman (2000) has become the standard tool for water distribution systems research, and its hydraulics engine is used by many commercial modeling packages. In ...
详细信息
This paper introduces a generic object which behaves flexibly according to its related objects and conditions for execution in an object-orientedprogramming System, called ISL-xscheme. A generic object is an instance...
详细信息
ISBN:
(纸本)0818628308
This paper introduces a generic object which behaves flexibly according to its related objects and conditions for execution in an object-orientedprogramming System, called ISL-xscheme. A generic object is an instance of `Generic' class and created by providing abstract classes as a domain. It behaves adequately in the domain depending on its constraints and the messages sent to it. Generic objects are useful for various purposes and applications because they are flexibly transformed via executions depending on what they are used for and how they are used. They are especially effective for program refinement.
In today's widely used parallel programming models, subtle programming errors can lead to unintended nondeterministic behavior and hard to catch bugs. In contrast, we argue for a parallel programming model that is...
详细信息
作者:
Revault, Nicolas
33 bd du port 95011 Cergy-Pontoise cedex France
A model transformation technique based on production rules is discussed. The technique is based on applying first order forward chaining production rules to the object reifying the models. The method features locally ...
详细信息
A model transformation technique based on production rules is discussed. The technique is based on applying first order forward chaining production rules to the object reifying the models. The method features locally filtering configurations, or interconnections of objects within the model and launching actions to modify local configurations or to create and update an external transformation model. A default stategy is used in the approach for controlling the execution of a rule base, considering all the rules and their firing as concurrent candidates at any instant. The method allows to work on the elaboration of a methodology for expressing model transformations more easily.
暂无评论