Context-orientedprogramming extends object-oriented languages with a mechanism to dynamically adapt behavior. object Constraint programming orthogonally extends object-oriented run-times by integrating constraints, i...
详细信息
ISBN:
(纸本)9781450336543
Context-orientedprogramming extends object-oriented languages with a mechanism to dynamically adapt behavior. object Constraint programming orthogonally extends object-oriented run-times by integrating constraints, including support for constraints over mutable state, object identity, and the results of message sends. Using these two language extensions in conjunctions offers interesting opportunities. In this paper, we report on new mechanisms involving layers and constraints that evolved from our experiences with combining Babelsberg/JS, an object Constraint Language, and ContextJS, an implementation of Context-orientedprogramming in JavaScript. First, our experience shows that it is desirable to dynamically adapt declarative constraints, which offer an orthogonal mechanism to the definition of imperative behavior, likewise at runtime. In this work, we show an extension to ContextJS to scope activation or refinement of constraints dynamically using layers. Second, ContextJS already provides different activation mechanisms for layers, including dynamically or structurally scoped, or globally through system generated events. Constraints provide an activation mechanism based on arbitrary boolean expressions changing their value, allowing for interesting applications of behavioral adaption based on certain conditions.
Reverse engineering of binary executables is a difficult task which gets more involved by the way compilers translate high-level concepts used in paradigms such as object-orientedprogramming into native code, as it i...
详细信息
The article describes the basic skills and phases necessary for the successful engineering and development of educational software. In the course of the analysis, the basics of software development are laid, including...
详细信息
The article describes the basic skills and phases necessary for the successful engineering and development of educational software. In the course of the analysis, the basics of software development are laid, including the objectives of the audience and the program, hardware and software limitations are determined, content resources are defined and auxiliary management tools are considered. Effective development of educational software for learning OOP (object-orientedprogramming) and BAP (basic algorithms and programming) self-learning requires the proper construction of the process.
The subtyping relation in Java exhibits self-similarity. The self-similarity in Java subtyping is interesting and intricate due to the existence of wildcard types and, accordingly, the existence of three subtyping rul...
详细信息
Parametric trace expressions are a formalism expressly designed for parametric runtime verification (RV) which has been introduced and successfully employed in the context of runtime monitoring of multiagent systems. ...
详细信息
This paper addresses compositional and incremental type checking for object-orientedprogramming languages. Recent work achieved incremental type checking for structurally typed functional languages through co-context...
详细信息
ISBN:
(纸本)9783959770354
This paper addresses compositional and incremental type checking for object-orientedprogramming languages. Recent work achieved incremental type checking for structurally typed functional languages through co-contextual typing rules, a constraint-based formulation that removes any context dependency for expression typings. However, that work does not cover key features of object-oriented languages: Subtype polymorphism, nominal typing, and implementation inheritance. Type checkers encode these features in the form of class tables, an additional form of typing context inhibiting incrementalization. In the present work, we demonstrate that an appropriate co-contextual notion to class tables exists, paving the way to efficient incremental type checkers for object-oriented languages. This yields a novel formulation of Igarashi et al.'s Featherweight Java (FJ) type system, where we replace class tables by the dual concept of class table requirements and class table operations by dual operations on class table requirements. We prove the equivalence of FJ's type system and our co-contextual formulation. Based on our formulation, we implemented an incremental FJ type checker and compared its performance against javac on a number of realistic example programs.
In distributed object-oriented systems, objects belong to different locations. For example, in Java RMI, objects can be distributed over different JVM instances. Accessing a reference in RMI has crucial different sema...
详细信息
ISBN:
(纸本)9783642219528
In distributed object-oriented systems, objects belong to different locations. For example, in Java RMI, objects can be distributed over different JVM instances. Accessing a reference in RMI has crucial different semantics depending on whether the referred object is local or remote. Nevertheless, such references are not statically distinguished by the type system. This paper presents location types, which statically distinguish far from near references. We present a formal type system for a minimal core language. In addition, we present a type inference system that gives optimal solutions. We implemented location types as a pluggable type system for the ABS language, an object-oriented language with a concurrency model based on concurrent object groups. An important contribution of this paper is the combination of the type system with the flexible inference system and a novel integration into an Eclipse-based IDE by presenting the inference results as overlays. This drastically reduces the annotation overhead while providing full static type information to the user. The IDE integration is a general approach of its own and can be applied to many other type system extensions.
The emphasis on the sustainable urban water management has increased over the last decades. In this context decision makers need tools to measure and improve the environmental performance of urban water systems (UWS) ...
详细信息
The emphasis on the sustainable urban water management has increased over the last decades. In this context decision makers need tools to measure and improve the environmental performance of urban water systems (UWS) and their related scenarios. In this paper, we propose a versatile model, named WaLA (Water system Life cycle Assessment), which reduces the complexity of the UWS while ensuring a good representation of water issues and fulfilling life cycle assessment (LCA) requirements. Indeed, LCAs require building UWS models, which can be tedious if several scenarios are to be compared. The WaLA model is based on a framework that uses a "generic component" representing alternately water technology units and water users, with their associated water flows, and the associated impacts due to water deprivation, emissions, operation and infrastructure. UWS scenarios can be built by inter-operating and connecting the technologies and users components in a modular and integrated way. The model calculates life cycle impacts at a monthly temporal resolution for a set of services provided to users, as defined by the scenario. It also provides the ratio of impacts to amount of services provided and useful information for UWS diagnosis or comparison of different scenarios. The model is implemented in a Matlab/Simulink interface thanks to object-orientedprogramming. The applicability of the model is demonstrated using a virtual case study based on available life cycle inventory data. (C) 2015 Elsevier Ltd. All rights reserved.
Databases are imperative for research in bioinformatics and computational biology. Current challenges in database design include data heterogeneity and contextdependent interconnections between data entities. These ch...
详细信息
Databases are imperative for research in bioinformatics and computational biology. Current challenges in database design include data heterogeneity and contextdependent interconnections between data entities. These challenges drove the development of unified data interfaces and specialized databases. The curation of specialized databases is an ever- growing challenge due to the introduction of new data sources and the emergence of new relational connections between established datasets. Here, an open- source framework for the curation of specialized databases is proposed. The framework supports user- designed models of data encapsulation, objects persistency and structured interfaces to local and external data sources such as MalaCards, Biomodels and the National Centre for Biotechnology Information (NCBI) databases. The proposed framework was implemented using Java as the development environment, EclipseLink as the data persistency agent and Apache Derby as the database manager. Syntactic analysis was based on J3D, jsoup, Apache Commons and w3c. dom open libraries. Finally, a construction of a specialized database for aneurysms associated vascular diseases is demonstrated. This database contains 3- dimensional geometries of aneurysms, patient's clinical information, articles, biological models, related diseases and our recently published model of aneurysms' risk of rapture. Framework is available in: http:// nbel- lab. com.
The design of air defence, traditional command control system is very challenging which has been used with basic methodologies. Traditional design is associated with unstructured and uncorrelated data and requires hug...
详细信息
The design of air defence, traditional command control system is very challenging which has been used with basic methodologies. Traditional design is associated with unstructured and uncorrelated data and requires huge lines of code using hard disk drive (HDD) in the system. Hence an attempt was made for a better simplified database management system (DBMS) software data access methodology, which processed the incoming airborne data, message in RDBMS database to achieve full automation on real-time. The transaction is accomplished through SQL pass through method from the host decision making system into database. An algorithm of track identification during midcourse track separation was undertaken for prototype development on DBMS data access methodology. In this methodology Oracle C++ calls interface embedded query call was used from the host interface system. The purpose of this development was to find a comparison of online process timing between HDD and SSD using commercial database, and to evaluate performance of dynamic processing of RDBMS Database for identification of target vehicle and booster after separation. Produced experimentation results from improved performance of the proposed methodology on which futuristic command control system can rely.
暂无评论