the proceedings contain 30 papers. the topics discussed include: the specification of UML collaborations as interaction components;executable design models for a pervasive healthcare middleware system;a radical reduct...
ISBN:
(纸本)3540442545
the proceedings contain 30 papers. the topics discussed include: the specification of UML collaborations as interaction components;executable design models for a pervasive healthcare middleware system;a radical reduction of UML's core semantics;transformations and software modeling languages: automating transformations in UML;analysis of UML stereotypes within the UML metamodel;on customizing the UML for modeling performance-oriented applications;digging into use case relationships;HOL-OCL: experiences, consequences and design choices;consistency-preserving model evolution through transformations;a metamodel for the unified modeling language;adapting the UML to business modeling's needs - experiences in situational method engineering;integrating the synchronous paradigm into UML: application to control-dominated systems;and applying MDA concepts to develop a domain CORBA facility for e-learning.
this paper presents a European approach to the development of a new industrial architecture of commercial off-the-shelf (COTS) software,components, and a practical technology for design and implementation of test-reus...
详细信息
ISBN:
(纸本)3540440879
this paper presents a European approach to the development of a new industrial architecture of commercial off-the-shelf (COTS) software,components, and a practical technology for design and implementation of test-reusable COTS. this work, known as the European COMPONENT+ project, is supported by the European 5th Framework programme and by a number of leading industrial partners in component-based softwareengineering. Existing COTS architectural technologies were focused on code reuse. the following fundamental problems inherited in conventional COTS technologies have been identified: a) Low testability for end-users;b) Low maintainability for end-users;c) No support for run-time testing;and d) Separated software code and test cases. Being oriented to the problems and challenges as identified above, this paper presents new solutions and techniques for testable COTS architecture developed in the European Component+ project, such as: a) A new technology for implementing BIT-based COTS;b) A new approach to COTS test;c) An extension of 00 technology from code reuse to test reuse in COTS development;and d) A new approach to enabling COTS test at run-time. BIT components can be embedded in any conventional COTS for enabling test reuse as well as code reuse. the BIT + COST technologies have been found a wide range of applications in component-based softwareengineering.
System simulation technology is concerned withthe high and new technologies in the areas of computer, networking, figure & picture, multimedia. softwareengineering, information processing, automatic control and ...
详细信息
ISBN:
(纸本)7506255715
System simulation technology is concerned withthe high and new technologies in the areas of computer, networking, figure & picture, multimedia. softwareengineering, information processing, automatic control and so on. the integrated, efficient and reliable simulation platform plays a critical role in developing simulation systems. the integrated simulation platform (ISP) based on the integration of the latest technical achievements on the related areas, which could lead to much higher performances of simulation systems and make their developments much flexible, has become a hot number in system simulation technology. In this paper, we will summarize the features and trends of the ISP, then introduce a type of solution of ISP we proposed in order to meet the requirements in developing the marine engine room simulator (MERS).
the construction of a new bridge interferes withthe existent environment. A careful aesthetic study must be made at an early stage in the design and the visualisation of a three-dimensional (313) model of the structu...
详细信息
the construction of a new bridge interferes withthe existent environment. A careful aesthetic study must be made at an early stage in the design and the visualisation of a three-dimensional (313) model of the structure is the best way to analyse it. As the bridges deck presents a complex shape it is difficult to execute a 3D deck model as well as the specific drawings or a 3D finite elements mesh of the deck. the modelling scheme proposed here allows the automation of the geometric design phases related to the deck element using as a means of integration a geometric database representative of the real deck shape. this concept was implemented in a computer programme. this application is an important support in a bridge design namely at the conceptual, analytical and final stages. (C) 2002 Civil-Comp Ltd and Elsevier Science Ltd. All rights reserved.
the compliance notation provides a practical system where both formal and informal techniques can be employed in software verification. the notation has been successfully applied in verifying some industrial safety-cr...
详细信息
ISBN:
(纸本)158113472X
the compliance notation provides a practical system where both formal and informal techniques can be employed in software verification. the notation has been successfully applied in verifying some industrial safety-critical systems, but currently it has no support for verifying concurrent systems. this research aims to extend the compliance notation with appropriate support for verifying concurrent systems.
As the softwareengineering community, moves towards a programming philosophy, in which integrators pull together disparate components from multiple sources, there is an increased need to control and record the config...
详细信息
ISBN:
(纸本)0769517277
As the softwareengineering community, moves towards a programming philosophy, in which integrators pull together disparate components from multiple sources, there is an increased need to control and record the configuration of systems as they evolve over time. this paper presents VACUUM, an approach to configuration management (CM) for components, and an architecture based around component warehouses, remote catalogues of components which can be accessed as plug-in services. It also describes a prototype implementation of the VACUUM CM system and associated architecture. It is shown that this work begins to address those factors identified as important to growth in the component marketplace, and also meets man), of the established requirements for CM systems.
In this demonstration we illustrate how a posteriori modeling of complex, heterogeneous, and distributed systems is practically performed within an automated integrated testing environment (ITE) to give improved suppo...
详细信息
the proceedings contain 25 papers. the special focus in this conference is on Formal Frameworks, Program Analysis, Architecture Descriptions and Meta-Models. the topics include: Compositional verification of secure ap...
ISBN:
(纸本)3540433538
the proceedings contain 25 papers. the special focus in this conference is on Formal Frameworks, Program Analysis, Architecture Descriptions and Meta-Models. the topics include: Compositional verification of secure applet interactions;a generic component framework for system modeling;integrated state space reduction for model checking executable object-oriented software system designs;model generation by moderated regular extrapolation;better slicing of programs with jumps and switches;mapping an ADL to a component-based application development environment;a precise meta-modelling approach;a tool for multi-formalism and meta-modelling;a toolbox for automating visual softwareengineering;enriching OCL using observational mu-calculus;formal verification of UML statecharts with real-time extensions;an authoring tool for informal and formal requirements specifications;formal requirements engineering using observer models;automatic generation of use cases from workflows;meta-modeling techniques meet web application design tools;formal-driven conceptualization and prototyping of hypermedia applications;the coordination development environment;integrating object-oriented design and formal methods;a model checking tool for executable object-oriented software system designs and demonstration of an operational procedure for the model-based testing of CTI systems.
the paper describes the development of a virtual vehicle system using virtual prototyping computer tools. the virtual vehicle is used for the prediction of the structural dynamics. Since the modelling process for comp...
详细信息
the paper describes the development of a virtual vehicle system using virtual prototyping computer tools. the virtual vehicle is used for the prediction of the structural dynamics. Since the modelling process for complete rail vehicle systems becomes increasingly more complex, time and cost can be saved by the use of a database concept and an automated assembling process for the vehicle of interest. Supported by a modular design concept, vehicle components for a metro train have been modelled and stored as substructures in a specific vehicle component database. Using this database, train configurations up to a three-car train can be assembled very quickly to perform structural dynamics analyses and to predict the ride comfort. Experimental results have been compared with simulation results of the rail vehicle to improve the modelling technique and the accuracy of the developed virtual vehicle system. the mathematical modelling of the rail vehicle system featuring elastic components, the structure of the database as well as numerical and experimental results are presented in this paper. (C) 2002 Civil-Comp. Ltd and Elsevier Science Ltd. All rights reserved.
Web-based hypermedia systems are becoming more and more sophisticated, new modeling requirements constantly arise, and design models must constantly evolve. Since design tools should complement models to support an ef...
详细信息
ISBN:
(纸本)3540433538
Web-based hypermedia systems are becoming more and more sophisticated, new modeling requirements constantly arise, and design models must constantly evolve. Since design tools should complement models to support an efficient design process, model evolution raises a technological issue: Design tools must be modified when their underlying model changes. this is why the paper proposes a general approach to efficiently update design tools in response to model evolutions. the key ideas are: a) the description of a hypermedia model in terms of a general meta-model, powerful enough to express the semantics of current and future design constructs;b) the transformation of a hypermedia design tool into a meta-CASE tool, able to cope with model updates without requiring to be redefined and rebuilt from scratch. the approach is presented by discussing a case study, that is, the feasibility study to transform our design toolkit, Jweb, into a meta-CASE tool (Jweb3). this tool will support the latest version of our model (called W2000), and will easily evolve withthe model it supports. We discuss the adoption of the OMG meta-modeling standards MOF and XMI as enabling technology, we present a sample of the representation of W2000 in terms of MOF, and we sketch the architecture of the under-implementation Jweb3.
暂无评论