An introduction to modal and temporal logics for CCS
Proceedings of the UK/Japan workshop on Concurrency : theory, language, and architecture: theory, language, and architecture
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
Selective mu-calculus and formula-based equivalence of transition systems
Journal of Computer and System Sciences
Communication and Concurrency
Object-oriented design patterns recovery
Journal of Systems and Software
The NCSU Concurrency Workbench
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Design Recovery by Automated Search for Structural Design Patterns in Object-Oriented Software
WCRE '96 Proceedings of the 3rd Working Conference on Reverse Engineering (WCRE '96)
Automatic Design Pattern Detection
IWPC '03 Proceedings of the 11th IEEE International Workshop on Program Comprehension
Modelling and verifying web service orchestration by means of the concurrency workbench
ACM SIGSOFT Software Engineering Notes
Automatically Inferring Temporal Properties for Program Evolution
ISSRE '04 Proceedings of the 15th International Symposium on Software Reliability Engineering
Fingerprinting Design Patterns
WCRE '04 Proceedings of the 11th Working Conference on Reverse Engineering
Design Pattern Recovery by Visual Language Parsing
CSMR '05 Proceedings of the Ninth European Conference on Software Maintenance and Reengineering
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
WS Binder: a framework to enable dynamic binding of composite web services
Proceedings of the 2006 international workshop on Service-oriented software engineering
Elemental Design Patterns Recognition In Java
STEP '05 Proceedings of the 13th IEEE International Workshop on Software Technology and Engineering Practice
Service Engineering Design Patterns
SOSE '06 Proceedings of the Second IEEE International Symposium on Service-Oriented System Engineering
Design Pattern Detection Using Similarity Scoring
IEEE Transactions on Software Engineering
Search-based testing of service level agreements
Proceedings of the 9th annual conference on Genetic and evolutionary computation
| Hi-index | 0.00 |
Design pattern recovery has been proved to be an useful mechanism to assess the quality of object-oriented systems, to facilitate their comprehension, and to help identifying reusable assets. The diffusion of Service Oriented Architectures (SOA) is fostering the introduction of new patterns, realizing recurring mechanisms that service-oriented systems often realize. Examples are proxies used to enable dynamic binding or to ensure fault tolerance, service compositions, and loggers used for monitoring purposes. This paper describes how SOA patterns can be identified by analyzing SOAP messages collected by monitoring a service oriented system. Namely, the paper presents a model checking-based approach where patterns, described by parametric selective mu-calculus logic formulae, are verified on a synthetized model of the system.