We have proposed and implemented the language Cojava, which offers both the advantages of simulation-like process modeling in java, and the capabilities of true decision optimization. We will demonstrate the modeling ...
详细信息
ISBN:
(纸本)3540292381
We have proposed and implemented the language Cojava, which offers both the advantages of simulation-like process modeling in java, and the capabilities of true decision optimization. We will demonstrate the modeling methodology and implementation techniques, following an optimization application example. By design, the syntax of Cojava is identical to the programming language java, extended with special constructs to (1) make a non-deterministic choice of a numeric value, (2) assert a constraint, and (3) designate a program variable as the objective to be optimized. A Cojava program thus defines a set of nondeterministic execution paths, each being a program run with specific selection of values in the choice statements. The semantics of Cojava interprets a program as an optimal nondeterministic execution path, namely, a path that (1) satisfies the range conditions in the choice statements, (2) satisfies the assert-constraint statements, and (3) produces the optimal value in a designated program variable, among all execution paths that satisfy (1) and (2). Thus, to run a Cojava program amounts to first finding an optimal execution path, and then procedurally executing it. To optimize a process, each real-world device or facility is modeled, tested and debugged in pure java as a class of objects with private state and public methods which change the state. A process is described as a method of a separate class, which invokes methods of the model objects passing non-deterministic choices for arguments, and which designates an optimization objective. For model developers, it appears as if the program has simply followed a single execution path which coincidentally produces the optimal objective value. Thus the learning curve for software developers is minimal. To find an optimal non-deterministic execution path, we have developed a reduction to a standard constraint optimization formulation. Constraint variables represent values in program variables that can be create
The proceedings contain 11 papers. The special focus in this conference is on principles andpractice of Semantic Web Reasoning. The topics include: On subtyping of tree-structured data;towards generic query, update, ...
ISBN:
(纸本)3540229612
The proceedings contain 11 papers. The special focus in this conference is on principles andpractice of Semantic Web Reasoning. The topics include: On subtyping of tree-structured data;towards generic query, update, and event languages for the semantic web;data retrieval and evolution on the semantic web;rules and queries with ontologies;semantic web reasoning for ontology-based integration of resources;static type-checking of datalog with ontologies;reasoning about temporal context using ontology and abductive constraint logic programming;towards a multi-calendar temporal type system for semantic web query languages;calendrical calculations with time partitionings and fuzzy time intervals;a defeasible logic system for the semantic web and a PDDL based tool for automatic web service composition.
Program generation is among the most promising techniques in the effort to increase the automation of programming tasks. In this talk, we discuss the potential impact and research value of program generation, we give ...
详细信息
ISBN:
(纸本)9781581138191
Program generation is among the most promising techniques in the effort to increase the automation of programming tasks. In this talk, we discuss the potential impact and research value of program generation, we give examples of our research in the area, and we outline a future work direction that we consider most ***, we first discuss why program generators have significant applied potential. We believe that program generators can be made easy-to-implement so that they are competitive with traditional software libraries in many software domains. Compared to a common library, a generator implementing a domain-specific language can offer more concise syntax, better static error checking, and better performance through cross-operation *** the significant applied value of generators, however, we argue that meta-programming tools (i.e., language tools for writing program generators) may be of greater value as a research topic. The reason has to do with the domain-specificity of generators. The value of a program generator is often tied so closely to a software domain that there is little general and reusable knowledge to transmit to other generator researchers. We discuss meta-programming tools as an area with both interesting conceptual problems and great value. A good meta-programming infrastructure can simplify the creation of generators to make them an effective solution for many more *** illustrate our views on generators and meta-programming tools with two artifacts from our latest work: the Meta-AspectJ meta-programming language [6] and the GOTECH generator [5]. Meta-AspectJ enables generating java and AspectJ programs using code templates, i.e., quote and unquote operators. Meta-AspectJ has two interesting elements. First, we believe that using the AspectJ language as a back-end simplies the task of writing a generator. The GOTECH generator uses this technique to adapt a java program for server side execution in a J2
MedfoLink is a new software technology that applies novel design features to help solve issues regarding medical records processing that are part of the national agenda. This software overcomes the vocabulary and perf...
详细信息
ISBN:
(纸本)0769520006
MedfoLink is a new software technology that applies novel design features to help solve issues regarding medical records processing that are part of the national agenda. This software overcomes the vocabulary and performance limitations of existing medical language processing technologies by employing high speed databases, java, and the UMLS (Unified Medical Language Source). MedfoLink is a java technology that enables a computer to accurately record and interpret data from patient records. MedfoLink's design incorporates two novel approaches: (a) intelligent algorithms that with practice improve comprehension of medical records and (b) the ALI (Adaptive Learning Interface) architecture that enhances performance by integrating existing technologies with an object-oriented approach. Future applications of MedfoLink range from individual patient care, to clinical drug trials, to public health monitoring.
Object persistence in java is first introduced and basic object persistence is demonstrated via exemplars that address both applications and applets. We then proceed to consider java language persistence and overview ...
详细信息
ISBN:
(纸本)9780954414511
Object persistence in java is first introduced and basic object persistence is demonstrated via exemplars that address both applications and applets. We then proceed to consider java language persistence and overview research activity in this area.
In this paper we investigate the implications of java's dynamic proxies for supporting open architectures to implement reusable code. Dynamic proxies are interpreted as meta-objects, which define the behavior of o...
详细信息
ISBN:
(纸本)9780954414511
In this paper we investigate the implications of java's dynamic proxies for supporting open architectures to implement reusable code. Dynamic proxies are interpreted as meta-objects, which define the behavior of other objects and allow the implementation of meta-objects protocols.
The java string classes, String and StringBuffer, lie at the extremes of a spectrum (immutable, reference-based and mutable, content-based). Motivated by data-intensive text applications, we propose a new string class...
ISBN:
(纸本)9780954414511
The java string classes, String and StringBuffer, lie at the extremes of a spectrum (immutable, reference-based and mutable, content-based). Motivated by data-intensive text applications, we propose a new string class, MutableString, which tries to embody the best of both approaches.
A high degree of abstraction and capacity for reuse can be obtained in software design through the use of generic programming(GP). For this to be possible, the programming must be implemented in a language that is abl...
ISBN:
(纸本)9780954414511
A high degree of abstraction and capacity for reuse can be obtained in software design through the use of generic programming(GP). For this to be possible, the programming must be implemented in a language that is able to adapt and correctly transmit this capacity. In this study we show that java is feasible for generic software design and that it is predisposed to making this software reusable. To this end, we consider the design of a library of generic components based on the GP and we implement it with java.
暂无评论