系统分析与建模、语言资料 / 国际专题讨论会/System analysis and modeling: language profiles
分類: 图书,工业技术,电子 通信,通信,通信理论,
作者: Reinhard Gotzein 等著
出 版 社: 广东教育出版社
出版时间: 2006-12-1字数:版次: 1页数: 228印刷时间: 2006/12/01开本:印次:纸张: 胶版纸I S B N : 9783540683711包装: 平装编辑推荐
The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available.
The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes.
-proceedings(published in time for the respective conference)
-post-proceedings(consisting of thoroughly revised final full papers)
-research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.).
内容简介
This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, held in Kaiserslautern, Germany in May/June 2006.
The 14 revised full papers presented were carefully selected during two rounds of reviewing and improvements for inclusion in the book. The papers are organized in topical sections on language profiles - what was the main focus of this SAM workshop - evolution of development languages, model-driven development, and language implementation.
目录
Language Profiles
A UML Profile for Communicating Systems
Implementing the eODL Graphical Representation
Distributed ReM-Time Behavioral Requirements Modeling Using Extended UML/SPT
Formal Operations for SDL Language Profiles
Evolution of Development Languages
Automating Scenario Merging
Timed High-Level Message Sequence Charts for Real-Time System Design
Timed Use Case Maps
Model-Driven Development
Application of Stuck-Free Conformance to Service-Role
Composition
A Simulator Interconnection Framework for the Accurate Performance
Simulation of SDL Models
Refactoring and Metrics for TTCN-3 Test Suites
SDL Design of a Radio Resource Control Protocol for 3G Evolution Systems with Two Different Approaches
Language Implementation
Evaluation of Development Tools for Domain-Specific Modeling Languages
Towards Integrated Tool Support for the User Requirements Notation
ConTraST - A Configurable SDL Transpiler and Runtime Environment
Author Index