Software testing at the architectural level
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
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
Consistency checking for multiple view software architectures
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Applied software architecture
An explorative journey from architectural tests definition down to code tests execution
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
2nd international workshop on living with inconsistency
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
The 4+1 View Model of Architecture
IEEE Software
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Behaviour Analysis of Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Model Checking - Timed UML State Machines and Collaborations
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Model Checking UML Statechart Diagrams Using JACK
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
Dependency Relations between Models in the Unified Process
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Distributed component technologies and their software engineering implications
Proceedings of the 24th International Conference on Software Engineering
The SALADIN project: summary report
ACM SIGSOFT Software Engineering Notes
An Experience in Architectural Extensions: Active Objects in J2EE
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
Eliciting coordination policies from requirements
Proceedings of the 2003 ACM symposium on Applied computing
Consistency Check in Modelling Multi-Agent Systems
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Symbolic model checking of UML activity diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
A systematic review of UML model consistency management
Information and Software Technology
A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures
Electronic Notes in Theoretical Computer Science (ENTCS)
A classification and comparison of model checking software architecture techniques
Journal of Systems and Software
Detecting implied scenarios analyzing non-local branching choices
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Hi-index | 0.00 |
In recent years the necessity to handle different aspectsof the system separately has introduced the need to representSA from different viewpoints. In particular, behavioralviews are recognized to be one of the most attractive featurein the SA description and in practical contexts, statediagrams and scenarios are the most used tools to modelthis view. Although very expressive this approach has twodrawbacks: system specification incompleteness and viewconsistency.Our work can be put in this context with the aim to manageincompleteness and to check views conformance: wesuppose to have state diagrams and scenarios models representingthe system dynamics at the architectural level;they can be incomplete and we want to prove that they describe,from different viewpoints, the same system behavior.To reach this goal, we are using the SPIN model checkerand we are implementing a tool to manage the translationof architectural models in Promela and LTL.