Composition and submachine concepts for sequential ASMs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1862, Issue , 2000, Pages 41-60

  Börger, Egon ^a   Schmid, Joachim ^b  

^a UNIVERSITY OF PISA   (Italy)

^b SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

RECONFIGURABLE HARDWARE; SEQUENTIAL MACHINES;

COMPLEX MACHINES; ERROR HANDLING; GLOBAL STATE; LARGE MACHINES; LOCAL STATE; MACHINE OPERATION; RETURN VALUE;

COMPUTER CIRCUITS;

EID: 84959351755     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44622-2_3     Document Type: Conference Paper

References (19)

1. J. R. Abrial. The B-Book. Assigning Programs to Meanings. Cambridge University Press, 1996.
2. M. Anlauff. XASM – An extensible, component-based Abstract State Machines language. In Y. Gurevich, M. Odersky, and L. Thiele, editors, Proc. ASM 2000, Lecture Notes in Computer Science. Springer-Verlag, 2000. to appear.
3. C. Böhm and G. Jacopini. Flow diagrams, Turing Machines, and languages with only two formation rules. Communications of the ACM, 9(5):366–371, 1966.
4. E. Börger. High level system design and analysis using Abstract State Machines. In D. Hutter, W. Stephan, P. Traverso, and M. Ullmann, editors, Current Trends in Applied Formal Methods (FM-Trends 98), number 1641 in Lecture Notes in Computer Science, pages 1–43. Springer-Verlag, 1999.
5. E. Börger, A. Cavarra, and E. Riccobene. An ASM semantics for UML Activity Diagrams. In T. Rust, editor, Proc. AMAST 2000, Lecture Notes in Computer Science. Springer-Verlag, 2000.
6. E. Börger, A. Cavarra, and E. Riccobene. A simple formal model for UML State Machines. In Y. Gurevich, M. Odersky, and L. Thiele, editors, Proc. ASM 2000, Lecture Notes in Computer Science. Springer-Verlag, 2000. to appear.
7. E. Börger, E. Grädel, and Y. Gurevich. The Classical Decision Problem. Perspectives in Mathematical Logic. Springer-Verlag, 1997.
8. E. Börger, J. Schmid, W. Schulte, and R. Stärk. Java and the Java Virtual Machine. Lecture Notes in Computer Science. Springer-Verlag, 2000. to appear.
9. E. Börger and W. Schulte. Modular Design for the Java Virtual Machine Architecture. In E. Börger, editor, Architecture Design and Validation Methods, pages 297–357. Springer-Verlag, 2000.
10. A. Brüggemann, L. Priese, D. Rödding, and R. Schätz. Modular decomposition of automata. In E. Börger, G. Hasenjäger, and D. Rödding, editors, Logic and Machines: Decision Problems and Complexity, number 171 in Lecture Notes in Computer Science, pages 198–236. Springer-Verlag, 1984.
11. G. D. Castillo. ASM-SL, a Specification Language based on Gurevich’s Abstract State Machines, 1999.
12. M. Davis. The Universal Computer: The Road from Leibniz to Turing. W.W. Norton, New York, 2000. to appear.
13. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Börger, editor, Specification and Validation Methods, pages 9–36. Oxford University Press, 1995.
14. Y. Gurevich. Sequential Abstract State Machines capture sequential algorithms. ACM Transactions on Computational Logic, 1(1), 2000.
15. Y. Gurevich and M. Spielmann. Recursive abstract state machines. Journal of Universal Computer Science, 3(4):233–246, 1997.
16. S. C. Kleene. Introduction to Metamathematics. D. van Nostrand, Princeton, New Jersey, 1952.
17. D. L. Parnas. Information distribution aspects of design methodology. In Information Processing 71, pages 339–344. North Holland Publishing Company, 1972.
18. J. Schmid. Executing ASM specifications with AsmGofer. Web pages at: http://-www.tydo.de/AsmGofer, 1999.
19. A. Zamulin. Object-oriented Abstract State Machines. In Proceedings of the 28th Annual Conference of the German Society of Computer Science. Technical Report, Magdeburg University, 1998.