Using π-calculus for Formal Modeling and Verification of WS-CDL Choreographies
Sign Up to like & getrecommendations! Published in 2017 at "IEEE Transactions on Services Computing"
DOI: 10.1109/tsc.2015.2449850
Abstract: Service-Oriented applications are realized by composing and aggregating existing web services. Orchestration and Choreography are two interaction models for building SOA applications and several standards exist to capture and describe such interactions. The Web Service… read more here.
Keywords: choreographies using; calculus formal; verification; formal modeling ... See more keywords
Formal Modeling and Discovery of Hierarchical Business Processes: A Petri Net-Based Approach
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Systems, Man, and Cybernetics: Systems"
DOI: 10.1109/tsmc.2022.3195869
Abstract: Business processes are critical for information systems to control workflows and deliver services. Although existing process discovery techniques can generate flat process models from business event logs, few of them have investigated the notion of… read more here.
Keywords: business; formal modeling; discovery; business processes ... See more keywords
Formal Modeling of Network-on-Chip Using CFSM and its Application in Detecting Deadlock
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Transactions on Very Large Scale Integration (VLSI) Systems"
DOI: 10.1109/tvlsi.2019.2959618
Abstract: A formal modeling of a Network-on-Chip (NoC) using a communicating finite state machine (CFSM) is presented in this article. We have automated the CFSM model generation for NoCs with Mesh and Torus topologies. To verify… read more here.
Keywords: deadlock; modeling network; network chip; formal modeling ... See more keywords