FUNSOFT nets: a Petri-net based software process modeling language

机译：Funsoft网：基于Petri-net的软件过程建模语言

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Introduces an approach to software process modeling and analysis. It is based on describing software processes by FUNSOFT nets. FUNSOFT nets are high level Petri nets which are adapted to the application domain of software process modeling. Their semantics is defined by predicate/transition nets. That enables them to benefit from standard analysis techniques approved for predicate/transition nets.

机译：介绍了一种软件过程建模和分析的方法。它是基于描述Funsoft网的软件进程。 Funsoft网是高级Petri网，适用于软件过程建模的应用领域。它们的语义由谓词/转换网定义。这使得它们能够受益于批准用于谓词/过渡网的标准分析技术。

著录项

来源
《International Workshop on Software Specification and Design》|1991年||共10页
会议地点
作者
Emmerich W.; Gruhn V.; Institute of Electric and Electronic Engineer;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Modeling And Simulation Of Net Centric System Of Systems Using Systems Modeling Language And Colored Petri-nets: A Demonstration Using The Global Earth Observation System Of Systems [J] . Madwaraj Rao, Sreeram Ramakrishnan, Cihan Dagli Systems Engineering . 2008,第3期

机译：使用系统建模语言和有色Petri网的系统以网络为中心的系统的建模和仿真：以系统的全球地球观测系统为例的演示
2. Characterizing and evaluating the quality of software process modeling language: Comparison of ten representative model-based languages [J] . Garcia-Garcia J. A., Enriquez J. G., Dominguez-Mayo F. J. Computer standards & interfaces . 2019,第MARa期

机译：表征和评估软件过程建模语言的质量：十种基于模型的代表性语言的比较
3. BPRN: A Formal Model of Resources Consumption in Business Process Based on an Extension of Petri-Net and Workflow model [J] . Mohammed Nassim Lacheheub, Ramdane Maamri Procedia Computer Science . 2016,第1期

机译：BPRN：基于Petri-Net和工作流模型扩展的业务流程中资源消耗的正式模型
4. FUNSOFT nets: a Petri-net based software process modeling language [C] . Emmerich, W., Gruhn, . 1991

机译：FUNSOFT nets：一种基于Petri-net的软件过程建模语言
5. A Petri-Net Based Approach of Software Visualization for Software Customization. [D] . Sadri, Vida. 2012

机译：基于Petri-Net的软件可视化方法用于软件定制。
6. Multicore-Processor Based Software-Defined Communication/Network Platform for Underwater Internet of Things [O] . Chaohui Luo, Biyun Ma, Fangjiong Chen, 2019

机译：基于多核处理器的水下物联网软件定义的通信/网络平台
7. FUNSOFT Nets: A Petri-Net based Software Process Modeling Language [O] . Wolfgang Emmerich, Volker Gruhn 1996

机译：FUNSOFT Nets：一种基于Petri-Net的软件过程建模语言
8. Diagrams and Languages for Model-Based Software Engineering of Embedded Systems: UML and AADL. [R] . De Niz, D. 2007

机译：基于模型的嵌入式系统软件工程图和语言：UmL和aaDL。

FUNSOFT nets: a Petri-net based software process modeling language

摘要

著录项

相似文献

相关主题

期刊订阅