Executable object modeling with statecharts
Executable object modeling with statecharts
复制标题
DOI：
10.1109/2.596624
复制
发表时间：
1997-07-01
期刊：
影响因子：
2.2
通讯作者：
Gery, E
中科院分区：
文献类型：
--
作者：
Harel, D;Gery, E
大多数面向对象的方法使用图形表示法，并且大多数还采用基于状态的形式主义来指定行为。但大多数也未能严格定义他们用来描述行为的语言的语义。如果没有严格的语义，OO模型永远不可能精确到足以产生完全可执行的模型并实现自动代码合成。这些问题很复杂，超出了推荐建模方法或方法的范围-它们是语言设计关注点，需要严格的数学基础。语法和语义都必须完全解决：任何可能的构造组合都必须清楚地描述为语法上法律的或非法的，并且每个法律的组合都必须被赋予唯一的正式含义。在本文中，作者描述了他们围绕状态图及其支持工具Rhapsody构建的用于对象建模的图形语言集成集，其产生完全可执行的模型并允许自动代码合成。作为作者与定义统一建模语言的团队合作的结果，该语言集和Rhapsody与UML是一致的。
Most object-oriented methods use a graphical notation, and most also adopt a state-based formalism to specify behavior. But most also fail to rigorously define the semantics of the languages they use to describe behavior. Without rigorous semantics, OO models can never be precise enough to produce fully executable models and enable automatic code synthesis.These issues are complicated and go beyond recommending a modeling approach or methodology-they are language design concerns, requiring rigorous mathematical underpinnings. Both syntax and semantics must be fully worked out: Any possible combination of constructs must be clearly characterized as syntactically legal or illegal, and each legal combination must be given a unique and formal meaning.In this article, the authors describe their integrated set of diagrammatic languages for object modeling built around statecharts and their supporting tool, Rhapsody, which produces a fully executable model and allows automatic code synthesis. As a result of the authors' collaboration with the team that defined the Unified Modeling Language, this language set and Rhapsody are consistent with UML.