1188 search results - page 35 / 238 » Testing Semantics: Connecting Processes and Process Logics |
105
click to vote
BPSC
2009
15 years 3 months ago
2009
Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents tem...
140
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract. Our work involves the development of a prototype Geographical Information System GIS as an example of the use of process networks as a well-de ned high-level semantic mod...
EON
2008
15 years 3 months ago
2008
Abstract. The Semantic Web Service Challenge is one of the major initiative dedicated to work on Semantic Web Service (SWS) discovery and selection. It represents an effective mann...
103
click to vote
CAISE
1999
Springer
15 years 6 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
TCS
2002
15 years 1 months ago
2002
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...