检索结果-内蒙古大学图书馆

Advanced topics in workflow management: Issues, requirements, and solutions

Journal of Integrated Design and Process Science 2003年第3期7卷 49-77页

作者： Van der Aalst, Wil M.P. Weske, Mathias Wirtz, Guido Department of Information and Technology Eindhoven University of Technology Eindhoven NL-5600 MB PO Box 513 Netherlands Hasso Plattner Institute for Software Systems Engineering Potsdam D-14482 Prof. Dr.-Helmert-Straße 2-3 Germany Distributed and Mobile Systems Group Faculty of Information Systems and Applied Computer Science Otto-Friedrich-Universität Bamberg Bamberg D-96045 Feldkirchenstraße 21 Germany

This paper surveys and investigates the strengths and weaknesses of a number of recent approaches to advanced workflow modelling. Rather than inventing just another workflow language, we briefly describe recent workflow languages, and we analyse them with respect to their support for advanced workflow topics. Object Coordination Nets, Workflow Graphs, WorkFlow Nets, and an approach based on Workflow Evolution are described as dedicated workflow modelling approaches. In addition, the Unified Modelling Language as the de facto standard in object-oriented modelling is also investigated. These approaches are discussed with respect to coverage of workflow perspectives and support for flexibility and analysis issues in workflow management, which are today seen as two major areas for advanced workflow support. Given the different goals and backgrounds of the approaches mentioned, it is not surprising that each approach has its specific strengths and weaknesses. We clearly identify these strengths and weaknesses, and we conclude with ideas for combining their best features. © 2003, IOS Press. All rights reserved.

关键词： Applied workflow systems Flexible workflow management Workflow analysis

来源：评论

学校读者我要写书评

暂无评论

Systematic requirements recycling through abstraction and traceability

Systematic requirements recycling through abstraction and tr...

引用

IEEE International Conference on Requirements engineering

作者： A. von Knethen B. Paech F. Kiedaisch F. Houdek Fraunhofer Institute of Experimental Software Engineering (IESE) Kaiserslautern Germany Faculty of Computer Science University of Ulm (EBS) Ulm Germany DaimlerChrysler AG Research and Technology Ulm Germany

Ad-hoc recycling between requirements documents of product variants is a major source of requirements defects. We present an approach for systematic requirements recycling based on a combination of abstraction (in terms of a template) and traceability (between requirements). The main features of our approach are the use of conceptual models to determine relationships necessary for correct recycling and the focus on minimizing link selling. This approach can also be used to develop abstraction and traceability guidelines tailored to other application domains and traceability goals, such as change or project management.

关键词： Recycling Guidelines Production software engineering computer science Project management Industrial relations

来源：评论

学校读者我要写书评

暂无评论

Cauchy - Schwarz bound on the generalized Marcum Q-function with applications

引用

Wireless Communications and Mobile Computing 2001年第2期1卷 243-253页

作者： Annamalai, A. Tellambura, C. The Bradley Department of Electrical and Computer Engineering Virginia Polytechnic Institute and State University 206 North Washington Street Suite 400 Alexandria VA 22314 U.S.A. School of Computer Science and Software Engineering Faculty of Information Technology Monash University Clayton Victoria 3168 Australia

The Cauchy-Schwarz bounding technique is used to derive useful bounds on the generalized Marcum Q-function and its complement. Three new exponential-type bounds on QM (α, β) are derived, and these are found to be tight and useful for a number of applications of interest. One such example is the derivation of an upper bound on the average symbol error rate probability for noncoherent and differentially coherent communication systems over generalized fading channels. It is shown that these exponential-type bounds are considerably tighter than the Chernoff bound (Rappaport SS. IEEE Trans. on Information Theory 1971;17: 497-498) counterpart. Numerical results also reveal that the tightness of one of the exponential-type bounds is comparable to the bound obtained in Simon and Alouini (IEEE Trans. on Communications 2000: 359-366), while another is found to be superior than that obtained in Simon and Alouini over a wide range of arguments. Copyright © 2001 John Wiley and Sons, Ltd.

关键词： bounding technique performance analysis fading channels diversity methods generalized Marcum Q‐function

来源：评论

学校读者我要写书评

暂无评论

OPEN: a flexible OO/CBD process for software-intensive systems development, a UML exposition 01

OPEN: a flexible OO/CBD process for software-intensive syste...

引用

Proceedings of the 23rd International Conference on software engineering

作者： Houman Younessi Brian Henderson-Sellers Rensselaer Initiative in Software Engineering (RISE) Associate Professor of Computer Science Rensselaer Polytechnic Institute Rensselaer at Hartford Centre for Object Technology Applications and Research Professor of Information Systems Faculty of Information Technology University of Technology Sydney

ISBN: (纸本)9780769510507

Object technology is an approach that is increasingly being adopted for the development of quality software and software-intensive systems. Recent experience has demonstrated that it provides a sophisticated environment to support high quality software engineering practice. However, the use of object technology should not be restricted to languages but should encompass analysis, design, V&V and many such aspects belonging to the methodological dimension of the development life-cycle. Furthermore, it should also cover other issues belonging to the technological and contextual aspects.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Composition method of communication system specifications in asynchronous model and its support system

Composition method of communication system specifications in...

引用

IEEE International Conference on Networks

作者： N. Maneerat R. Varakulsiripunth D. Seki K. Yoshida K. Takahashi Y. Kato B.B. Bista N. Shiratori Computer Research and Service Center King Mongkut's Institute of Technology Ladkrabang Bangkok Thailand Faculty of Engineering & Research Center for Communications and Information Technology Sendai National College of Technology Japan Faculty of Software and Information Science Iwate Prefectural University Japan Research Institute of Electrical Communication Tohoku University Japan

One of the most important methods in communication system design, especially in protocol design, is the composition method. We propose a method for simultaneously composing service specifications and protocol specifications based on the LOTOS language. In this method, an asynchronous communication model is adopted which is more realistic in actual communication networks. We use the concept of the weak bisimulation equivalence to represent the correctness of composition. A software support system based on the proposed composition method is also described.

关键词： Access protocols Asynchronous communication Design methodology Design engineering Information technology Educational institutions Communication system software Information science Communication networks software systems

来源：评论

学校读者我要写书评

暂无评论

Test Generation and Design-for-Testability Based on Acyclic Structure with Hold Registers

引用

湖南大学学报（自然科学版） 2000年第S2期27卷 1-10页

作者： Tomoo Inoue Debesh Kumar Das Chiiho Sano Takahiro Mihara Hideo Fujiwara Faculty of Information Sciences Hiroshima City University Hiroshima 731-3194 Japan Computer Science and Engineering Department Jadavpur niversity Calcutta-700 032 India Graduate School of Information Science Nara Institute of Science and Technology Nara 630-0101 Japan Mitsubishi Electronic Control Software Corporation Kobe 652-0871Japan 不详

We present a method of test generation for acyclic sequential circuits with hold registers. A complete (100% fault efficiency) test sequence for an acyclic sequential circuit can be obtained by applying a combinational test generator to all the maximal time-expansion models (TEMs) of the circuit. We propose a class of acyclic sequential circuits for which the number of maximal TEMs is one, i.e, the maximum TEM exists. For a circuit in the class, test generation can be performed by using only the maximum TEM. The proposed class of sequential circuits with the maximum TEM properly includes several known classes of acyclic sequential circuits such as balanced structures and acyclic sequential circuits without hold registers for which test generation can be also performed by using a combinational test generator. Therefore, in general, the hardware overhead for partial scan based on the proposed structure is smaller than that based on balanced or acyclic sequential structure without hold registers.

关键词： acyclic sequential circuits combinational test generation hold registers maximum time-expansion model partial scan

来源：评论

学校读者我要写书评

暂无评论

Test generation for acyclic sequential circuits with hold registers

Test generation for acyclic sequential circuits with hold re...

引用

IEEE International Conference on computer-Aided Design

作者： T. Inoue D. Kumar Das C. Sano T. Mihara H. Fujiwara Faculty of Information Sciences Hiroshima City University Hiroshima Japan Computer Science and Engineering Department Jadavpur University Calcutta India Nara Institute of Science and Technology Graduate School of Information Science Nara Japan Mitsubishi Electronic Control Software Corporation Kobe Japan

We present a method of test generation for acyclic sequential circuits with hold registers. A complete (100% fault efficiency) test sequence for an acyclic sequential circuit can be obtained by applying a combinational test generator to all the maximal time-expansion models (TEMs) of the circuit. We propose a class of acyclic sequential circuits for which the number of maximal TEMs is one, i.e., the maximum TEM exists. For a circuit in the class, test generation can be performed by using only the maximum TEM. The proposed class of sequential circuits with the maximum TEM properly includes several known classes of acyclic sequential circuits such as balanced structures and acyclic sequential circuits without hold registers for which test generation can also be performed by using a combinational test generator. Therefore, in general, the hardware overhead for partial scan based on the proposed structure is smaller than that based on balanced or acyclic sequential structure without hold registers.

关键词： Circuit testing Sequential analysis Sequential circuits Registers Performance evaluation Circuit faults Hardware Design for testability Kernel computer science

来源：评论

学校读者我要写书评

暂无评论

An efficient method for in memory construction of suffix arrays

An efficient method for in memory construction of suffix arr...

引用

1999 String Processing and Information Retrieval Symposium and International Workshop on Groupware, SPIRE 1999 and CRIWG 1999

作者： Itoh, Hideo Tanaka, Hozumi Software Res. Center Ricoh Co. Ltd Japan Tokyo Institute of Technology Computer Science Faculty of Engineering Japan

ISBN: (纸本)0769502687

The suffix array is a string-indexing structure and a memory efficient alternative to the suffix tree. It has many advantages for text processing. We propose an efficient algorithm for sorting suffixes. We call this algorithm the two-stage suffix sort. One of our ideas is to exploit the specific relationships between adjacent suffixes. Our algorithm makes it possible to use the suffix array for much larger texts and suggests new areas of application. Our experiments on several text data sets (including 514-MB Japanese newspapers) demonstrate that our algorithm is 4.5 to 6.9 times faster than Quicksort, and 2.5 to 3.6 times faster than K. Sadakane's (1998) algorithm, which is considered to be the fastest algorithm in previous work. © 1999 IEEE.

关键词： Text processing

来源：评论

学校读者我要写书评

暂无评论

An efficient method for in memory construction of suffix arrays

An efficient method for in memory construction of suffix arr...

引用

String Processing and Information Retrieval Symposium (SPIRE)

作者： H. Itoh H. Tanaka Software Research Center Ricoh Company Limited USA Faculty of Engineering Computer Science Tokyo Institute of Technology Japan

关键词： Sorting Automata Natural languages Costs Indexing Data structures Dictionaries Natural language processing Tail Personal communication networks

来源：评论

学校读者我要写书评

暂无评论

Royal Academy of Medicine in Ireland - Section of Bioengineering - Proceedings of meeting held in Dundalk, Co. Louth, in February 1998.

引用

IRISH JOURNAL OF MEDICAL SCIENCE 1998年第4期167卷 256-276页

作者： [Anonymous] Orthopaedic Research Unit The Queen’s University of Belfast School of Biomedical Sciences The Queen’s University of Belfast Howmedica International Ltd. Raheen Industrial Estate Limerick Department of Mechanical Engineering Trinity College Dublin 2 Mater Hospital Dublin 7 Orthopaedic Research Laboratory Århus University Hospital Denmark University of Limerick Limerick Limerick Regional Hospital Raheen Limerick Boston Scientific Ireland Ltd. Galway Department of Mechanical Engineering University College Dublin Dublin Department of Electrical and Electronic Engineering University College Dublin Dublin Bioengineering Research Centre Department of Mechanical Engineering University College Dublin Dublin Northern Ireland Bio-Engineering Centre (NIBEC) School of Electrical and Mechanical Engineering University of Ulster Newtownabbey Department of Mechanical & Manufacturing Engineering The Ashby Building The Queen’s University of Belfast Johnson and Johnson Professional Orthopaedic Division Queensway England Department of Cardiology and Department of Medical Physics & Bioengineering St. James’s Hospital Dublin 8 Burke House Ellison Street Castlebar Royal College of Surgeons in Ireland Department of Surgery Beaumont Hospital Dublin Department of Electronic and Electrical Engineering Trinity College Dublin 2 Department of Aeronautical Engineering The Queen’s University of Belfast Vascular Unit Belfast City Hospital Department of Medical Physics and Bioengineering St. James’s Hospital Dublin 8 Centre for Biomedical Electronics Department of Electronic and Computer Engineering University of Limerick Limerick Department of Mechanical and Aeronautical Engineering University of Limerick Limerick School of Health Sciences University of Ulster Ireland School of Physiotherapy University of Ulster Newtownabbey Clinical Engineering NI Medical Physics Agency Belfast and Radiology Royal Victoria Hospital Musgrave Park Hospital University of Limerick Biomedical Institute (ULBMI) Uni

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：