Logic Control and “Reactive” Systems: Algorithmization and Programming

Algorithmization and programming principles for logic control and “reactive” systems are formulated, regarding algorithms and programs as finite automata. The application of finite automata to programming for other problems is also reviewed.

[1]  Thomas A. Henzinger,et al.  Timed Transition Systems , 1991, REX Workshop.

[2]  George S. Avrunin,et al.  Analyzing Partially-Implemented Real-Time Systems , 1998, IEEE Trans. Software Eng..

[3]  Boris Beizer The architecture and engineering of digital computer complexes , 1971 .

[4]  Stephen J. Mellor,et al.  Object lifecycles: modeling the world in states , 1992 .

[5]  Jonathan P. Bowen,et al.  Ten Commandments of Formal Methods , 1995, Computer.

[6]  James J. Odell,et al.  Advanced object-oriented analysis and design using UML , 1997 .

[7]  Hassan Aref,et al.  Fluid dynamics: Order in chaos , 1999, Nature.

[8]  Paul J. Deitel,et al.  C how to program , 1994 .

[9]  Nan C. Shu,et al.  Visual Programming: Perspectives and Approaches , 1989, IBM Syst. J..

[10]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[11]  Michael Boggs,et al.  Mastering UML with Rational Rose , 1999 .

[12]  A. D. Friedman,et al.  Theory and Design of Switching Circuits , 1983 .

[13]  David Chenho Kung,et al.  On object state testing , 1994, Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94).

[14]  Douglas T. Ross,et al.  Structured Analysis (SA): A Language for Communicating Ideas , 1977, IEEE Transactions on Software Engineering.

[15]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[16]  Fred P. Brooks,et al.  The Mythical Man-Month , 1975, Reliable Software.

[17]  Nancy G. Leveson,et al.  Completeness and Consistency in Hierarchical State-Based Requirements , 1996, IEEE Trans. Software Eng..

[18]  Timothy A. Budd,et al.  An introduction to object-oriented programming , 1991 .

[19]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[20]  M. G. Rodd,et al.  Engineering real-time systems , 1995 .

[21]  James C. Corbett,et al.  Timing Analysis of Ada Tasking Programs , 1996, IEEE Trans. Software Eng..

[22]  Øystein Haugen,et al.  Engineering real time systems - an object-oriented methodology using SDL (2. pr.) , 1993, BCS practitioner series.

[23]  Michael Jackson,et al.  Where Do Operations Come From: A Multiparadigm Specification Technique , 1996, IEEE Trans. Software Eng..

[24]  George S. Avrunin,et al.  Analyzing Partially-Implemented Real-Time Systems , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[25]  Robert S. Boyer,et al.  Program Verification , 1985, J. Autom. Reason..

[26]  Luis A. Bryan,et al.  Programmable Controllers: Theory and Implementation , 1997 .

[27]  Arthur D. Friedman,et al.  Theory and Design Switching Circ , 1985 .

[28]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[29]  Carlo Ghezzi,et al.  Specification of Realtime Systems Using ASTRAL , 1997, IEEE Trans. Software Eng..

[30]  M. Arbib,et al.  An approach to general systems theory , 1972, IEEE Transactions on Automatic Control.

[31]  Derek J. Hatley,et al.  Strategies for Real-Time System Specification , 1987 .

[32]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[33]  Christopher R. Clare Designing logic systems using state machines , 1973 .

[34]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[35]  Gregor von Bochmann,et al.  Finite State Description of Communication Protocols , 1978, Comput. Networks.

[36]  Andrei Borshchev,et al.  COVERS - A Tool for the Design of Real-time Concurrent Systems , 1995, PaCT.

[37]  Bruce Powell Douglass,et al.  Real-time UML (2nd ed.): developing efficient objects for embedded systems , 1997 .

[38]  Bruce Powel Douglass Real-time UML - developing efficient objects for embedded systems , 1997, Addison-Wesley object technology series.

[39]  Richard A. Kemmerer,et al.  State Transition Analysis: A Rule-Based Intrusion Detection Approach , 1995, IEEE Trans. Software Eng..

[40]  Kendall Scott,et al.  UML distilled - applying the standard object modeling language , 1997 .

[41]  Edward Yourdon,et al.  Case studies in object-oriented analysis and design , 1975 .

[42]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[43]  Jim Woodcock,et al.  Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.

[44]  Amir Pnueli,et al.  On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.

[45]  Frederick P. Brooks,et al.  The Mythical Man-Month: Essays on Softw , 1978 .

[46]  Daniel E. Cooke,et al.  Unix and Beyond: An Interview with Ken Thompson , 1999, Computer.

[47]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[48]  P. Kidwell,et al.  The mythical man-month: Essays on software engineering , 1996, IEEE Annals of the History of Computing.

[49]  Thomas Hughes Programmable Controllers , 1997 .

[50]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[51]  John Daniels,et al.  Designing Object Systems , 1994 .

[52]  David Harel,et al.  Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .

[53]  Thomas A. Henzinger,et al.  Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.

[54]  Niklaus Wirth Hardware Compilation: Translating Programs into Circuits , 1998, Computer.

[55]  Robert P. Kurshan,et al.  Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach , 2014 .

[56]  Cem Kaner,et al.  Testing Computer Software , 1988 .

[57]  A. Danthine,et al.  Protocol Representation with Finite-State Models , 1980, IEEE Trans. Commun..

[58]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[59]  Paul C. Jorgensen,et al.  Object-oriented integration testing , 1994, CACM.

[60]  Rolv Bræk,et al.  Engineering Real Time Systems , 1993 .

[61]  John Daniels,et al.  Designing object systems: object-oriented modelling with Syntropy , 1995 .

[62]  John W. Webb,et al.  Programmable Logic Controllers: Principles and Applications , 1994 .

[63]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.

[64]  Duane Schultz,et al.  A History of Modern Psychology , 1969 .

[65]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[66]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

[67]  George J. Klir,et al.  An approach to general systems theory , 1971 .

[68]  Daniel Brand,et al.  On Communicating Finite-State Machines , 1983, JACM.

[69]  James Odell,et al.  Approaches go Finite-State Machine Modeling , 1995, J. Object Oriented Program..

[70]  Grady Booch,et al.  Object-oriented analysis and design with applications (2nd ed.) , 1993 .

[71]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[72]  Jr. Frederick P. Brooks,et al.  The Mythical Man-Month: Essays on Softw , 1978 .

[73]  S. Seshu,et al.  Introduction to the theory of finite-state machines , 1963 .

[74]  Robert C. Martin Designing Object Oriented C++ Applications Using The Booch Method , 1995 .

[75]  David J. Robson,et al.  The state-based testing of object-oriented programs , 1993, 1993 Conference on Software Maintenance.

[76]  James C. Corbett,et al.  Evaluating Deadlock Detection Methods for Concurrent Software , 1996, IEEE Trans. Software Eng..

[77]  Mark A. Ardis,et al.  A Framework for Evaluating Specification Methods for Reactive Systems , 1995, 1995 17th International Conference on Software Engineering.

[78]  Bran Selic,et al.  An Efficient Object-Oriented Variation of the Statecharts Formalism for Distributed Real-Time Systems , 1993, CHDL.

[79]  Anany Levitin,et al.  Introduction to the Design and Analysis of Algorithms , 2002 .

[80]  Derek Coleman,et al.  Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design , 1992, IEEE Trans. Software Eng..