Practices and Thinking of the Models Practices and Thinking of the - PDF document

Bi- -Trans in ABC 2010 Trans in ABC 2010, 15, March, Tokyo, Japan , 15, March, Tokyo, Japan Bi 可信 共享 协同 Practices and Thinking of the Models Practices and Thinking of the Models in Trustie E nvironment in Trustie E nvironment － National 863 Grand Project － National 863 Grand Project Trustworthy Software Tools and Integration Trustworthy Software Tools and Integration Environment (Trustie) Environment (Trustie) http://www.trustie.net Yin Gang, NUDT, Changsha Yin Gang, NUDT, Changsha, China , China Research Secretary of Trustie Project Research Secretary of Trustie Project Source 1: Huaimin Wang, Gang Yin, Trustworthy software evolution in Internet-era, CCCF, 6 (2), pp 28-36. Source 2: Trustie technical specifications and platforms, http://www.trustie.net, 2007-2010. Source 3: BT-in-ABC, 2009, 2008, 2007, and discussions in BT-in-ABC 2010. Contents Contents 可信 共享 协同 � � Trustie as a Trustworthy Software E Trustie as a Trustworthy Software E volution E volution E nvironment nvironment � � Trustie towards a F Trustie towards a F oundation for Model Interaction oundation for Model Interaction

Background of Trustie Background of Trustie 可信 共享 协同 We need Trustworthy We need Trustworthy Current Status of Technologies Current Status of Technologies and Infrastructures Software Systems and Infrastructures Software Systems � large scale � Software technologies � complexity • foundational software technologies � dynamic requirements • application software technologies � Internet technologies ABC � dynamic environments ABC PKU PKU � high availability • communication tools StarBus m iddlew are NUDT StarBus m iddlew are NUDT • software resources � high dependability … … … … • open source communities � high performance � Theoretical tools � high adaptability • social-networks � … • mathematical statistics � … Given enough eyeballs, all bugs are shallow… One Motivation of Trustie One Motivation of Trustie 可信 共享 协同 Trustworthy software are coming from trustworthy software evolution… Defect Fault Testing Handling Software Defect Fault Runtime Development System Evolution Handling Evolution Analysis Updating Management Management Defects Fault Reporting Monitoring Runtime Evolvement Runtime Evolvement Development Evolvement Development Evolvement eBanks Amazon Online 软件 360 SourceForge Chains Services 淘宝 GoogleCode Systems OW2 MySpace Linux Community Internet

One Motivation of Trustie One Motivation of Trustie 可信 共享 协同 key issues in architecture key issues in architecture- -based and component based and component- -based based software engineering include interactions of models, software engineering include interactions of models, such as transformation, mapping, sequentialization, … … such as transformation, mapping, sequentialization, We believe ： ： We believe Enhancing the model interactions between the two evolvement Enhancing the model interactions between the two evolvement stages will lead to efficient trustworthy software evolution, and d stages will lead to efficient trustworthy software evolution, an evolution data and evidences are foundation for these evolution data and evidences are foundation for these interactions. interactions. one Fantasy one Fantasy – – Evolvable Evolvable Model Interactions Model Interactions 可信 共享 协同 Models in Models in interaction rules Development Runtime interaction operations Stages (source) Stages (target) Get: update the target models Put: update the source models All these are data consuming…

Trustie - Trustie - Conceptual Blueprint Conceptual Blueprint Architecture Architecture 可信 共享 协同 Conceptual Trustie Architecture Conceptual Trustie Architecture Management of management of Management of management of software repository, and software version software repository, and software version quality evidences quality evidences and defects and defects Resource Management Project Service management Management Evidence Management Collaborative Collaborative Software Software develop tools develop tools Community-based config. tools config. tools Kernel Services Process Management of Process Monitoring Management of Monitoring mgt tools mgt tools diag. tools service status, faults diag. tools service status, faults Trustworthiness Software Trustworthiness Software and feedbacks evaluation composition and feedbacks evaluation composition tools tools tools tools Management of evidences Management of evidences Periphery Tools from project data, from project data, resource data, service Development EM resource data, service feedbacks feedbacks Runtime EM eBanks Amazon 软件 360 Online SourceForge Chains Services GoogleCode 淘宝 Systems OW2 Linux 社区 MySpace Internet Trustie - - Current Practical Architecture Current Practical Architecture Trustie 可信 共享 协同 Home - http://www.trustie.net Practical Trustie Environment Practical Trustie Environment Trustie common Trustie common Trustie common Community Community Community Trustie SRR Services Services Trustie SPLIF Trustie SRR Services Trustie SPLIF 资源管理 证据管理 生产线管理 任务管理 构件库 服务库 工具库 工具仓库 生产线配置 Trustie Forge Trustie Forge 项目管理 缺陷管理 应用领域 应用领域 协同开发 ： Kernel Services and Models ： 协同开发 软件版本库 缺陷库 生产线 Kernel Services and Models 生产线 工具集 工具集 构件资源 技术特征 构件资源 技术特征 (1) Collaboration Software Development (1) Collaboration Software Development 生产线 生产线 服务资源 服务组合 服务资源 服务组合 可信评估 可信评估 工具集 (2) Software Resource Management (2) Software Resource Management 工具集 工具集 工具集 (3) Framework of Software Production Lines (3) Framework of Software Production Lines (4) Software Trustworthy Evaluation (4) Software Trustworthy Evaluation eBanks Amazon Online 软件 360 SourceForge Chains Services 淘宝 GoogleCode Systems OW2 Linux 社区 MySpace Internet www.trustie.net

Kernel data generating Services in Trustie Kernel data generating Services in Trustie 可信 共享 协同 � Collaboration development environment � http://www.trustie.net, http://www.trustie.net/trustie/forge � online project repositories, svn , scm , ci , …, more than 350 projects � communication tools, im , ml , … Kernel data generating Services in Trustie Kernel data generating Services in Trustie 可信 共享 协同 � Software resource library � http://tsr.trustie.net � more than 16,000 software components and services � runtime service directories � online software ranking and evaluation

Kernel data Models in Trustie Kernel data Models in Trustie 可信 共享 协同 � Software production line (SPL) � The software development environment in which developers, tools and artifacts are orderedly organized and cooperate according to specified software development methods. � Technical-features-oriented SPL � Heterogeneous-Integration-oriented � Component-oriented � Service-oriented Data Flow � Monitoring-oriented Control Flow Kernel data Models in Trustie Kernel data Models in Trustie 可信 共享 协同 � Software trustworthy evidence models and specifications � Evidences at development stages � Evidences at release stages � Evidences at application stages

Trustie – – Towards Trustworthy Evolution Ecosystem Towards Trustworthy Evolution Ecosystem Trustie 可信 共享 协同 Components in Components in Components in Runtime Components in Runtime Components in Components in Runtime Development Environments Development Environments Software Systems Software Systems Development Environments Software Systems (Development Evolvement) (Development Evolvement) (Runtime Evolvement) (Runtime Evolvement) (Development Evolvement) (Runtime Evolvement) feedback analysis tools bug analysis social network tools tools test report… Tools for statistical Tools for statistical data data Tools for statistical data developer manipulation, mining, … manipulation, mining, … bug list… manipulation, mining, … Info … Trustie Trustie CDE, SRE CDE, SRE Software evolution data Software evolution data Software evolution data covering both evolving covering both evolving covering both evolving stages stages stages Contents Contents 可信 共享 协同 � � Trustie as a Trustworthy Software E Trustie as a Trustworthy Software E volution E volution E nvironment nvironment � � Trustie towards a F Trustie towards a F oundation for Model Interaction oundation for Model Interaction