The semantics of behavioral VHDL '93 descriptions
EURO-DAC '94 Proceedings of the conference on European design automation
Evolving algebras 1993: Lipari guide
Specification and validation methods
Kermit: specification and verification
Specification and validation methods
Models of computation for system design
Architecture design and validation methods
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Model Checking Support for the ASM High-Level Language
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Using Abstract State Machines at Microsoft: A Case Study
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Encoding Abstract State Machines in PVS
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Report on a Practical Application of ASMs in Software Design
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Composition and Submachine Concepts for Sequential ASMs
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
The formal semantics of SDL-2000: status and perspectives
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
A high-level modular definition of the semantics of C#
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
ASM Refinement and generalizations of forward simulation in data refinement: a comparison
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
A framework for system level verification: the systemc case
A framework for system level verification: the systemc case
Remarks on turbo ASMs for functional equations and recursion schemes
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Interfacing ASM with the MDG tool
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Using ASM specifications for compiler testing
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
A compositional framework for service interaction patterns and interaction flows
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
A high-level specification for mediators(virtual providers)
BPM'05 Proceedings of the Third international conference on Business Process Management
Weaving executability into UML class models at PIM level
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
A semantic framework for metamodel-based languages
Automated Software Engineering
Modeling workflow patterns from first principles
ER'07 Proceedings of the 26th international conference on Conceptual modeling
An ASM-based executable formal model of service-oriented component interactions and orchestration
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
A compositional framework for service interaction patterns and interaction flows
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Using model checking to analyze static properties of declarative models
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Analyzing temporal properties of abstract models
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Temporal logic model checking in alloy
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
| Hi-index | 0.00 |
We introduce into and survey the ASM method for high-level system design and analysis. We explain the three notions—Abstract State Machine [37], ASM ground model (system blueprint) [7] and ASM refinement [8]—that characterize the method, which integrates also current validation and verification techniques. We illustrate how the method allows the system engineer to rigorously capture requirements by ASM ground models and to stepwise refine these to code in a validatable and verifiable way.