2050 search results - page 1 / 410 » A formal foundation for process modeling |
FOIS
2001
13 years 6 months ago
2001
WOODPECKER
2001
13 years 6 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
ECOOPW
1994
Springer
13 years 9 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
HICSS
2008
IEEE
13 years 11 months ago
2008
IEEE
While executing a process, many decisions are taken at its various decision points for selecting paths. There is a need for understanding and analyzing on various paths that emana...
IWANN
2005
Springer
13 years 10 months ago
2005
Springer
Computing in nature as is the case with the human brain is an emerging research area in theoretical computer science. The present paper’s aim is to explore biological neural cell...