信息技术的发展推动着生产关系的变革,人们的生产方式也由此发生变化,互联网的出现更是加快了这种变化,并且在科研、政务、商务等诸多应用领域带来了深远的影响。如今,在科研领域,尤其在E-Science上,很多工作正在努力的实现着基于互联网的科学计算,资源共享和协同控制。互联网上共享资源的增多给科研人员提供了更多的解决科学问题的机会,然而科学研究的不确定性和多样性更需要在使用基于互联网的服务时以用户为驱动的使用方式,使得科研人员能够自主按需利用这些服务资源搭建业务应用从而即时应对快速、多变的业务需求。针对这个问题,本文提出了业务服务建模以及基于业务服务泛化-特化关系的同步绑定的实例化方法。主要工作和贡献如下:●提出了业务服务建模以及基于业务服务泛化-特化关系的同步绑定的实例化方法领域专家根据领域存在内聚性和稳定性的特点,按照领域分析原理,对领域内的业务功能根据使用方式的共性和变化性进行抽象,构造业务功能的使用模式,并且利用虚拟化机制,使它与物理服务进行绑定,形成领域业务服务。最终用户通过对业务功能的使用模式的分析和特化,在业务层上表达业务功能的个性化的使用方式,同时在实现层上系统同步完成这种使用方式与物理服务的绑定,整个过程被称为业务服务的实例化。●给出了一组完备的业务服务的特化操作并且基于这组特化操作定义了特征组集合的集合运算规则定义了业务服务的泛化.特化关系,给出了一组完备的业务服务的特化操作并且基于这组特化操作定义了特征组集合的集合运算规则,使得特化的业务功能的使用方式只需要运用这组集合运算规则便可实现其与物理服务的绑定,不需要重复虚拟化工作,提高了业务服务实例化的效率。●在实际项目背景下进行了实现和应用基于上述成果,设计实现了原型系统,并依托国家自然基金重大项目,在生物信息领域进行了尝试。以序列相似性查找为例的实验表明,利用这种方法的业务服务实例化的时间平均减少了89.1%,在即时应对快速、多变的业务需求方面起到了很好的效果。