A process logic for distributed system synthesis

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Y. Isobe Articles by K. Ohmaki

Seventh Asia-Pacific Software Engineering Conference (APSEC'00)

Singapore

December 05-December 08

ISBN: 0-7695-0915-0

	ASCII Text	x
	Y. Isobe, K. Ohmaki, "A process logic for distributed system synthesis," Asia-Pacific Software Engineering Conference, pp. 62, Seventh Asia-Pacific Software Engineering Conference (APSEC'00), 2000.

	BibTex	x
	@article{ 10.1109/APSEC.2000.896684, author = {Y. Isobe and K. Ohmaki}, title = {A process logic for distributed system synthesis}, journal ={Asia-Pacific Software Engineering Conference}, volume = {0}, year = {2000}, issn = {1530-1362}, pages = {62}, doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2000.896684}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Asia-Pacific Software Engineering Conference TI - A process logic for distributed system synthesis SN - 1530-1362 SP EP A1 - Y. Isobe, A1 - K. Ohmaki, PY - 2000 KW - process algebra; concurrency theory; algebraic specification; computability; process logic; distributed system synthesis; process algebra; satisfiability; concurrent behavior; interleaving behavior; DS algebra; SP logic VL - 0 JA - Asia-Pacific Software Engineering Conference ER -

Y. Isobe, Electrotech. Lab., Ibaraki, Japan

K. Ohmaki, Electrotech. Lab., Ibaraki, Japan

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2000.896684

We define a process algebra DS@ to formally describe distributed systems and a process logic SP@ to formally describe their specifications. Then, we present a method to synthesize a distributed system (described in DS@) from given specifications (described in SP@). The main contribution is to show how to check the satisfiability of process logic in which concurrent behavior is distinct from interleaving behavior (i.e. considering true concurrency).

Index Terms:

process algebra; concurrency theory; algebraic specification; computability; process logic; distributed system synthesis; process algebra; satisfiability; concurrent behavior; interleaving behavior; DS algebra; SP logic

Citation:

Y. Isobe, K. Ohmaki, "A process logic for distributed system synthesis," apsec, pp.62, Seventh Asia-Pacific Software Engineering Conference (APSEC'00), 2000

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.