“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Handbook of theoretical computer science (vol. B)
Selected papers of the Second Workshop on Concurrency and compositionality
IEEE Transactions on Software Engineering - Special issue on software architecture
Summary of the Dagstuhl workshop on software architecture
ACM SIGSOFT Software Engineering Notes
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software architecture in practice
Software architecture in practice
Uncovering architectural mismatch in component behavior
Science of Computer Programming
Applied software architecture
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Component-based software engineering
Performance analysis at the software architectural design level
Performance Evaluation
From software requirements to architectures (STRAW01)
ACM SIGSOFT Software Engineering Notes
A Case Study in Architectural Modelling: The AEGIS System
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, Sfm 2003 (Lecture Notes in Computer Science, 2804)
Using Software Architecture for Code Testing
IEEE Transactions on Software Engineering
Second International Workshop on From SofTware Requirements to Architectures (STRAW'03)
ACM SIGSOFT Software Engineering Notes
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Comparing methodologies for the transition between software requirements and architectures
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
A classification and comparison of model checking software architecture techniques
Journal of Systems and Software
Hi-index | 0.00 |
Software architecture specifications are predominantly concerned with describing the component structure of systems and how the components interact behaviorally. They are increasingly part of standardized software development processes because they represent a system abstraction in which design choices relevant to the correctness of the final system are taken. Therefore, much of software architecture research has concentrated on specification and analysis, whereas little attention has been paid to formally relating architectural specifications to higher levels of specification, such as the system requirements. In this paper we present our progress toward addressing an instance of this problem, namely relating state-based software architecture specifications to high-level functional specifications. Our approach is to use an intermediate specification given in terms of a set of temporal logic properties to bridge the gap between the two levels of specifications. We describe our approach in the context of a particular case study, the AEGIS GeoServer Simulation Testbed system, showing how a compact functional specification of a critical behavioral property of the system can be used to validate three alternative architectural specifications of that system.