Advanced Information Systems Engineering信息系统工程进展

出版时间：2005-6  出版社：北京燕山出版社  作者：Pastor, Oscar; Falco E. Cunha, Joo; Falc O. E. Cunha, Jo O.  页数：584  

内容概要

This book constitutes the refereed proceedings of the 17th International Conference on Advanced Information Systems Engineering, CAiSE 2005, held in Porto, Portugal in June 2005.    The 39 revised full papers presented were carefully reviewed and selected from 282 submissions. The papers are organized in topical sections on conceptual modeling, metamodeling, databases, query processing, process modeling and workflow systems, requirements engineering, model transformation, knowledge management and verification, Web services, Web engineering, software testing, and software quality.

书籍目录

Keynotes  Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research  A MDA-Compliant Environment Information Systems  Toward Semantic Interoperability of Heterogeneous Biological Data SourcesConceptual Modeling  The Association Construct in Conceptual Modelling - An AnalysisUsing the Bunge Ontological Model  Computing the Relevant Instances That May Violate an OCL constraint  Event-Based Modeling of EvolutionMetamodeling  Interoperability in Meta-environments: An XMI-Based Approach  On the Notion of Consistency in  Using Text Editing Creation Time Meta Data for Document ManagementDatabases  An Object-Relational Approach to the Representation of Multi-granulaa" Spatio-Temporal Data  Managing Inheritance Hierarchies in  Object/Relational Mapping Tools BInXS: A Process for Integration of XML SchemataQuery Processing  Query Processing Using Ontologies  Estimating Recall and Precision for Vague Queries in Databases  Querying Tree-Structured Data Using Dimension GraphsProcess Modeling and Workflow Systems  Workflow Resource Patterns: Identification, Representation and Tool Support  A Declarative Foundation of Process Models  Synchronizing Copies of External DataSystems  Requirements Engineering  Workflow Management  Understanding the Requirements on Modelling Techniques……Model TransformationKnowledge Managemt and VerifcationWeb ServicesWeb EngineeringSoftware TesfingSotwware QualityAuthor INdex