A Precise Characterization of Software Component Interfaces
نویسنده
چکیده
This paper discusses the secure Tropos methodology. This is the first paper in the literature that discusses all the aspects of the methodology as it has evolved over the last 10 years. In particular, the paper discusses the Secure Tropos modeling language, the security aware process of the methodology, and it also introduces the secTro, an automated tool to support the methodology.
منابع مشابه
Learning Component Interfaces with May and Must Abstractions
Component interfaces are the essence of modular program analysis. In this work, a component interface documents correct sequences of invocations to the component’s public methods. We present an automated framework that extracts finite safe, permissive, and minimal interfaces, from potentially infinite software components. Our proposed framework uses the L* automata-learning algorithm to learn f...
متن کاملExtracting High-level Architecture from Existing Code with Summary Models
Evolution of existing large telecommunications software currently became an important issue. Efficient methods are needed to componentize existing software identify existing components and gradually improve their boundaries and interfaces. We describe our approach to componentization, which involves precise yet high-level models of existing software. Central to our approach are certain editing ...
متن کاملStuttering in Abstract Probabilistic Automata
Nowadays, systems are tremendously big and complex and mostly result from the assembling of several components. These components are usually designed by teams working independently but with a common agreement on what the interface of each component should be. These interfaces precise the behaviors expected from each component as well as the environment in which they can be used, but do not impo...
متن کاملAdaptation for Hierarchical Components and Services
Software coordination and adaptation are tightly related to modular software entities and access points. These entities (components or services) may be complex, dissimilar (various models) and designed at different granularity levels. In order to allow interoperability we need rich interface descriptions including service hierarchisation, flexible declarations and precise specifications. In thi...
متن کاملA Model for Classifying Component Interfaces
This paper identifies some issues related to component interfaces. We present a model for component interactions and interfaces to the surrounding artifacts. We classify interfaces as Application and Platform . Classification of interfaces helps in identifying issues related to a component’s interoperability (interactions with other components) and portability (interactions with the platform). ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- JSW
دوره 6 شماره
صفحات -
تاریخ انتشار 2011