2050 search results - page 96 / 410 » A formal foundation for process modeling |
145
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
154
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Even though the design of business processes most often has to consolidate the knowledge of several process stakeholders, this fact is utilized only to a limited extent by existing...
191
click to vote
FM
2009
Springer
16 years 28 days ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
165
click to vote
FORTE
2004
15 years 7 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
181
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...