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

5th International Workshop on programming Multi-Agent systems

作者： Bauer, Bernhard Mueller, Jorg P. Roser, Stephan Univ Augsburg Programming Distributed Systems Lab Univ Str 14 D-86135 Augsburg Germany Tech Univ Clausthal Dept Informat D-38678 Clausthal Zellerfeld Germany

ISBN: (纸本)9783540790426

Multiagent systems have been proposed in the literature as a suitable architectural and implementation approach for cross-enterprise collaboration, due to their support for decentral decision-making and peer-to-peer coordination, loosely coupled interaction, modeling support for the notion of electronic institutions, and built-in adaptability mechanisms. While we agree with this general view, we argue that different application domain and different market constellations require different types of architecture. In this paper we look at the specific problem of selecting an information and communication technology (ICT) architecture for cross-enterprise business process (CBP) design and enactment. Therefore we identify three important architectural patterns for CBP enactment. We then propose a decision method for architecture selection based on the analytic hierarchy process (AHP) approach. Finally we illustrate the method by applying it to two application scenarios with differing characteristics. Robustness of the decision method is analyzed by performing a sensitivity analysis.

关键词： Software architecture

来源：评论

学校读者我要写书评

暂无评论

A survey on workflow annotation & composition approaches

A survey on workflow annotation & composition approaches

引用

Workshop on Semantic Business Process and Product Lifecycle Management, SBPM 2007 - Held in Conjunction with the 3rd European Semantic Web Conference, ESWC 2007

作者： Lautenbacher, Florian Bauer, Bernhard Programming Distributed Systems Lab. University of Augsburg Germany

Efficient business processes are key to economic success. With the need to frequently adapt or restructure business processes and workflows in a dynamic market, agile processes and (semi-)automatic workflow and process composition would be useful. Currently, this is a manual and time-consuming task. Automating and optimizing this task is of high interest in research communities. Nevertheless, the orientation differs: Some focus on semantic web services, others on Grid workflows or concentrate on business process management. In this paper we present a survey of available workflow annotation and composition approaches in all of these areas. We additionally categorize and compare them and describe future work.

关键词： Surveys

来源：评论

学校读者我要写书评

暂无评论

Modeling semantic web services using UML 2

Modeling semantic web services using UML 2

引用

3rd International Workshop on Model-Driven Enterprise Information systems - MDEIS 2007;In Conjunction with ICEIS 2007

作者： Lautenbacher, Florian Bauer, Bemhard Programming Distributed Systems Lab. Institute of Computer Science University of Augsburg Germany

ISBN: (纸本)9789898111005

The development of web services and especially semantic web services is a tremendous task for people who are not familiar with all language constructs. Especially with the growing mass of several semantic web service approaches a language-independent service development is needed. This gap can be filled by using model-driven software development. Therefore, in this paper we introduce a meta-model for semantic web services and show the benefits of automatic code generation on the basis of a small example.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

CONTROL SYSTEM DESIGN CONSIDERING A TRADEOFF BETWEEN EVALUATED UNCERTAINTY RANGES AND CONTROL PERFORMANCE

引用

Asian Journal of Control 2008年第1期1卷

作者： Y. Wakasa Y. Yamamoto Dept. of Applied Analysis and Complex Dynamical Systems Graduate School of Informatics Kyoto University Kyoto Japan. Yuji Wakasa was born in Okayama Japan in 1968. He received the B.S. and M.S. degrees in engineering from Kyoto university Japan in 1992 and 1994 respectively. From 1994 to 1998 he was a Research Associate in the Department of Information Technology Okayama University. Since April 1998 he has been a Research Associate in the Graduate School of Informatics Kyoto University. His current research interests include robust control and control system design via mathematical programming. Yutaka Yamamoto received his B.S. and M.S. degrees in engineering from Kyoto University Kyoto Japan in 1972 and 1974 respectively and the M.S. and Ph.D. degree in mathematics from the University of Florida in 1976 and 1978 respectively. From 1978 to 1987 he was with Department of Applied Mathematics and Physics Kyoto University and from 1987 to 1997 with Department of Applied System Science. Since 1998 he is a professor at the current position. His current research interests include realization and robust control of distributed parameter systems learning control sampled-data systems and digital signal processing. Dr. Yamamoto is a receipient of the Sawaragi memorial paper award (1985) the Outstanding Paper Award of SICE (1987) Best Author Award of SICE (1990) the George Axelby Outstanding Paper Award of IEEE CSS in 1996 Takeda Paper Prize of SICE in 1997. He is a Fellow of IEEE. He was an associate editor of Automatica. He is currently an associate editor of IEEE Transactions on Automatic Control Systems and Control Letters and Mathematics of Control Signals and Systems. He is a member of the IEEE the Society of Instrument and Control Engineers (SICE) and the Institute of Systems Control and Information Engineers.

This paper presents a design method of control systems such that a designer can flexibly take account of tradeoffs between evaluated uncertainty ranges and the level of control performance. The problem is reduced to a BMI problem and approximately solved by LMIs. The convergence of the proposed approximation is proved in a modified sense. A numerical example shows the effectiveness of the proposed method in comparison with the standard robust control.

关键词： Control system design LMI BMI tradeoff curves

来源：评论

学校读者我要写书评

暂无评论

Semantic-enabled software engineering and development

Semantic-enabled software engineering and development

引用

36th Jahrestagung der Gesellschaft fur Informatik e.V. (GI): Informatik fur Menschen, INFORMATIK 2006

作者： Bauer, Bernhard Roser, Stephan Programming of Distributed Systems University of Augsburg 86135 Augsburg Germany

ISBN: (纸本)9783885791881

Like in automotive and other production oriented domains industrialization was the key issue for reducing production costs and bein competitive. However software is still developed mainly from scratch in a labour intensive way. In order to be competitive with e.g. low-wage countries the software development process has to be industrialized and automated. The model-driven software development approach as well as Semantic Web technologies can help to support such software industrialization. Therefore in this position paper we will set up a vision and give concrete examples how semantic enabled software development can look like and give a first architecture of a development environment supporting this vision.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Data flow analysis as model checking within the jABC

Data flow analysis as model checking within the jABC

引用

2006 Fachtagung des GI-Fachbereichs Softwaretechnik, Software Engineering 2006 - 2006 Conference of the GI Division on Software Engineering, Software Engineering 2006

作者： Lamprecht, Anna-Lena Margaria, Tiziana Steffen, Bernhard Service Engineering for Distributed Systems Universität Göttingen Germany Programming Systems Universität Dortmund Germany

来源：评论

学校读者我要写书评

暂无评论

Model-based design of distributed collaborative bioinformatics processes in the jABC

Model-based design of distributed collaborative bioinformati...

引用

IEEE International Conference on Engineering of Complex Computer systems

作者： T. Margaria C. Kubczak M. Njoku B. Steffen Chair Servce and Software Engineering University of Potsdam Potsdam Germany Chair of Programming Systems University of Dortmund Dortmund Germany Chair of Service Engineering for Distributed Systems University of Göttingen Gottingen Germany

Our approach to the model-driven collaborative design of workflows for bioinformatic applications uses the jABC for model driven mediation and choreography to complement a Web service-based elementary service provision. jABC is a framework for service development based on lightweight process coordination. Users (product developers and system/software designers) develop services and applications by composing reusable building-blocks into (flow-)graph structures that can be animated, analyzed, simulated, verified, executed, and compiled. This way of handling the collaborative design of complex processes has proven to be effective and adequate for the cooperation of non-programmers (in this case biologists) and technical people, and it is now being rolled out in the operative practice

关键词： Collaboration Bioinformatics Collaborative work Application software Mediation Software reusability Software systems Software design Animation Biological system modeling

来源：评论

学校读者我要写书评

暂无评论

Aggressive model-driven development: Synthesizing systems from models viewed as constraints

Aggressive model-driven development: Synthesizing systems fr...

引用

Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme - Workshop on Model-Based Development of Embedded systems, MBEES 2005

作者： Margaria, Tiziana Steffen, Bernhard Service Engineering for Distributed Systems Institute for Informatics University of Göttingen Germany Department of Programming Systems University of Dortmund Germany

We propose an aggressive version of model-driven development (AMDD) 1, which moves most of the recurring problems of compatibility and consistency of software (mass-) construction and customization from the coding and integration level to the modelling level. AMDD requires a complex preparation of adequate settings, supporting the required automation. However, the effort to create these settings can be easily paid off by immense cost reductions in software mass-construction and maintenance. In fact, besides reducing the costs, AMDD will also lead towards a kind of normed software development, making software engineering a true engineering activity.

关键词： Cost reduction

来源：评论

学校读者我要写书评

暂无评论

A categorization of collaborative business process modeling techniques

A categorization of collaborative business process modeling ...

引用

IEEE International Conference on E-Commerce Technology Workshops

作者： S. Roser B. Bauer Programming Distributed Systems Lab Institute of Computer Science University of Augsburg Germany

Business process modeling (BPM) is one of the key factors in defining service-oriented solutions for business collaborations. Like in traditional software engineering there is a need for adaptable methodologies to develop information and communication technology (ICT) systems supporting collaborative business processes. In this work we introduce a categorization for the classification of modeling languages and approaches used to model collaborative business processes. Considering an example, we show how the classification of modeling languages and approaches facilitates the development of methodologies for collaborative business processes.

关键词： Collaboration Standardization Collaborative work Application software Software engineering Collaborative software Service oriented architecture Standards organizations Standards development Computer science

来源：评论

学校读者我要写书评

暂无评论

MaTRICS: a management tool for the remote intelligent configuration of (pervasive) systems

MaTRICS: a management tool for the remote intelligent config...

引用

IEEE/ACS International Conference on Pervasive Services (ICPS)

作者： M. Bajohr T. Margaria Chair of Programming Systems University of Dortmund Germany Service Engineering for Distributed Systems Universität Gottingen Germany

With MaTRICS, we describe an architecture for pervasive management of distributed systems. It allows remotely connected users (e.g., system administrators) to modify the configuration of any service provided by a specific (application) server, like email-, news- or Web-servers. Novel to our approach is that the system can manage configuration processes on heterogeneous software- and hardware- platforms, which are performed from a variety of peripherals unmatched in today's practice. In this sense, we realize a sort of pervasive system management, where devices like mobile phones, faxes, PDAs are enabled to be used by system managers as remote system configuration and management tools.

关键词： Remote monitoring Application software Personal digital assistants Mobile handsets Spine Computer architecture Condition monitoring distributed computing Pervasive computing Ubiquitous computing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：