Petri nets: an introduction
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Types and modules for net specifications
Concurrency and nets: advances in Petri nets
Design and validation of computer protocols
Design and validation of computer protocols
Handbook of theoretical computer science (vol. B): formal models and semantics
Handbook of theoretical computer science (vol. B): formal models and semantics
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Interfaces, protocols, and the semi-automatic construction of software adaptors
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
The pi calculus and its applications
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Construction of robust class hierarchies
Software—Practice & Experience
Software architecture: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Software reliability and dependability: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Software engineering for real-time: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
An axiomatic basis for computer programming
Communications of the ACM
Software product lines: organizational alternatives
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
The coming-of-age of software architecture research
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Component-based software architectures: a framework based on inheritance of behavior
Science of Computer Programming
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Primer in Petri Net Design
Computer
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Proceedings of the Workshop on Object-Oriented Technology
Adapting Object-Oriented Components
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Enhanced Component Interfaces to Support Dynamic Adaption and Extension
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 9 - Volume 9
Constructing Interoperable Components in Distributed Systems
TOOLS '99 Proceedings of the 32nd International Conference on Technology of Object-Oriented Languages
Concerns On Architecture-Centered Software Development: A Survey
Journal of Integrated Design & Process Science
Trustworthy components-compositionality and prediction
Journal of Systems and Software - Special issue on: Component-based software engineering
Reliability prediction for component-based software architectures
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Test Order for Class-based Integration Testing of Java Applications
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Hi-index | 0.00 |
Architecture description languages (ADLs) are used to specify high-level, compositional views of a software application. ADL research focuses on software composed of prefabricated parts, so-called software components. ADLs usually come equipped with rigorous state-transition style semantics, facilitating verification and analysis of specifications. Consequently, ADLs are well suited to configuring distributed and event-based systems. However, additional expressive power is required for the description of enterprise software architectures --- in particular, those built upon newer middleware, such as implementations of Java's EJB specification, or Microsoft's COM+/.NET. The enterprise requires distributed software solutions that are scalable, business-oriented and mission-critical. We can make progress toward attaining these qualities at various stages of the software development process. In particular, progress at the architectural level can be leveraged through use of an ADL that incorporates trust and dependability analysis. Also, current industry approaches to enterprise development do not address several important architectural design issues. The TrustME ADL is designed to meet these requirements, through combining approaches to software architecture specification with rigorous design-by-contract ideas. In this paper, we focus on several aspects of TrustME that facilitate specification and analysis of middleware-based architectures for trusted enterprise computing systems.