Over the past several years, the Air Force Institute of technology (AFIT) has been developing a formal-based software synthesis system, the AFIT Wide Spectrum object Modeling Environment (AWSOME), along with a specifi...
详细信息
Over the past several years, the Air Force Institute of technology (AFIT) has been developing a formal-based software synthesis system, the AFIT Wide Spectrum object Modeling Environment (AWSOME), along with a specification language AWL (AFIT Wide-spectrum Language). Several tools have been developed, including a parser for the AWL syntax, an interactive object editor, a Java code generator, and a generator for database schemas and SQL queries. The paper describes the formal object-oriented meta-model, the AWL specification language, and transformations from specification to code, along with current and future tools and applications.
Most database design tools are based on the entity-relationship model (ERM). The design schema is in graphical ER format and the output schema is in relational database data definition language. This research paper pr...
详细信息
Most database design tools are based on the entity-relationship model (ERM). The design schema is in graphical ER format and the output schema is in relational database data definition language. This research paper presents the design and development of an object-oriented database design tool. The input schema is in the form of fact-based natural language sentences. Outputs can be in relational database data definition language. Integrity rules can also be generated into relational stored procedures or object methods.
In this work we present a tool for assisting object-oriented framework instantiation based on Intelligent Agent technology. Differently from other approaches, the user is able to select the functionality needed for th...
详细信息
ISBN:
(纸本)9781581132007
In this work we present a tool for assisting object-oriented framework instantiation based on Intelligent Agent technology. Differently from other approaches, the user is able to select the functionality needed for the new application, and based on this selection an agent elaborates a sequence of programming activities that should be carried out in order to implement it. In addition, the agent guides the execution of the activities according to the framework design. To enable this behavior, the framework need to be documented following the SmartBooks method, which extends traditional framework documentation with instantiation rules. In this paper we present an example of an instantiation environment built based on these ideas and the main characteristics of the SmartBooks method for documenting frameworks through instantiation knowledge rules.
Complex Web services are comparable to large software systems thus their management and engineering process requires feasible and sophisticated methodologies and processes. Standard Web page editors and Web site manag...
详细信息
ISBN:
(纸本)0769504930
Complex Web services are comparable to large software systems thus their management and engineering process requires feasible and sophisticated methodologies and processes. Standard Web page editors and Web site management tools are not built for architecting complex services and cannot handle all tasks in the Web service engineering process. We introduced the JESSICA system to utilize object-oriented concepts for the Web service management. To support all stages of a service's life cycle, from the architectural design via the object-based JESSICA model definition to the implementation and maintenance of Web documents and dynamic server scripts, we propose an engineering environment for Web services. The approach consists of three components: the graphical editor JAZZ provides visual features to model the architecture with objects that abstractly describe the entire Web service in the Uniform Modeling Language UML. The object-oriented language JESSICA defines Web service components of any granularity and their internal and external relations based on the Extended Markup Language XML. A Java-based compiler transfers the abstract service model into a consistent Web site. UML is used to support the decomposition of complex services into manageable units. The JESSICA system utilizes object-oriented concepts such as abstraction, encapsulation, inheritance and reuse of commonalities. We demonstrate the feasibility of our process on the engineering of the Vienna International Festival Web site.
Performance analysis is an important step in tuning performance critical applications. It is a cyclic process of measuring and analyzing performance data which is driven by the programmers hypotheses on potential perf...
详细信息
Performance analysis is an important step in tuning performance critical applications. It is a cyclic process of measuring and analyzing performance data which is driven by the programmers hypotheses on potential performance problems. Currently this process is controlled manually by the programmer. The implicit knowledge applied in this cyclic process must be formalized in order to be reused in the automation of performance analysis tools. This article describes the performance property specification language ASL developed in the APART Esprit IV working group. ASL allows the specification of performance data via an object model and of performance properties via a specially designed notation. Performance bottlenecks can then be identified based on the specification since bottlenecks are viewed as performance properties with a huge negative impact. We present the ASL language in the context of MPI applications.
The paper proposes a new method for analyzing multimedia synchronization constraints based on the constraint graph and classification, which is essential in developing efficient support tools for constraint based auth...
详细信息
The paper proposes a new method for analyzing multimedia synchronization constraints based on the constraint graph and classification, which is essential in developing efficient support tools for constraint based authoring systems. We specify the temporal relations between multimedia objects, and use a directed graph to represent the constraints among the objects in a multimedia scenario. We then analyze synchronization constraints based on graph theory, solving multiple problems in a unified theoretical framework: completeness and/or consistency checking, constraint relaxation and automatic temporal layout generation. We also discuss the effects of user interactive authoring. Compared to the other methods, it is simpler, more efficient, and easier to implement.
Geo-features play a key role in object-oriented or feature-based geo-processing system. So the strategy for how-to-manage and how-to-model the geo-features builds the main architecture of the entire system and also su...
详细信息
Geo-features play a key role in object-oriented or feature-based geo-processing system. So the strategy for how-to-manage and how-to-model the geo-features builds the main architecture of the entire system and also supports the efficiency and functionality of the system. Unlike the conventional 2D geo-processing system, geo-features in 3D GIS have lots to be considered to model regarding the efficient manipulation, analysis and visualization. The authors built a set of 3D geo-features, and each geo-feature contains a set of aspatial data and 3D geo-primitives. The 3D geo-primitives contain the fundamental modeling data such as the height of building and the burial depth of gas pipeline. They separated the additional modeling data on the geometry and appearance of the model from the fundamental modeling data to make the table in database more concise and to allow the users more freedom to represent the geo-object. To get the users to build and exchange their own 3D GIS data, the authors devised a file format named VGFF 2.0(Virtual GIS File Format). It is to describe the three dimensional geo-information in XML (eXtensible Markup Language). They also developed the authoring tools for users to create their own 3D geo-features and geo-objects and to edit and save them in VGFF 2.0 format.
Interobject references in object-oriented programs allow arbitrary aliases between objects. By breaching objects' encapsulation boundaries, these aliases can make programs hard to understand and especially hard to...
详细信息
Interobject references in object-oriented programs allow arbitrary aliases between objects. By breaching objects' encapsulation boundaries, these aliases can make programs hard to understand and especially hard to debug. We propose using an explicit, run-time notion of object ownership to control aliases between objects in dynamically typed languages. Dynamically checking object ownership as a program runs ensures the program maintains the encapsulation topology intended by the programmer.
暂无评论