第3回先端ソフトウェア科学・工学に関するGRACEセミナー

主 催: NII 先端ソフトウェア工学国際研究センター(GRACEセンター)
日 時:2008年6月10日(火)13:30-17:00
場 所:国立情報学研究所(NII) 20階 セミナー室1 (地図)
参加費:無料
お問い合わせ先:胡振江(Zhenjiang Hu) (hu _AT_ nii.ac.jp)
プログラム:
13:30-14:30Relating Requirements and Architecture Models
Emmanuel Letier
14:30-15:30SQUARE Details and Research Directions
Nancy R. Mead
16:00-17:00Requirements Modelling for Trustworthy Software and Systems
Lin Liu

▼プログラム
13:30-14:30 Relating Requirements and Architecture Models
Speaker:Emmanuel Letier

Abstract:Relating requirements and architecture is a critical activity of the software development process for which little systematic support is currently available. Although the general principles are well understood, there is still a lack of systematic techniques to guide the intertwined elaboration of requirements and architecture models and to reason formally about their relations. During this talk, we will examine ongoing work to provide the formal foundation and automated tool support for relating goal-oriented requirements models and event-based architecture models. We will expose subtle differences that exist between these widely used paradigms and investigate how these can be surmounted in order to provide efficient tool support.

Biography: Emmanuel Letier is lecturer and programme director for the MSc in Software Systems Engineering in the Department of Computer Science, University College London. His research interests are in systems requirements engineering, formal specification, and software design.

14:30-15:30 SQUARE Details and Research Directions
Speaker:Nancy R. Mead

Abstract: Through the SQUARE project, CERT researchers have developed an end-to-end process for security requirements engineering to help organizations build security into the early stages of the production life cycle. The SQUARE methodology consists of nine steps that generate a final deliverable of categorized and prioritized security requirements. In this presentation we will go through the SQUARE steps in detail. We will then discuss current research activities: 1) SQUARE-Lite – an abbreviated version of SQUARE, and 2) SQUARE integrated into various lifecycle models.

Biography:Nancy R. Mead is a senior member of the technical staff in the Networked Systems Survivability Program at the Software Engineering Institute (SEI). The CERT Coordination Center is a part of this program. Mead is also a faculty member in the Master of Software Engineering and Master of Information Systems Management programs at Carnegie Mellon University. She is currently involved in the study of secure systems engineering and the development of professional infrastructure for software engineers. She also served as director of education for the SEI from 1991 to 1994. Her research interests are in the areas of information security, software requirements engineering, and software architectures. Mead has more than 100 publications and invited presentations, and has a biographical citation in Whos Who in America. She is a Fellow of the Institute of Electrical and Electronic Engineers, Inc. (IEEE) and the IEEE Computer Society and is also a member of the Association for Computing Machinery (ACM). Mead is a member of numerous advisory boards and committees. Dr. Mead received her PhD in mathematics from the Polytechnic Institute of New York, and received a BA and an MS in mathematics from New York University.

16:00-17:00 Requirements Modelling for Trustworthy Software and Systems.
Speaker:Lin Liu

Abstract: This talk with incorporate our on-going work since 2000 on modelling trust in i*. The i* framework was developed to support requirement analysis and high-level design in an agent-oriented system development paradigm. It models intentional dependency relationships among strategic actors and their rationales. As actors depend on each other for goals to be achieved, tasks to be performed, and resources to be furnished, the trust relationships among these actors need to be considered to reason about the opportunities and vulnerabilities these dependencies bring. The concept of softgoal is used to model quality attributes for which there are no a priori, clear-cut criteria for satisfaction, but are judged by actors as being sufficiently met (“satisficed”) on a case-by-case basis. In this paper, trustworthiness is treated as a softgoal to be satisficed from the viewpoint of each stakeholder. Contributions to trustworthiness are considered using a qualitative reasoning approach. Examples from the smart card domain are used to illustrate.

Biography:Lin Liu is associate professor at the School of Software, Tsinghua University, Beijing, China. She received her Ph.D. in Computer Science from the Chinese Academy of Sciences. Her interests are in the areas of requirements engineering, knowledge management, software engineering, and service sciences. Her research emphasizes concepts and techniques for modelling and systematically analyzing social actors, and building intelligent software agents that can reason and learn.

※プログラムは予告なく変更される場合もありますのでご了承ください。

カテゴリー: 研究, セミナー パーマリンク

コメントは停止中です。