the proceedings contain 39 papers. the topics discussed include: a computational logic approach to heterogeneous agent systems;on the complexity of model checking and inference in minimal models;data integration needs...
ISBN:
(纸本)3540425934
the proceedings contain 39 papers. the topics discussed include: a computational logic approach to heterogeneous agent systems;on the complexity of model checking and inference in minimal models;data integration needs reasoning;nonmonotonic inductive logicprogramming;on the effect of default negation on the expressiveness of disjunctive rules;on the expressibility of stable logicprogramming;on the relationship between defeasible logic and well-founded semantics;a comparative study of well-founded semantics for disjunctive logic programs;reasoning with open logic programs;representation of incomplete knowledge by induction of default theories;explicitly using default knowledge in concept learning: an extended description logics plus strict and default rules;declarative specification and solution of combinatorial auctions using logicprogramming;and planning with different forms of domain-dependent control knowledge - an answer set programming approach.
the object-oriented philosophy creates a powerful synergy throughout the development life cycle by combining abstraction, encapsulation, and modularity. However, existing object-oriented programming languages arc low-...
详细信息
ISBN:
(纸本)0769512518
the object-oriented philosophy creates a powerful synergy throughout the development life cycle by combining abstraction, encapsulation, and modularity. However, existing object-oriented programming languages arc low-level procedural ones that are hard to program and debug. logicprogramming allows computing problems to be expressed in a high-level declarative way, without giving instructions for how the problem is to be solved. However, logicprogramming lacks powerful Methods to model applications. In the past decades, the integration of object-oriented programming and logicprogramming has attracted a lot of interests with a number of languages proposed. But these languages fail to address some key object-oriented features properly. In this paper, we introduce a novel object-oriented logicprogramming language that supports nearly all key object-oriented features in a logicprogramming framework. We also describe its operational semantics.
the proceedings contains 41 papers from the 39thinternationalconference and Exhibition on Technology of Object-oriented Language and Systems. the topics discussed included: Design by contract;the net contract wizard...
详细信息
the proceedings contains 41 papers from the 39thinternationalconference and Exhibition on Technology of Object-oriented Language and Systems. the topics discussed included: Design by contract;the net contract wizard design using language other then eiffel;component based development;e-commerce;frameworks and patterns;languages;metrics and quality;object-oriented concepts;specification and requirements and distributed computing.
Inheritance allows us to build OO systems incrementally. In order to exploit the full potential of inheritance, we also need to be able to test systems incrementally. We present a specification-based testing technique...
详细信息
ISBN:
(纸本)0769512518
Inheritance allows us to build OO systems incrementally. In order to exploit the full potential of inheritance, we also need to be able to test systems incrementally. We present a specification-based testing technique in which the specification and tests for a derived class are obtained incrementally from those of its base class.
the object technology revolution has allowed the replacement of the more than twenty-years old step-wise procedural refinement paradigm by the more fashionable object composition paradigm. Surprisingly this evolution ...
详细信息
ISBN:
(纸本)0769512518
the object technology revolution has allowed the replacement of the more than twenty-years old step-wise procedural refinement paradigm by the more fashionable object composition paradigm. Surprisingly this evolution seems itself today to be triggering another even more radical change, towards model transformation. As a concrete trace of this, the Object Management Group (OMG) is rapidly moving from its previous Object Management Architecture vision (OMA) to the newest Model-Driven Architecture (MDA). Some of the main characteristics of this new organization will be outlined in the presentation.
Compared to dynamic object-oriented languages like CommonLisp or Smalltalk, Java has a fairly simple and restrictive object and type system. Some of the key differences between Java and these other languages is that t...
详细信息
ISBN:
(纸本)0769512518
Compared to dynamic object-oriented languages like CommonLisp or Smalltalk, Java has a fairly simple and restrictive object and type system. Some of the key differences between Java and these other languages is that they offer structural conformance, automatic delegation, and dynamic mixins. When such constructs are needed in a language like Java, they are usually expressed in terms of standard object-oriented design patterns, requiring the manual implementation of "glue" or "helper" classes. this paper describes ways in which such features can be provided efficiently and automatically in terms of Java's platform-independent binary format and dynamic loading mechanisms. the implementation does not require any changes to the Java runtime, bytecodes, or class loader and yields performance comparable to manually implemented design patterns. the approach should prove useful both as a programming tool for Java and as an strategy for building efficient implementations of dynamic languages on top of the Java virtual machine.
We improve current visual component composition environments by introducing composition patterns as first class objects that can be defined, stored and reused independently of the components. Ve document both componen...
详细信息
ISBN:
(纸本)0769512518
We improve current visual component composition environments by introducing composition patterns as first class objects that can be defined, stored and reused independently of the components. Ve document both components and composition patterns using an extended sequence diagram notation. For a component, typical usage protocols are specified while a composition pattern specifies how a set of roles interact. From this documentation, ive check whether a component can work, as described by a composition pattern using finite state automata theory and we generate glue-code for the composition. In this paper ive present our approach, explain the checking algorithms and glue code generation and discuss the tool support we developed.
the object-oriented philosophy creates a powerful synergy throughout the development life-cycle by combining abstraction, encapsulation and modularity. However, existing object-oriented programming languages are low-l...
详细信息
the object-oriented philosophy creates a powerful synergy throughout the development life-cycle by combining abstraction, encapsulation and modularity. However, existing object-oriented programming languages are low-level procedural ones that are hard to program and debug. logicprogramming allows computing problems to be expressed in a high-level declarative way, without giving instructions on how the problem is to be solved. However, logicprogramming lacks powerful methods to model applications. In the past few decades, the integration of object-oriented programming and logicprogramming has attracted a lot of interest, with a number of languages being proposed, but these languages fail to address some key object-oriented features properly. In this paper, we introduce a novel object-oriented logicprogramming language that supports nearly all key object-oriented features in a logicprogramming framework. We also describe its operational semantics.
In the Unified Modeling Language (UML), a use case describes a particular functionality a system can perform by interacting with outside actors. A realization of a use case can be given as a set of sequence diagrams, ...
详细信息
ISBN:
(纸本)0769512518
In the Unified Modeling Language (UML), a use case describes a particular functionality a system can perform by interacting with outside actors. A realization of a use case can be given as a set of sequence diagrams, this paper discusses how to generate structured implementation schemes represented as pseudocode from a set of sequence diagrams in UML. the proposed approach can be applied to any set of sequence diagrams, allowing the user to view the implementations of operation bodies as implied by this set of sequence diagrams, and to merge the different views into a single implementation scheme that can be used as a starting point for the actual implementation. We show how these techniques can be exploited in a UML-based CASE environment by augmenting an automatically generated class diagram with UML notes describing implementation schemes for individual operations. the described techniques have been implemented in a real CASE environment.
Business rules are statements constraining business actions. they are context dependent, and may remain unchanged over a long period of time. the dynamic application of business rules to business actions requires a cl...
详细信息
ISBN:
(纸本)0769512518
Business rules are statements constraining business actions. they are context dependent, and may remain unchanged over a long period of time. the dynamic application of business rules to business actions requires a clear separation of the actions from the rules so that changes to business rules can be done without affecting the actions on which they are applied. In addition, rules can also be applied to a family of implementations of a business action. this paper introduces a formal theoretical business model and a specification language to write business rules. this language, called Business Transaction Object-Z (BTOZ), is a conservative extension of the Object-Z specification language. the paper also illustrates through a case study how BTOZ can be used to develop a business model.
暂无评论