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

FSE/SDP Workshop on the Future of software Engineering Research, FoSER 2010

作者： Schäfer, Wilhelm Birattari, Mauro Blömer, Johannes Dorigo, Marco Engels, Gregor O'Grady, Rehan Platzner, Marco Rammig, Franz Reif, Wolfgang Trächtler, Ansgar Heinz Nixdorf Institute University of Paderborn Fürstenallee 11 Paderborn Germany Heinz Nixdorf Institute University of Paderborn Pohlweg 98 Paderborn Germany Heinz Nixdorf Institute University of Paderborn Warburger Str. 100 Paderborn Germany Department of Computer Science University of Paderborn Warburger Str. 100 Paderborn Germany Department of Control Engineering and Mechatronics University of Paderborn Pohlweg 98 Paderborn Germany IRIDIA CoDE Université Libre de Bruxelles Ave. F. Roosevelt 50 1050 Brussels Belgium Department of Software Engineering and Programming Languages University of Augsburg Universitätsstr. 6a Augsburg Germany

ISBN: (纸本)9781450304276

It my great pleasure and honor to welcome you to FoSER 2010: The FSE/SDP Workshop on the Future of software Engineering Research. This workshop was organized in collaboration with and made possible by generous support from the software Design and Productivity Coordinating Group (SDP) of the U.S. National Coordination Office (NCO) for Networking and Information Technology Research and Development (NITRD), and the National Science Foundation (NSF). This one-time, international working conference has brought together top academic and industrial researchers and government research funding agency personnel from around the world to engage in an extended discussion of consequential new ideas about the future of our field. The ideas produced by this workshop will be disseminated in two forms. First, the position papers accepted by the program committee will be published in a companion to the Proceedings of FSE-18. Second, the workshop findings will be published subsequently in a special report by NITRD/SDP. The call for papers for FoSER 2010 solicited 4-page position papers with new ideas about the future of software and software-reliant systems, and the research that will be needed to meet future needs. Papers were expected to be creative and thought-provoking, and to articulate compelling new perspectives, positions, problem formulations, assumptions and approaches. The workshop did not seek, and did not accept, technical research papers or abstracts. The workshop received a total of 139 position papers. Of these, 90 papers (65%) were accepted. Each paper was reviewed by at least two members of the workshop program committee. The committee was asked to accept all papers presenting significant new ideas about how our field should move forward. Copyright 2010 ACM.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Mashup development for everybody: A planning-based approach

Mashup development for everybody: A planning-based approach

引用

3rd International Workshop on Service Matchmaking and Resource Retrieval in the Semantic Web, SMR2 2009, Collocated with the 8th International Semantic Web Conference, ISWC 2009

作者： Kubczak, Christian Margaria, Tiziana Steffen, Bernhard Department of Programming Systems TU Dortmund Germany Service and Software Engineering Universität Potsdam Germany

Today's service mashup technologies usually focus on assisting programmers to provide more powerful and valuable integrated applications to the users. A significant set of scripting languages, graphical tools and web services are used for this purpose, all addressing users with significant IT background. This paper aims at extending the power of mashup development to end users and application experts by automatically taking care of the tedious technical details like interface speci fications, types, and syntactic constraints. In detail we support simple and intuitive mashup specifications which are automatically completed to runnable mashups by means of service discovery-like methods and planning. We illustrate our approach by means of a concrete case study executed within our jABC/jETI development and (remote) execution framework.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Supporting process development in Bio-jETI by model checking and synthesis

Supporting process development in Bio-jETI by model checking...

引用

Workshop on Semantic Web Applications and Tools for Life Sciences, SWAT4LS 2008

作者： Lamprecht, Anna-Lena Margaria, Tiziana Steffen, Bernhard Programming Systems Dortmund University of Technology 44227 Dortmund Germany Service and Software Engineering Potsdam University 14482 Potsdam Germany

Bio-jETI is a platform for the intuitive graphical design and execution of bioinformatics workows composed from heterogeneous remote services. In this paper we use a simple phylogenetic analysis process to show how formal approaches like model checking and process synthesis can be applied to further support the workow development in Bio-jETI. To unfold their full potential these methods need a comprehensive knowledge base about the domain, containing semantic information about the single services as well as ontological classifications of the used terms. We outline how to systematically integrate these semantic web concepts into our framework and discuss the implications on checking and synthesis.

关键词： Bioinformatics

来源：评论

学校读者我要写书评

暂无评论

People-Oriented Enterprise Information Systems

引用

INTERNATIONAL JOURNAL OF ENTERPRISE INFORMATION SYSTEMS 2009年第4期5卷 17-33页

作者： Bruno, Giorgio Politecn Torino Software Engn & Objectoriented Programming Turin Italy

Current notations and languages do not emphasize the participation of users in business processes and consider them essentially as service providers. Moreover, they follow a centralized approach as all the interactions originate from or end in a business process;direct interactions between users cannot be represented. What is missing from this approach is that human work is cooperative and cooperation takes place through structured interactions called conversations;the notion of conversation is at the center of the language/action perspective. However, the problem of effectively integrating conversations and business processes is still open and this chapter proposes a notation called POBPN (People-Oriented Business Process Notation) and a perspective, referred to as conversation-oriented perspective, for its solution.

关键词： Business Process Conversation Interaction Interaction Net Language/Action Perspective Orchestration Petri Net Sequence Diagram User Task

来源：评论

学校读者我要写书评

暂无评论

Maintenance, or the 3rd Dimension of eXtreme Model-Driven Design

Maintenance, or the 3rd Dimension of eXtreme Model-Driven De...

引用

IEEE International Conference on software Maintenance

作者： Steffen, Bernhard Joerges, Sven Wagner, Christian Margaria, Tiziana TU Dortmund Chair Programming Syst D-44227 Dortmund Germany Univ Potsdam Chair Serv & Software Engn D-14482M Potsdam Germany

ISBN: (纸本)9781424448975

Service orientation leads to a completely new understanding and a much more end-user oriented tailoring of software design. We advocate a new software development paradigm: eXtreme Model-Driven Design (XMDD), designed to continuously involve the customer/application expert throughout the whole system's life cycle, including development and software maintenance. As maintenance is predominantly an adoption to new user requirements or to other global conditions, empowering the application expert would change the scene: Customer/application experts could rapidly adapt the system to their changing requirements. Source code becomes "only" a by-product and the development focuses on the model level. This paper presents a new development paradigm which realizes these ideas.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Semantics-based composition of EMBOSS services with Bio-jETI

Semantics-based composition of EMBOSS services with Bio-jETI

引用

Workshop on Semantic Web Applications and Tools for Life Sciences, SWAT4LS 2009

作者： Lamprecht, Anna-Lena Naujokat, Stefan Steffen, Bernhard Margaria, Tiziana Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany University Potsdam Department of Service and Software Engineering Potsdam D-14482 Germany

Bio-jETI is a framework for model-based, graphical design, execution and management of bioinformatics analysis processes. Formal methodology like automatic service composition extends the framework and, in particular, allows for semantically aware workow development. In this study we apply the workow synthesis methodology to the EMBOSS suite of sequence analysis tools. As neither the tool suite itself nor its various interfaces provide ready-to-use semantic annotations, we set up a domain model that uses a high-level, semantically meaningful type nomenclature to describe the input/output behavior of the single EMBOSS tools. Based on this domain model, we demonstrate how working with the large, heterogeneous, and hence manually intractable EMBOSS collection is simplified by our service composition methodology.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Model-Driven Code Generation for Secure Smart Card Applications

Model-Driven Code Generation for Secure Smart Card Applicati...

引用

Australian Conference on software Engineering

作者： Nina Moebius Kurt Stenzel Holger Grandy Wolfgang Reif Department of Software Engineering and Programming Languages University of Augsburg Germany

ISBN: (纸本)9781424437689

SecureMDD is a model-driven approach to develop secure systems with a special focus on smart card applications. Based on a platform-independent UML model of the system under development we generate a platform-specific model, and finally executable code. The Secure MDD approach also allows to generate a formal specification where security properties can be proven formally. In this paper we describe the automatic generation of Java Card code from UML class and activity diagrams in detail. The full code running on the smart card is generated which is not trivial because of the limitations of smart cards and the specialties of Java Card.

关键词： Smart cards Application software Security Java software engineering Unified modeling language Formal specifications Service oriented architecture Protocols Computer languages

来源：评论

学校读者我要写书评

暂无评论

SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications

SecureMDD: A Model-Driven Development Method for Secure Smar...

引用

International Conference on Availability, Reliability and Security, ARES

作者： Nina Moebius Kurt Stenzel Holger Grandy Wolfgang Reif Department of Software Engineering and Programming Languages University of Augsburg Germany

In this paper we introduce our model-driven software engineering method, called SecureMDD, which facilitates the development of security-critical applications that are based on cryptographic protocols. The approach seamlessly integrates the generation of code and formal methods. Starting with a platform-independent UML model of a system under development, we generate executable Java (Card) code as well as a formal model from the UML model. Subsequent to this, the formal model is used to verify the security of the modeled system. Our goal is to prove that the generated code is correct w.r.t. the generated formal model in terms of formal refinement. The approach is tailored to the domain of security-critical systems, e.g. smart card applications.

关键词： Smart cards Unified modeling language Security Java Application software software engineering Cryptographic protocols Availability Computer languages Electronic mail

来源：评论

学校读者我要写书评

暂无评论

Work in progress - IEEEXtreme: From a student competition to the promotion of real-world programming education

Work in progress - IEEEXtreme: From a student competition to...

引用

39th Annual Frontiers in Education Conference: Imagining and Engineering Future CSET Education, FIE 2009

作者： MacHado, Ricardo J. Guerreiro, Pedro Johnston, Elizabeth Delimar, Marko Brito, Miguel A. University of Minho Portugal Department of Software Engineering United States University of Algarve Portugal Department of Computer of Programming United States University of Alaska Fairbanks United States University of Zagrab Croatia

ISBN: (纸本)9781424447152

IEEEXtreme is an IEEE Student Activities Committee initiative to create a worldwide programming contest for IEEE Student Branches. The success of the past editions and the way IEEEXtreme is evolving, suggests that it will become the only worldwide competition capable of promoting the computer programming skills of collegiate students within a global software engineering approach of real-world programming problems. Real-world problems that require programming skills are invariably framed within a software engineering approach, where code writing is just the visible dimension of the global effort. Professionals are increasingly compelled to work in multidisciplinary contexts where soft skills are as important as technical ones. This reality should be expressly considered when educational courses are planned to teach programming techniques at undergraduate level. This paper discusses the positive impact that worldwide events like IEEEXtreme might have on the adoption of Problem Based Learning approaches in programming education at undergraduate computing degree programs. ©2009 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

A Global Operating System for HPC Clusters

A Global Operating System for HPC Clusters

引用

IEEE International Conference on Cluster Computing (Cluster 2009)

作者： Betti, Emiliano Cesati, Marco Gioiosa, Roberto Piermaria, Francesco Univ Roma Tor Vergata Syst Programming Res Grp Via Politecn 1 I-00133 Rome Italy IBM Corp TJ Watson Res Ctr BlueGene Software Div Yorktown Hts NY 10458 USA

ISBN: (纸本)9781424450114

Modern supercomputers consist of clusters of thousands of independent nodes interconnected through fast networks. These nodes run independent operating system kernels, thus synchronization among them is demanded for user mode programs. This means that temporal synchronization of the nodes is a daunting task. On the other hand, HPC cluster applications often require a rather strict temporal synchronization for activities like performance analysis, application debugging, or data checkpointing. Therefore, the performance of an RPC parallel application may be severely impaired by the lack of temporal synchronization among the activities of the nodes of the cluster;this poses a severe limit on the scalability of such architectures. In this paper we introduce CAOS, an extension of the Linux kernel that aims to address the temporal synchronization problems of modern HPC clusters. We describe the general ideas behind CAOS, and we discuss some details of a possible implementation. We also illustrate some experiments performed on a prototype implementation of CAOS including a centralized network time tick, which allows a master node to synchronize the activities of all other nodes in the cluster, and a specific task scheduler tailored for HPC applications. These experiments, performed on a modern HPC cluster, witness that this new component has no measurable impact on the efficiency of the nodes while reducing the OS noise and providing better performance prediction. An implementation of CAOS based on this component can achieve a significant gain in terms of synchronization, global control, and scalability of the cluster.

关键词： Synchronization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：