We survey useful ingredients for a new class of mathematical process-modeling languages aimed at spatial and developmental biology. Existing modeling languages for computational systems biology do ...not fully address the problems of spatial modeling that arise in morphodynamics (the local dynamics of form) and its applications to biological development. We seek to extend the operator algebra semantics approach from our previous "Dynamical Grammars" modeling language, whose most spatial object type is the labelled graph, to encompass more flexible topological objects. Taking clues from current developments in 3D meshing and from topological modeling for biology, illustrated by a plant tissue example, we seek language support for the approximation of low-dimensional CW complexes (which are nontrivial topological spaces, with cardinality of the continuum) and dynamic fields thereon, by finite labelled abstract complexes. Some of the proposed types would be computationally demanding, without further restriction. Restrictions and control of these approximations can be specified by use of "metricated" types. Minimally, such approximations should permit the accurate simulation of spatial diffusion processes.
There is a trend towards construction of multimedia digital information resources which may hold diverse data types in the form of image, graphics, audio, video, and text based retrieval artifacts or ...objects. WWW is a huge multimedia information resource. Existing search mechanisms available on WWW are mostly mono-modal. Multimedia information needs are partially satisfied by using mono-modal search mechanisms. Multiple modalities of information are associated with multimedia retrieval object so multimodal search mechanisms are required for searching multimedia information resources. Existing search mechanisms available on WWW whether they are general purpose, domain specific or media specific partially fulfil multimedia information needs because they are mostly mono-modal and able to perform search with in one media type at a time. We explore with the help of multimedia object analysis that search with in all the subsets of multimedia object types is possible by using only four index types, two models of interactions and fifteen possible modes at most. A framework based on an architectural approach is proposed for multimedia information retrieval. Proposed retrieval framework is implemented. Present implementation gives query formulation and information presentation for all modes and search functionality with in few modes of multimedia search framework.
In current class-based Object-Oriented Programming Languages (OOPLs), object types include only static features. How to add object dynamic behaviors modeled by Harel's statecharts into object types ...is a challenging task. We propose adding states and state transitions, which are largely unstated in object type theory, into object type definitions and typing rules. We argue that dynamic behaviors of objects should be part of object type definitions. We propose our type theory, the τ-calculus, which refines Abadi and Cardelli's ζ-calculus, in modeling objects with their dynamic behaviors. In our proposed type theory, we also explain that a subtyping relation between object types should imply the inclusion of their dynamic behaviors. By adding states and state transitions into object types, we propose modifying programming language constructs for state tracking.
Language support for distributed proxies Saini, Darpan; Sunshine, Joshua; Aldrich, Jonathan
Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century,
06/2009
Conference Proceeding
Proxies are ubiquitous in distributed systems. They are mainly used to provide transparent access to server objects, and in some cases for additional functions such as caching, message routing, ...marshalling, and un-marshalling of data. In this paper, we discuss several software engineering problems associated with using proxies in a distributed system. We believe that proxies in distributed systems suffer from: 1) redundant code 2) multiple data translations that have to be written before data is marshalled for transfer over the wire, and 3) in the case when proxies are automatically generated, there is no universal or generic mapping (to date) from XML types to Object types and vice versa. We describe these problems using an example, and discuss the partial solutions provided by prior research. A better understanding of these problems may help show the way towards a future solution.