JOURNAL ARTICLE
FUNSOFT nets: a Petri-net based software process modeling language
Abstract
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.< >
Keywords:
Petri net Computer science Programming language Software engineering Software Predicate (mathematical logic) Semantics (computer science) Process architecture Theoretical computer science
Metrics
32
Cited By
7.23
FWCI (Field Weighted Citation Impact)
10
Refs
0.97
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Business Process Modeling and Analysis
Social Sciences → Business, Management and Accounting → Management Information Systems
Petri Nets in System Modeling
Physical Sciences → Computer Science → Computational Theory and Mathematics
Service-Oriented Architecture and Web Services
Physical Sciences → Computer Science → Information Systems
Related Documents
JOURNAL ARTICLE
FUNSOFT nets: a Petri-net based software process modeling language
Journal: International Workshop on Software Specification and Design Year: 1991 Pages: 175-184
BOOK-CHAPTER
Software process validation based on FUNSOFT nets
Lecture notes in computer science Year: 2005 Pages: 223-226
JOURNAL ARTICLE
Software Process Modelling with FUNSOFT Nets
Journal: Technische Universität Dortmund Eldorado (Technische Universität Dortmund) Year: 1995
JOURNAL ARTICLE
Software Process Modeling Method Based on Object-Oriented Petri Nets
Year: 2010 Pages: 5608-5612
JOURNAL ARTICLE
Modeling the Value-Based Software Process with Object-Petri-Nets.
LiGuo HuangJidong GeBarry BoehmJian Lü
Journal: International Journal of Software and Informatics Year: 2010 Vol: 4 Pages: 101-119