Event-based functional decomposition

DOI10.1016/J.IC.2019.104484MaRDI QIDQ2304530zbMATH OpenOpenAlexWikidataFDO

Authors Jian-Min Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Shi Zhang, Ping Gong, Zhong Hong

Publication date 12 March 2020

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2019.104484

zbMATH Keywords

eventautomationdependency structurefunctional decomposition

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 4024746
• Algebraic decomposition of discrete functions
• Series parallel decomposition of a system of incompletely specified Boolean functions
• Parallel Processing and Applied Mathematics

Cites work

• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1500652 (Why is no real title available?)
• scientific article; zbMATH DE number 194542 (Why is no real title available?)
• scientific article; zbMATH DE number 805386 (Why is no real title available?)
• A calculus of mobile processes. I
• Adding priority to event structures
• Communicating sequential processes
• Composition for component-based modeling
• Concurrent Machines
• Configuration structures, event structures and Petri nets
• Contracts for cross-organizational workflows as timed dynamic condition response graphs
• Does My Service Have Partners?
• Elementary transition systems
• Preserving correctness during business process model configuration

Cited in

(1)

• scientific article; zbMATH DE number 4024746 (Why is no real title available?)

Describes a project that uses

Uses Software

• LOTOS
• Wendy

This page was built for publication: Event-based functional decomposition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2304530)