- 1、本文档共43页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
Functional specification of time sensitive communicating systems
acmSEM 4/25/95
FUNCTIONAL SPECIFICATION
OF
TIME SENSITIVE COMMUNICATING SYSTEMS1
Manfred Broy
Institut für Informatik
Technische Universität München
Postfach 20 24 20, D-8000 München 2, Germany
Abstract
A formal model and a logical framework for the functional specification of time
sensitive communicating systems and their interacting components is outlined. The
specification method is modular with respect to sequential composition, parallel
composition, and communication feedback. Nondeterminism is included by
underspecification. The application of the specification method to timed
communicating functions is demonstrated. Abstractions from time are studied. In
particular a rational is given for the chosen concepts of the functional specification
technique. The relationship between system models based on nondeterminism and
system models based on explicit time notions is investigated. Forms of reasoning are
considered. The alternating bit protocol is used as a running example.
1This work was supported by the ESPRIT BASIC RESEARCH ACTION DEMON and by the Sonderforschungs-
bereich 342 Werkzeuge und Methoden für die Nutzung paralleler Architekturen
2
1. Introduction
The behaviour of distributed systems that communicate by exchanging messages can be
represented by functional models. By such a modelling, systems that operate embedded into some
environment are described by functions that map histories of input communicat
您可能关注的文档
- Evolution of low-mass star and brown dwarf eclipsing binaries.pdf
- Evolution of Mid-IR Excess Around Sun-like Stars Constraints on Models of Terrestrial Plane.pdf
- Evolution of seismic signals and slip patterns along subduction zones insights from a frict.pdf
- EVOLUTION OF SOFTWARE AGENT-BASED E-COMMERCE BASED ON AGENT COMPETITION MODEL.pdf
- Exact Activation Energy of Magnetic Single Domain Particles.pdf
- Exact Conservation Laws of the Gradient Expanded Kadano#--Baym Equations.pdf
- Exact O(alpha) Corrections to the Single Hard Bremsstrahlung Process in Low Angle Bhabha Sc.pdf
- Exam1pass 000-920 exam braindumps free download.pdf
- Exam1pass 000-885 exam braindumps free download.pdf
- Exam1pass 310-202 exam braindumps free download.pdf
- 科学探究能力在初高中学习中的转化教学研究课题报告.docx
- 家庭作业反馈与学生学习成效的关系教学研究课题报告.docx
- 基于项目学习的跨学科教育研究教学研究课题报告.docx
- 基于学生兴趣的课程调整与反思教学研究课题报告.docx
- 教师反思日志在专业发展中的应用研究教学研究课题报告.docx
- 教师在语文教学中培养学生思维能力的策略教学研究课题报告.docx
- 教学反思对教师职业成长的重要性教学研究课题报告.docx
- 教师专业发展对课堂教学效果的影响探索教学研究课题报告.docx
- 2024-2025学年小学信息技术(信息科技)五年级下册浙教版(2023)教学设计合集.docx
- 2024-2025学年小学信息技术(信息科技)六年级上册人教版教学设计合集.docx
文档评论(0)