Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
The Z notation: a reference manual
The Z notation: a reference manual
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Object-oriented modeling and design
Object-oriented modeling and design
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Using style to understand descriptions of software architecture
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
A Syntactic Theory of Software Architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Pattern languages of program design
Pattern languages of program design
Automatic code generation from design patterns
IBM Systems Journal
Pattern languages of program design 2
Pattern languages of program design 2
Localized ownership: managing dynamic objects in C++
Pattern languages of program design 2
Implementation patterns for the observer pattern
Pattern languages of program design 2
The proxy design pattern revisited
Pattern languages of program design 2
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
A framework for classifying and comparing architecture description languages
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Pattern languages of program design 3
Pattern languages of program design 3
How to preserve the benefits of design patterns
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Proceedings of the 20th international conference on Software engineering
Pattern-based reverse-engineering of design components
Proceedings of the 21st international conference on Software engineering
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
The Integration of Object-Oriented Programming Languages
The Integration of Object-Oriented Programming Languages
The Open Modeling Language (Oml) Reference Manual
The Open Modeling Language (Oml) Reference Manual
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
A Pattern-Based Approach to Structural Design Composition
COMPSAC '99 23rd International Computer Software and Applications Conference
Precise Visual Specification of Design Patterns
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Precise specification and automatic application of design patterns
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
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)
A Methodology for the Automated Introduction of Design Patterns
ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Coordinating Software Evolution via Two-Tier Programming
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Architecture, design, implementation
Proceedings of the 25th International Conference on Software Engineering
Automated generation of monitors for pattern contracts
Proceedings of the 2006 ACM symposium on Applied computing
Composing pattern-based components and verifying correctness
Journal of Systems and Software
Formal specification of the variants and behavioural features of design patterns
Journal of Systems and Software
Automated verification of security pattern compositions
Information and Software Technology
Software pattern communities: current practices and challenges
Proceedings of the 14th Conference on Pattern Languages of Programs
MetaProPOS: a meta-process patterns ontology for software development communities
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Taming distributed system complexity through formal patterns
Science of Computer Programming
| Hi-index | 0.01 |
Progress was made in the understanding of object-oriented (O-O) architectures through the introduction of patterns of design and architecture. Few works, however, offer methods of precise specification for O-O architectures.This article provides a well-defined ontology and an underlying framework for the formal specification of O-O architectures: We observe key regularities and elementary design motifs in O-O design and architectures; define "architectural model" in logic; and formulate relations between specifications. We demonstrate how to declare and reason with the representations. Finally, we use our conceptual toolkit to compare and evaluate proposed formalisms.