article

Free access

Action system approach to the specification and design of distributed systems

Authors:

R. Kurki-Suonio,

H.-M. JärvinenAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 14, Issue 3

Pages 34 - 40

https://doi.org/10.1145/75200.75205

Published: 01 April 1989 Publication History

PDF eReader

References

[1]

Ada Programming Language. ANSI/MIL-STD-IS15A-1983.

Google Scholar

[2]

R.J.R. Back, Refining atomicity in parallel algorithms. Reports in Computer Science 57, Abe Akademi 1988.

Google Scholar

[3]

R.J.R. Back and R. Kurki-Suonio, Decentralization of process nets with a centralized control. To appear in Distributed ds in Concurrency (Ed. J.W. de Bakker, W.-P. Computing. An earlier version in Proc. 2nd ACM SIGACT- SIGOPS Symposium on Principles of Distributed Computing, Montreal, Canada, Aug. 1983, 131-142.

Digital Library

Google Scholar

[4]

R.J.R. Back and R. Kurki-Suonio, A case study in constructing distributed algorithms: distributed exchange sort. In Proc. Winter School on Theoretical Computer Science, Lammi, Finland, Jan. 1984, Finnish Society of Information Processing Science, l-33.

Google Scholar

[5]

R.J.R. Back and R. Kurki-Suonio, A new paradigm for the design of concurrent systems. Ada Letters VII, 6 (Fall 1987), 110-112.

Digital Library

Google Scholar

[6]

R.J.R. Back and R. Kurki-Suonio, Serializability in distributed systems with handshaking. In Proc. ICALP 88, Automata, Languages and Programming (Ed. T. Lepisto and A. Salomaa), LNCS 3 17, Springer-Verlag 1988,52-66.

Digital Library

Google Scholar

[7]

R.J.R. Back and R. Kurki-Suonio, Distributed cooperation with action systems. ACM Trans. Programming Languages and Systems IO,4 (Oct. 1988), 513-554.

Digital Library

Google Scholar

[8]

T. Bolognesi and E. Brinksma, Introduction to the IS0 specification language LOTOS. Computer Network and ISDN Systems 14, (1987), 25-59.

Digital Library

Google Scholar

[9]

L. BougC and N. Francez, A compositional approach to superimposition. In Proc. 15th ACM Symposium on Principles of Programming Languages, San Diego, California, Jan. 1988, 240-249.

Digital Library

Google Scholar

[10]

K.M. Chandy and J. Misra, Parallel Program Design: A Foundation. Addison-Wesley 1988.

Digital Library

Google Scholar

[11]

O.-J. Dahl, B. Myhrhaug and K. Nygaard, SimulaL 67 common base language. Report S-22, Norwegian Computer Center, Oslo, 1970.

Google Scholar

[12]

E.W. Dijkstra, A Discipline of Programming, Prentice-Hall 1976.

Digital Library

Google Scholar

[13]

E.W. Dijkstra and C.S. Scholten, Termination detection for diffusing computations. Information Processing Letiers I I, 1 (Aug. 1980) l-4.

Google Scholar

[14]

C. Forgy and M.C. Dermot, OPS, a domain independent production system language. In Proc. Fifth Infernafional Joinf Conference on Artificial Intelligence. 1971,933-939.

Google Scholar

[15]

I.R. Forman, On the design of large distributed systems. Microelectronics and Computer Technology Corporation, Report STP-098-86, Jan. 1987.

Google Scholar

[16]

D. Harel, Statecharts: a visual formalism for complex systems. Science of Computer Programming 8, l987,23 l-274.

Digital Library

Google Scholar

[17]

D. Hare1 et al., STATEMATE: A working environment for the development of complex reactive systems. In Proc. 11th lnrernational Conference on Sofnuare Engineering, Singapore, April 1988,396-406.

Digital Library

Google Scholar

[18]

C.A.R. Hoare, Communicating sequential processes. Commun. ACM 2118 (Aug. 1978). 666-677.

Digital Library

Google Scholar

[19]

C.A.R. Hoare, Communicating Sequenfial Procesees. Prentice- Hall 1985.

Digital Library

Google Scholar

[20]

S. Katz, A superimposition control construct for distributed systems. Microelectronics and Computer Technology Corporation, Report STP-268-87, Aug. 1987.

Google Scholar

[21]

R. Kurki-Suonio, Towards programming with knowledge expressions. In Proc. 13rh ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, Jan. 1986, 140-149.

Digital Library

Google Scholar

[22]

R. Kurki-Suonio, Specification of serializable databases by joint actions. Tampere University of Technology, Software Systems Laboratory, Report 2, 1988.

Google Scholar

[23]

R. Kurki-Suonio and T. KankaanpHH, On the design of reactive systems. BIT28.3 (1988), 581-604.

Digital Library

Google Scholar

[24]

Z. Manna and A. Pnueli, How to cook a temporal proof system for your pet language. In Proc. 10th ACM S,ymposium on Principles of Programming Languages, Austin, Texas, Jan. 1983, 141-154.

Digital Library

Google Scholar

[25]

A. Pnueli, Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends. In Current Trends in Concurrency (Ed. J.W. de Bakker, W.-P. de Roever and G. Rozenberg), LNCS 224, Springer-Verlag 1986, 5 10-584.

Digital Library

Google Scholar

[26]

S. Ramesh and S.L. Mehndiratta, A methodology for developing distributed programs. IEEE Transactions on Software Engineering, SE-13.8 (Aug. 1987), 967-976.

Digital Library

Google Scholar

Cited By

View all

Kurki-Suonio RSystä KVain J(2005)Scheduling in Real-Time ModelsFormal Techniques in Real-Time and Fault-Tolerant Systems10.1007/3-540-55092-5_18(327-339)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-55092-5_18
Kurki-Suonio R(1993)Stepwise Design of Real-Time SystemsIEEE Transactions on Software Engineering10.1109/32.21030719:1(56-69)Online publication date: 1-Jan-1993
https://dl.acm.org/doi/10.1109/32.210307
Kurki-Suonio R(1992)Operational specification with joint actionsDistributed Computing10.1007/BF022766396:1(19-37)Online publication date: 1-Jul-1992
https://dl.acm.org/doi/10.1007/BF02276639
Show More Cited By

Index Terms

Action system approach to the specification and design of distributed systems
1. Software and its engineering

Recommendations

Faithfully formalizing OSEK/VDX operating system specification
SoICT '12: Proceedings of the 3rd Symposium on Information and Communication Technology

OSEK/VDX has proposed a standard for operating systems used in automotive systems. This standard is described in the form of informal specification. The informal specification is not suitable for applying formal methods to the whole of the software ...
Comprehensive Specification of Distributed Systems Using I5 and IOA
SCCC '00: Proceedings of the XX International Conference of the Chilean Computer Science Society

Low level difficulties in the development of distributed systems that are due to non-standard communication protocols and incompatible components or platforms have largely been solved through standardization and commoditization of protocols and ...
Formal Specification of Fault Tolerant Distributed Systems in the Action Systems Formalism
CTRQ '10: Proceedings of the 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service

Ensuring dependability of distributed systems is a complex task. Since distributed systems are usually large, testing and state-exploring approaches are often inadequate for guarantying high degree of dependability. In this paper, we propose a formal ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 14, Issue 3

May 1989

288 pages

ISSN:0163-5948

DOI:10.1145/75200

Editor:
Sol J. Greenspan

Issue’s Table of Contents

IWSSD '89: Proceedings of the 5th international workshop on Software specification and design
April 1989
295 pages
ISBN:0897913051
DOI:10.1145/75199
Chairman:
Sol J. Greenspan

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1989

Published in SIGSOFT Volume 14, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

23
Total Citations
View Citations
367
Total Downloads

Downloads (Last 12 months)61
Downloads (Last 6 weeks)16

Reflects downloads up to 18 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kurki-Suonio RSystä KVain J(2005)Scheduling in Real-Time ModelsFormal Techniques in Real-Time and Fault-Tolerant Systems10.1007/3-540-55092-5_18(327-339)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-55092-5_18
Kurki-Suonio R(1993)Stepwise Design of Real-Time SystemsIEEE Transactions on Software Engineering10.1109/32.21030719:1(56-69)Online publication date: 1-Jan-1993
https://dl.acm.org/doi/10.1109/32.210307
Kurki-Suonio R(1992)Operational specification with joint actionsDistributed Computing10.1007/BF022766396:1(19-37)Online publication date: 1-Jul-1992
https://dl.acm.org/doi/10.1007/BF02276639
Kurki-Suonio RMoriconi M(1991)Stepwise design of real-time systemsProceedings of the conference on Software for citical systems10.1145/125083.123063(120-131)Online publication date: 1-Sep-1991
https://dl.acm.org/doi/10.1145/125083.123063
Kurki-Suonio R(1991)Stepwise design of real-time systemsACM SIGSOFT Software Engineering Notes10.1145/123041.12306316:5(120-131)Online publication date: 1-Sep-1991
https://dl.acm.org/doi/10.1145/123041.123063
Francez NForman I(1990)Superimposition for interacting processesCONCUR '90 Theories of Concurrency: Unification and Extension10.1007/BFb0039063(230-245)Online publication date: 1990
https://doi.org/10.1007/BFb0039063
Maibaum T(2005)Conservative extensions, interpretations between theories and all that!TAPSOFT '97: Theory and Practice of Software Development10.1007/BFb0030588(40-66)Online publication date: 20-Jun-2005
https://doi.org/10.1007/BFb0030588
Fiadeiro J(2005)On the emergence of properties in component-based systemsAlgebraic Methodology and Software Technology10.1007/BFb0014331(421-443)Online publication date: 9-Jun-2005
https://doi.org/10.1007/BFb0014331
Gafni VYehudai AFeldman Y(2005)Activation-oriented specification of real-time systemsFormal Techniques in Real-Time and Fault-Tolerant Systems10.1007/3-540-58468-4_170(268-287)Online publication date: 8-Jun-2005
https://doi.org/10.1007/3-540-58468-4_170
Fiadeiro JMaibaum T(1996)A Mathematical Toolbox for the Software ArchitecProceedings of the 8th International Workshop on Software Specification and Design10.5555/857204.858267Online publication date: 22-Mar-1996
https://dl.acm.org/doi/10.5555/857204.858267
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Faithfully formalizing OSEK/VDX operating system specification

Comprehensive Specification of Distributed Systems Using I5 and IOA

Formal Specification of Fault Tolerant Distributed Systems in the Action Systems Formalism

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations