...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Science of Computer Programming >A semantic and methodological essence of message sequence charts
【24h】

A semantic and methodological essence of message sequence charts

机译：消息序列图的语义和方法论本质

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Message sequence charts (MSCs) are a technique to describe patterns of interaction between the components of interactive distributed systems by specific interaction diagrams. MSCs have evolved in telecommunication applications, defined as a standard, and have become very popular in the design of software architectures and, generally, of distributed or object-oriented software systems. They are used frequently to describe scenarios of interactions illustrating instances of use cases. Nevertheless, both the semantics of MSCs as a technique of specification and their methodological and technical role in the development process have not been precisely and sufficiently clarified, so far. Also their formalization, although tackled by a number of papers, is not well focused with respect to their methodological usage. In this paper, we suggest a semantic model for MSCs in terms of logical propositions characterizing stream-processing functions. This formalization allows us to apply MSCs as an intuitively clear specification technique with a precisely defined meaning. The MSCs provide, in particular, specifications for the components of a system. Our approach is in contrast to other semantic models for MSCs suggested in the literature (see Ladkin, Leue, in: R.L. Tenney et al. (Eds.), Formal Description Techniques VI, North-Holland, 1994, pp. 301-316, and Formal Aspects of Computing 7 (1995) 473-509) where the meaning of MSCs is explained using state transition machines or traces. We define the meaning of MSCs in a more abstract way by a logical technique specifying the components of a system. By this approach MSCs are used for the decomposition of systems into components. Along these lines, we discuss the systematic application of MSCs in the software development process.
机译：消息序列图（MSC）是一种通过特定的交互图描述交互式分布式系统各组件之间的交互模式的技术。 MSC已经在电信应用中发展，被定义为标准，并且在软件体系结构的设计以及通常在分布式或面向对象的软件系统的设计中已经变得非常流行。它们经常用于描述交互场景，这些交互场景说明了用例的实例。然而，到目前为止，MSCs作为一种规范技术的语义以及它们在开发过程中的方法和技术作用都尚未得到准确而充分的阐明。同样，尽管它们的形式化已通过许多论文解决，但在方法论使用上并没有很好地关注。在本文中，我们从表征流处理功能的逻辑命题的角度提出了MSC的语义模型。这种形式化使我们能够将MSC用作具有精确定义含义的直观清晰的规范技术。 MSC特别提供系统组件的规范。我们的方法与文献中建议的MSC的其他语义模型形成了鲜明对比（请参见Ladkin，Leue，见：RL Tenney等人（编），Formal Description Techniques VI，北荷兰，1994年，第301-316页，以及“计算的形式方面”，第7卷（1995）473-509），其中使用状态转换机或跟踪解释了MSC的含义。通过指定系统组件的逻辑技术，我们可以更抽象地定义MSC的含义。通过这种方法，MSC用于将系统分解为组件。沿着这些思路，我们讨论了MSC在软件开发过程中的系统应用。

著录项

  • 来源
    《Science of Computer Programming》 |2005年第3期|p.213-256|共44页
  • 作者

    Manfred Broy;

  • 作者单位

    Institut fuer Informatik, Technische Universitaet Muenchen, D-80290 Muenchen, Germany;

  • 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 计算机软件;
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号