Information Technology Reference
In-Depth Information
tool (Santa Baibara, A). Although there may be redundancy among some software
applications in the supported hardware, there is presently no single tool that easily
configures to a broadbase hardware support. The ongoing development of many of
these tools largely is relegated to the logical and functional domains, whereas the
needle barely has moved in the domain of external interface configuration. Although
simulation remains the most common verification method for software system design,
there is room for vast improvement in a move toward a unified integrated development
environment.
19.4.3
Process Knowledge Verification Method Based on Petri Net
This method of modeling and verifying a process model is based on Petri Net. This
method solves issues such as problems of weak accessibility, deadlock, and dead
circle within a software system.
Domain knowledge structure is a complicated system, and its base contains rich
knowledge to fulfill application needs according to certain facts, rules, cases, and
process knowledge. Process knowledge is the key element of domain knowledge, and
it is the representation of all kinds of process, flow, logic, and situational knowledge.
Knowledge base, as an important kind of knowledge representation form, receiving
more and more attention lately (Kovalyov & Mcleod, 1998).
A process model is an abstract description of enterprise operation mechanism and
operating process. Previous process models are described by nonformalized language,
whereas to manage and reuse the knowledge requires that models not only should
describe relations among activities but also have much other incidental information to
facilitate the explanation and implementation. This process modeling mainly aims at
solving the problem of how properly to describe the system behavior state according
to process objectives and system constraint conditions. The common characteristics
are difficulties in modeling and the formalization of algorithms and tools abroad.
19.4.3.1 ProcessModelVerificationBasedonPetriNet.
The theory foun-
dation and development experience of Petri Net make it suitable for domain knowl-
edge base analysis (Civera et al., 1987). It is necessary to specify corresponding
relations between Petri Net and an enterprise process model to verify a process
model by Petri Net. Petri Net can be defined as a Quadruple (P, T, I, O) (Daliang
et al., 2008), therein:
P
=
{
p1, p2
...
,pn
is finite set of place;
}
T
is definite set of transition, and, T and P are disjoint;
I is the input function, mapping of transition T to a place. For each tk to belong to
T, relevant results can be determined as follows: I (tk)
=
{
t1, t2
...
,tm
}
;
O is the output function, also mapping of a transition to a place. For each
tk to belong to T, relevant results can be determined as follows: O (tk)
=
{
pi, pj
...
}
=
...
}
{
pr, ps
.
Search WWH ::
Custom Search