2050 search results - page 91 / 410 » A formal foundation for process modeling |
134
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
142
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
182
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
152
click to vote
ESWS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. In this article we describe a semantic extension of event-driven process chains, with which it is possible to specify the semantics of individual model elements as it is ...
150
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...