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

2013 IEEE 9th World Congress on Services, SERVICES 2013

作者： Hale, Matthew L. Gamble, Michael T. Gamble, Rose F. Software Engineering and Architecture Team Tandy School of Computer Science University of Tulsa Tulsa OK United States

ISBN: (纸本)9780768550244

The service cloud model allows hosted services to be dynamically provisioned and composed as part of larger, more complex cloud applications. Compatibility of interaction and quality of service are important to provisioning similar services available in the cloud to a client request. Auditing individual services, the composition and its outcome, and the overall cloud resources, used for monetary assessment or to ensure critical operations, also provide properties for reasoning over service and composition capabilities. Security policies and potential violations pose a threat to the composition since sensitive data may be leaked if information flow control guarantees cannot be proven. Service engineering lacks design principles and an expression infrastructure for formal representation and reasoning within a service cloud model. Reasoning over service compositions requires a formal language that can express multiple service and cloud properties. In this paper, we use coordination language techniques to express services, their interaction capabilities and information sharing constraints, and the infrastructure of a service cloud model in which services can be accurately provisioned, composed and reasoned over to provide necessary guarantees. We discuss lessons learned from the process of formulating the service representation and cloud model infrastructure. © 2013 IEEE.

关键词： Formal languages

来源：评论

学校读者我要写书评

暂无评论

Security controls applied to Web service architectures

Security controls applied to Web service architectures

引用

19th International Conference on software engineering and Data engineering 2010, SEDE 2010

作者： Baird, R. Gamble, R. Software Engineering and Architecture Team Department of Computer Science University of Tulsa 800 S. Tucker Drive Tulsa OK 74104 United States

ISBN: (纸本)9781617386077

Security certification assesses the security posture of a software system to verify its compliance with diverse, pre-specified security controls identified by guidelines from NIST and the US Department of Defense. Service-oriented architectures (SOA) are difficult to certify because they require compliance verification over a mix of local, global, and interaction criteria dictated by the policies of the participating services and SOA governance. Web services further contribute to this difficulty because they lack direct methods to express security controls. Besides being understandable, the method of expression should indicate potential problems complying with chosen services. This paper presents a method for configuring of web service standards to enforce security requirements on service interaction specification documents within a SOA. The outcome serves as a mechanism to direct the population of constraints derived from security controls within standards specification documents, such as WS-Policy. We focus on security controls for auditing and how these can be enforced in an SOA. We introduce a reusable architecture to notate the comparison of security controls across services.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Using Δ-federations for on-demand crisis situation response

Using Δ-federations for on-demand crisis situation response

引用

19th International Conference on software engineering and Data engineering 2010, SEDE 2010

作者： Baird, R. Gamble, R. Software Engineering and Architecture Team Department of Computer Science University of Tulsa 800 S. Tucker Drive Tulsa OK 74104 United States

ISBN: (纸本)9781617386077

Dynamic, service-based systems offer powerful resources for knowledge and information processing in a crisis situation. These systems need efficient strategies to integrate diverse services under the stress of an emergency to capture, organize, and disseminate appropriate information. These strategies require a combination of service discovery, 'mashing', and orchestration given workflow task templates that can be instantiated and deployed on demand. In this paper, we introduce the Δ-Federation reference architecture for on-demand emergency management systems (ODEMS). The Δ-Federation provides the foundation for incorporating these strategies that consider type, availability, and requirements of services as historically understood by users in similar crisis events.

关键词： Risk management

来源：评论

学校读者我要写书评

暂无评论

Identifying evolvability for integration 1st

引用

1st International Conference on COTS-Based software Systems, ICCBSS 2002

作者： Davis, L. Gamble, Rose Software Engineering and Architecture Team Department of Mathematical and Computer Sciences University of Tulsa 600 S. College Ave TulsaOK74104 United States

ISBN: (纸本)3540431004

The seamless integration of commercial-off-the-shelf (COTS) components offers many benefits associated with reuse. Even with successful composite applications, unexpected interoperability conflicts can arise when COTS products are upgraded, new components are needed, and the application requirements change. Recent approaches to integration follow pattern-based design principles to construct integration architecture for the composite application. This integration architecture provides a design perspective for addressing the problematic interactions among components within the application environment. However, little attention has been paid to the evolvability of these architectures and their embedded functionality. In this paper, we discuss the need for design traceability based on the history of interoperability conflicts and resolution decisions that comprise the integration architecture. Additionally, we advocate that certain functional aspects of a pattern can be pinpointed to resolve a conflict. Combining these two aspects of integration architecture design, we illustrate that often evolution is possible with minimal changes to the integration solution. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

Merging integration solutions for architecture and security mismatch 1st

引用

1st International Conference on COTS-Based software Systems, ICCBSS 2002

作者： Payton, Jamie Jónsdóttir, Gerður Flagg, Daniel Gamble, Rose Software Engineering and Architecture Team Department of Mathematical and Computer Sciences University of Tulsa 600 S. College Ave TulsaOK74104 United States

ISBN: (纸本)3540431004

Integrating COTS products into a composite application can reduce development effort and associated costs. A major drawback comes from interoperability problems that hinder the seamless integration of components. Two types of problems are prominent: architecture mismatch and security mismatch. Because of their distinct properties, each problem is currently analyzed separately. The results are integration solutions that are constructed in isolation. Combining these solutions can yield another set of problems if their functionality is conflicting, duplicated, or overly complex. It is imperative to address these issues in component based software development. In this paper, we depict the architectural differences among components, their security access control policies, and the integration solutions that result from independent analysis. This is the first step toward including architectural interoperability issues and security conflicts in the design of an encompassing solution for an integrated application. We show a composition of the two solutions, highlighting redundancy and complexity. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

Dynamically Changing Workflows of Web Services

Dynamically Changing Workflows of Web Services

引用

IEEE World Congress on Services (SERVICES)

作者： M. Hepner R. Baird R. Gamble Software Engineering and Architecture Team University of Tulsa Tulsa USA

Workflow reconfiguration traditionally modifies only workflow definitions. Incorporating dynamism in Web service workflows should also adapt instance execution as services change availability. Commercial workflow engines lack mechanisms to adapt instances except where instances deploy with all possible workflow paths, to achieve pseudo-dynamism. This error prone method has the potential for unsound specifications and still does not allow runtime modifications. We perform workflow reconfiguration through an inspection-feedback loop that decouples services specifications and priorities that can change BPEL workflows from their actual execution. When a change occurs, such as service unavailability, immediate adaptation of the workflow instance takes place. To guarantee proper reconfiguration, we formally specify the architecture, interactions, and change directives, according to a natural separation of reconfiguration concerns. We prove the workflow instance will correctly adapt to an alternative service when certain conditions are met.

关键词： Web services Availability Runtime Engines Formal specifications Crisis management software engineering Computer architecture Service oriented architecture Business

来源：评论

学校读者我要写书评

暂无评论

A Design and Verification Framework for Service Composition in the Cloud

A Design and Verification Framework for Service Composition ...

引用

IEEE World Congress on Services

作者： Matthew L. Hale Michael T. Gamble Rose F. Gamble Software Engineering and Architecture Team University of Tulsa Tulsa OK USA

关键词： service composition service cloud coordination languages

来源：评论

学校读者我要写书评

暂无评论

FACT: A fusion architecture with contract templates for semantic and syntactic integration

FACT: A fusion architecture with contract templates for sema...

引用

IEEE International Conference on Information Reuse and Integration (IRI)

作者： R. Gamble R. Baird L. Flagg M. McClure Software Engineering & Architecture Team University of Tulsa Tulsa OK USA Sentar Inc. Huntsville AL USA

Linking components with end-user requests for processing is problematic when there are fundamental language differences between component specifications and how individual users state their needs. Appropriate components may not exist, the users may not know if a component exists until a one matching their requirements is generated, or the users may adjust their requirements. For complex systems governed by a community of interest, we introduce a Fusion architecture coupled with Contract Templates (FACT). The Fusion architecture assists with syntactic and semantic unification of user directives. Contract Templates provide a standardized mechanism to collect heterogeneous systems within domains of interest. Based upon specific analysis of each component, Contract Templates attach connectors to generate integrated systems to which queries can be directed. A case study demonstrates how FACT enables military analysts to direct the use of simulation software for the experimentation of command and control behaviors within missions.

关键词： Communities Contracts Connectors Ontologies Computer architecture software Joining processes

来源：评论

学校读者我要写书评

暂无评论

IDEA - An information superstructure 2

IDEA - An information superstructure

引用

2nd DARPA Information Survivability Conference and Exposition (DISCEX II)

作者： Tallet, JO Henning, RR Fox, KL IDEA Project United States Harris' Software Architecture Tools Methods and Technology Team United States Harris Corporation's Government Communications Systems Division United States Information Assurance Center of Excellence United States Harris Engineering Process Group United States IEEE IEEE Computer Society United States

ISBN: (纸本)0769512127

This past October, the Associated Press reported that for over a month hackers effectively penetrated Microsoft's firewall and, potentially, had access to source code for future products. Over the past year, reported commercial espionage has been increasing steadily. These events underscore the necessary for security engineers to define and implement strong information assurance infrastructures. The concept of defense in depth is used to provide sufficient detection and defensive countermeasures to ensure an enterprise's information is protected. Over the past three years, Harris has conducted research leading to the development of an assurance superstructure tool: the Integrated Design Environment for Assurance (IDEA). Building upon concepts developed during the Network Vulnerability Tool (NVT) program, the IDEA program refined the design and provides a comprehensive assurance analysis superstructure. The IDEA program benifited from the NVT architecture to gain greater adaptive capabilities to address the evolving capabilities of external vulnerability assessment and risk management tools. This re-architected solution builds upon lessons learned during the NVT project.

关键词： architecture patterns FuzzyFusion(Tm) data fusion fuzzy information operations information security

来源：评论

学校读者我要写书评

暂无评论

Systematic Literature Review on Agile, Cloud, and Devops Integration: Challenges, Benefits

SSRN

引用

SSRN 2024年

作者： El Aouni, Fatiha Moumane, Karima Idri, Ali Najib, Mehdi Jan, Saeed Ullah Software Project Management Research Team National School of Computer Science and Systems Analysis Mohammed V University in Rabat Rabat10112 Morocco MSDA University Mohamed VI Polytechnic Ben Guerir Morocco TICLab College of Engineering and Architecture International University of Rabat Sala Al Jadida Morocco Higher Education Department Govt Degree College Wari Dir Upper 18200 Pakistan

Context : In today’s fast-paced digital landscape, integrating DevOps, cloud, and agile methodologies is crucial for meeting software demands. However, this integration remains *** : This study explores the integration of Agile, Cloud, and DevOps in today’s software development landscape. It aims to analyze the challenges and benefits associated with merging these three approaches, focusing on its impact on software testing and the role of mindset in successful implementation and identifying the most suitable Agile *** : This investigation utilizes a Systematic Literature Review(SLR) to enrich comprehension of these integrations in current software development *** : The analysis of 31 articles highlights benefits such as improved collaboration and accelerated development, despite challenges with tool proliferation. Platforms like Jenkins, GitLab, Kubernetes, and Docker show promise in addressing these complexities. Our study examines the advantages and challenges of this integration, focusing on its impact on software testing and the role of mindset in successful implementation and identifyingthe most suitable Agile *** : The integration of Agile, DevOps, and Cloud signifies a vital move towards collaborative, scalable, and automated methods, crucial for swift delivery, enhanced quality, and ongoing competitiveness. This unified approach is fundamental for organizational advancement and innovation in the ever-evolving software development realm. Further research should tackle challenges in merging these methods and delve into their interactions with emerging technologies to refine practices for increased efficiency. © 2024, The Authors. All rights reserved.

关键词： Integration

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：