Title | ||
---|---|---|
Towards Formalization and Verification of Unified Business Process Model Based on Pi Calculus |
Abstract | ||
---|---|---|
Many network devices implement capabilities to manipulate traffic depending on the application. Examples include a firewall or a load balancer. These are based on Layer 2-4 packet-based classifications such as port or protocol, or signature recognition. ... |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/SERA.2008.23 | SERA |
Keywords | Field | DocType |
load balancer,pi calculus,network device,unified business process model,packet-based classification,towards formalization,signature recognition,process algebra,automation,business process management,business process,computational modeling,verification,business process model,calculus,business,control flow,formal method,petri nets,workflow,formal verification,satisfiability,protocols | Artifact-centric business process model,Business process management,Systems engineering,Business process,Computer science,Unified Process,Process modeling,Business process modeling,Business rule,Business Process Model and Notation | Conference |
Citations | PageRank | References |
6 | 0.49 | 9 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Shuailiang Ma | 1 | 6 | 0.49 |
Li Zhang | 2 | 41 | 10.80 |
Jimei He | 3 | 6 | 0.49 |