欧洲qmips项目中的建设性建模和设计基础研究

Proceedings of 5th International Workshop on Petri Nets and Performance Models Pub Date : 1993-10-19 DOI:10.1109/PNPM.1993.393432

U. Herzog

{"title":"欧洲qmips项目中的建设性建模和设计基础研究","authors":"U. Herzog","doi":"10.1109/PNPM.1993.393432","DOIUrl":null,"url":null,"abstract":"The main objectives of the Quantitative Modelling in Parallel Systems (QMIPS) project, a research activity on quantitative modeling of parallel and distributed systems, are summarized. Elements of a constructive modeling and design methodology are discussed, and stochastic process algebras are emphasized as an interesting base for it.<<ETX>>","PeriodicalId":404832,"journal":{"name":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","volume":"66 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Constructive modelling and design basic research within the European QMIPS-project\",\"authors\":\"U. Herzog\",\"doi\":\"10.1109/PNPM.1993.393432\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The main objectives of the Quantitative Modelling in Parallel Systems (QMIPS) project, a research activity on quantitative modeling of parallel and distributed systems, are summarized. Elements of a constructive modeling and design methodology are discussed, and stochastic process algebras are emphasized as an interesting base for it.<<ETX>>\",\"PeriodicalId\":404832,\"journal\":{\"name\":\"Proceedings of 5th International Workshop on Petri Nets and Performance Models\",\"volume\":\"66 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-10-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 5th International Workshop on Petri Nets and Performance Models\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PNPM.1993.393432\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PNPM.1993.393432","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

概述了并行系统定量建模(QMIPS)项目的主要目标，该项目是并行和分布式系统定量建模的研究活动。讨论了建设性建模和设计方法的要素，并强调了随机过程代数作为其有趣的基础。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Constructive modelling and design basic research within the European QMIPS-project

The main objectives of the Quantitative Modelling in Parallel Systems (QMIPS) project, a research activity on quantitative modeling of parallel and distributed systems, are summarized. Elements of a constructive modeling and design methodology are discussed, and stochastic process algebras are emphasized as an interesting base for it.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of 5th International Workshop on Petri Nets and Performance Models

自引率

0.00%

发文量