The design of Figaro, a C++ library for finite-domain constraint programming (CP(FD)), is discussed. The library will be linked to applications that make use of constraint programming for problem solving. The distingu...
详细信息
The design of Figaro, a C++ library for finite-domain constraint programming (CP(FD)), is discussed. The library will be linked to applications that make use of constraint programming for problem solving. The distinguishing feature of Figaro from other libraries and systems is the relative addressing of propagators and variables in stores, which allows a separation of tree search algorithms from search heuristics and supports both copying-based and trailing-based search algorithms. A generic interface to scripting languages such as Tcl and Perl is provided in order to address the need for a formal and flexible formulation of constraint problems.
Current object-oriented data models lack several important features that would allow one to express relevant knowledge about the classes of a schema. In particular, there is no data model supporting simultaneously the...
详细信息
ISBN:
(纸本)0897916425
Current object-oriented data models lack several important features that would allow one to express relevant knowledge about the classes of a schema. In particular, there is no data model supporting simultaneously the inverse of the functions represented by attributes, the union, the intersection and the complement of classes, the possibility of using nonbinary relations, and the possibility of expressing cardinality constraints on attributes and relations. In this paper we define a new data model, called CAR, which extends the basic core of current object-oriented data models with all the above mentioned features. A technique is then presented both for checking the consistency of class definitions, and for computing the logical consequences of the knowledge represented in the schema. Finally, the inherent complexity of reasoning in CAR is investigated, and the complexity of our inferencing technique is studied, depending on various assumptions on the schema.
Nowadays, object-oriented meta-languages such as MOF (Meta-object Facility) are increasingly used to specify domain-specific languages in the model-driven engineering community. However, these meta-languages focus on ...
详细信息
CPCE Project aims at developing a process-centered environment kernel for supporting 'focused collaborative work'. Focused collaboration requires a high level of adaptability and dynamic flexibility. The paper...
详细信息
The article analyzes the existing methods and approaches used in the pattern recognition process, which made it possible to identify the peculiarities of their application and outlined the range of problems that arise...
详细信息
We shortly present here some characteristics of a toolset for the realization of interactive applications dealing with graphs and networks. This system is written for a UNIX workstation and uses an objectoriented pro...
详细信息
A technique for analysis of software systems has been presented and applied to the domain of Universal Personal Communications (UPT) within telecommunications services. This technique allows for the extension of objec...
详细信息
ISBN:
(纸本)089791502X
A technique for analysis of software systems has been presented and applied to the domain of Universal Personal Communications (UPT) within telecommunications services. This technique allows for the extension of object-oriented analysis to address explicitly the creation of formal requirements descriptions and prototypes. Informal requirements and constraint descriptions allow for the essential documentation of issues affecting what a system is trying to achieve. Formal requirements descriptions (objects with formal method definitions) are used to form the basis of a contract and are achieved through iteration of prototypes (object-oriented programs).
In this paper we present the design and implementation of the xoRBAC component that provides a flexible RBAC service. The xoRBAC implementation conforms to level 4a of the unified NIST model for RBAC and can be reused...
详细信息
In this paper we present the design and implementation of the xoRBAC component that provides a flexible RBAC service. The xoRBAC implementation conforms to level 4a of the unified NIST model for RBAC and can be reused for arbitrary applications on Unix or Windows with a C or Tcl linkage, xoRBAC runtime elements can be serialized and recreated from RDF data models conforming to a well-defined RDF schema. Furthermore we present our experiences with xoRBAC for the deployment within the HTTP environment for a web-based mobile code system.
Pattern composition has been shown as a challenge to applying design patterns in real software systems. One of the main problems is that multiple design patterns in a system are not limited to affect only the applicat...
详细信息
ISBN:
(纸本)159593300X
Pattern composition has been shown as a challenge to applying design patterns in real software systems. One of the main problems is that multiple design patterns in a system are not limited to affect only the application concerns. They also crosscut each other in multiple heterogeneous ways so that their separation and composition are far from being trivial. In this context, it is of paramount importance to systematically verify whether aspect-orientedprogramming (AOP) supports improved composability of design patterns. This paper presents a systematic investigation on how AOP scales up to deal with modularization of pattern-specific concerns in the presence of pattern interactions. We have made both qualitative and quantitative assessments of 62 pair-wise compositions taken from 3 medium-sized systems implemented in Java and AspectJ programming languages. Our analysis has also included the evaluation of compositions involving more than two patterns. The assessment was based on four fundamental software attributes, namely separation of concerns, coupling, cohesion, and conciseness. Copyright 2006 ACM.
Despite a broad agreement on the benefits of model driven approaches to software engineering, the use of such techniques is still not very widespread. One of the major reasons is the appearing discouraging difficulty ...
详细信息
ISBN:
(纸本)9783885792468
Despite a broad agreement on the benefits of model driven approaches to software engineering, the use of such techniques is still not very widespread. One of the major reasons is the appearing discouraging difficulty of meta-modeling. This paper illustrates the relations, dependencies and differences between a traditional abstract object-oriented domain model and a meta-model for the same domain. It presents a new approach to model driven engineering of enterprise application software that integrates domain modeling and meta-modeling in order to take full advantage of both traditional and generative software development methods.
暂无评论