首页 > 最新文献

[1992 Proceedings] The Third International Workshop on Rapid System Prototyping最新文献

英文 中文
A pragmatic formal method (PFM) for computer system definition and execution 计算机系统定义和执行的实用形式化方法(PFM)
Pub Date : 1992-06-23 DOI: 10.1109/IWRSP.1992.243913
S. White
The pragmatic formal method (PFM) process produces a model of a to-be-built target system, provides analysis of model quality, and simulates system operation. PFM incorporates a solution to one of the major problems with Petri nets, i.e., a static Petri net structure of a large system is difficult to define. A formal extension of Petri nets called PFM-nets (nets of interacting PFM functions) is used to simulate system operation and support the development of a rapid prototype. PFM-nets can be generated (in theory) automatically from a PFM model of a target system. The PFM model and model execution are discussed.<>
实用形式化方法(PFM)过程生成待构建目标系统的模型,提供模型质量分析,并模拟系统操作。PFM结合了一个解决Petri网的主要问题之一,即大系统的静态Petri网结构难以定义。Petri网的正式扩展称为PFM-网(交互PFM函数网),用于模拟系统运行并支持快速原型的开发。从理论上讲,可以从目标系统的PFM模型自动生成PFM网络。讨论了PFM模型和模型的执行。
{"title":"A pragmatic formal method (PFM) for computer system definition and execution","authors":"S. White","doi":"10.1109/IWRSP.1992.243913","DOIUrl":"https://doi.org/10.1109/IWRSP.1992.243913","url":null,"abstract":"The pragmatic formal method (PFM) process produces a model of a to-be-built target system, provides analysis of model quality, and simulates system operation. PFM incorporates a solution to one of the major problems with Petri nets, i.e., a static Petri net structure of a large system is difficult to define. A formal extension of Petri nets called PFM-nets (nets of interacting PFM functions) is used to simulate system operation and support the development of a rapid prototype. PFM-nets can be generated (in theory) automatically from a PFM model of a target system. The PFM model and model execution are discussed.<<ETX>>","PeriodicalId":210681,"journal":{"name":"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133295815","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Rapid prototyping with the OR model OR模型的快速原型
Pub Date : 1992-06-23 DOI: 10.1109/IWRSP.1992.243905
Yoav Intrator, S. Rotenstreich
An object-oriented model called the object-relation (OR) model is presented and shown to be powerful for rapid prototyping of object-oriented systems. The OR model is based on relations that replace the implicit interconnections that typically exist in every software system. These relations are defined in class hierarchies and can be used similarly to the way regular objects are used, e.g., inheritance and reuse. An example of a nontrivial data structure, the heap, is presented.<>
提出了一种称为对象关系(OR)模型的面向对象模型,并证明了它对于面向对象系统的快速原型设计的强大功能。OR模型基于关系,这些关系取代了每个软件系统中通常存在的隐式互连。这些关系是在类层次结构中定义的,可以像使用常规对象一样使用,例如继承和重用。本文给出了一个非平凡数据结构——堆的例子。
{"title":"Rapid prototyping with the OR model","authors":"Yoav Intrator, S. Rotenstreich","doi":"10.1109/IWRSP.1992.243905","DOIUrl":"https://doi.org/10.1109/IWRSP.1992.243905","url":null,"abstract":"An object-oriented model called the object-relation (OR) model is presented and shown to be powerful for rapid prototyping of object-oriented systems. The OR model is based on relations that replace the implicit interconnections that typically exist in every software system. These relations are defined in class hierarchies and can be used similarly to the way regular objects are used, e.g., inheritance and reuse. An example of a nontrivial data structure, the heap, is presented.<<ETX>>","PeriodicalId":210681,"journal":{"name":"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115824116","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Concurrent engineering: a prototyping case study 并行工程:一个原型案例研究
Pub Date : 1992-06-23 DOI: 10.1109/IWRSP.1992.243911
J. Akella, A.H. Dutoit, D. Siewiorek
Vuman is a wearable portable computer used for navigation through electronic blueprints. Thirty working units of Vuman were designed and manufactured from system concept using a concurrent engineering design environment. The authors describe the steps in prototyping Vuman, using the suite of synthesis and analysis tools in the electronic and mechanical domains which comprise the concurrent engineering design environment. Some unforeseen problems and their proposed solutions are discussed.<>
Vuman是一种可穿戴便携式计算机,用于通过电子蓝图进行导航。利用并行工程设计环境,从系统概念出发,设计制造了vhuman的30个工作单元。作者描述了原型vhuman的步骤,使用电子和机械领域的综合和分析工具套件,包括并发工程设计环境。讨论了一些不可预见的问题及其解决方案
{"title":"Concurrent engineering: a prototyping case study","authors":"J. Akella, A.H. Dutoit, D. Siewiorek","doi":"10.1109/IWRSP.1992.243911","DOIUrl":"https://doi.org/10.1109/IWRSP.1992.243911","url":null,"abstract":"Vuman is a wearable portable computer used for navigation through electronic blueprints. Thirty working units of Vuman were designed and manufactured from system concept using a concurrent engineering design environment. The authors describe the steps in prototyping Vuman, using the suite of synthesis and analysis tools in the electronic and mechanical domains which comprise the concurrent engineering design environment. Some unforeseen problems and their proposed solutions are discussed.<<ETX>>","PeriodicalId":210681,"journal":{"name":"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129289130","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 20
期刊
[1992 Proceedings] The Third International Workshop on Rapid System Prototyping
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1