Grid portal gives a center access point to access Grid applications and resources.Currently the existing Grid portals are mainly designed for computational Grid which puts focus on how to view files
submit and monitor jobs that alleviate the complex ity of using the Grid application
while the information Grid portal puts focus on how to provide various services in Grid environment to the public rather than scientists.In Information Grid portal the portal information service
workflow service and transaction service are very important to achieve the goal of building a web interface for citizens to seamlessly and transparently use the services located in Information Grid environment.This paper reports the current research and implementation in Information Grid portal based on ShanghaiGrid.
A Transformation Approach from Workflow Net to PERT Diagram Based on Invariants (1.State Key Laboratory for Novel Software Technology ,Department of Computer Science and Technology, Nanjing University,Nanjing,Jiangsu 210093,China; 2.Software Institute,Nanjing University,Nanjing,Jiangsu 210093,China)
CBR:A Component-Based Reduction Method for Semantics Verification of Workflow Processes
Related Author
GE Ji-dong
HU Hao
L
ZHOU Jian-tao
SHI Mei-lin
YE Xin-ming
Related Institution
计算机软件新技术国家重点实验室(南京大学),南京大学计算机科学与技术系
南京大学软件学院
计算机软件新技术国家重点实验室(南京大学)南京大学计算机科学与技术系江苏南京
南京大学软件学院江苏南京
Department of Computer Science,Tsinghua University