Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Property specification patterns for finite-state verification
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Safety Patterns - The Key to Formal Specification of Safety Requirements
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Enterprise SOA: Service-Oriented Architecture Best Practices (The Coad Series)
Enterprise SOA: Service-Oriented Architecture Best Practices (The Coad Series)
Soa in Practice: The Art of Distributed System Design
Soa in Practice: The Art of Distributed System Design
Well-founded and stable semantics of logic programs with aggregates
Theory and Practice of Logic Programming
Towards security monitoring patterns
Proceedings of the 2007 ACM symposium on Applied computing
Test and Analysis of Web Services
Test and Analysis of Web Services
Specification patterns for probabilistic quality properties
Proceedings of the 30th international conference on Software engineering
Efficient online monitoring of web-service SLAs
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Property Patterns for Runtime Monitoring of Web Service Conversations
Runtime Verification
Property Specifications for Workflow Modelling
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Specifying and Validating Data-Aware Temporal Web Service Properties
IEEE Transactions on Software Engineering
Specifying and Monitoring Temporal Properties in Web Services Compositions
ECOWS '09 Proceedings of the 2009 Seventh IEEE European Conference on Web Services
Patterns for Timed Property Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
Managed Evolution: A Strategy for Very Large Information Systems
Managed Evolution: A Strategy for Very Large Information Systems
Applying restricted english grammar on automotive requirements: does it work? a case study
REFSQ'11 Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality
Temporal Specifications with Accumulative Values
LICS '11 Proceedings of the 2011 IEEE 26th Annual Symposium on Logic in Computer Science
Pattern based property specification and verification for service composition
WISE'06 Proceedings of the 7th international conference on Web Information Systems
Pattern-Based specification and validation of web services interaction properties
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
A formal framework to specify and verify real-time properties on critical systems
International Journal of Critical Computer-Based Systems
| Hi-index | 0.00 |
Specification patterns have proven to help developers to state precise system requirements, as well as formalize them by means of dedicated specification languages. Most of the past work has focused its applicability area to the specification of concurrent and real-time systems, and has been limited to a research setting. In this paper we present the results of our study on specification patterns for service-based applications (SBAs). The study focuses on industrial SBAs in the banking domain. We started by performing an extensive analysis of the usage of specification patterns in published research case studies --- representing almost ten years of research in the area of specification, verification, and validation of SBAs. We then compared these patterns with a large body of specifications written by our industrial partner over a similar time period. The paper discusses the outcome of this comparison, indicating that some needs of the industry, especially in the area of requirements specification languages, are not fully met by current software engineering research.