The Computer Journal
Communicating sequential processes
Communicating sequential processes
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
The Z notation: a reference manual
The Z notation: a reference manual
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Programming by multiset transformation
Communications of the ACM
Simulating the Behavior of Software Modules by Trace Rewriting
IEEE Transactions on Software Engineering
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
The 4+1 View Model of Architecture
IEEE Software
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
A Field Guide to Boxology: Preliminary Classification of Architectural Styles for Software Systems
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Software Architecture in Practice
Software Architecture in Practice
A Framework for Automatic Debugging
Proceedings of the 17th IEEE international conference on Automated software engineering
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
A formal approach to software architecture
A formal approach to software architecture
Environment behavior models for scenario generation and testing automation
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
The Golden Age of Software Architecture
IEEE Software
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
A direct path to dependable software
Communications of the ACM - A Direct Path to Dependable Software
"The Golden Age of Software Architecture" Revisited
IEEE Software
CHARMY: A Framework for Designing and Verifying Architectural Specifications
IEEE Transactions on Software Engineering
Annotations for alloy: automated incremental analysis using domain specific solvers
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
| Hi-index | 0.00 |
This paper suggests an approach to formal software system architecture specification based on behavior models. The behavior of the system is defined as a set of events (event trace) with two basic relations: precedence and inclusion. The structure of event trace is specified using event grammars and other constraints organized into schemas. The schema framework is amenable to stepwise architecture refinement, reuse, composition, visualization, and application of automated tools for consistency checks. The concept of event attribute supports a continuous architecture refinement up to executable design and implementation models.