{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T17:29:12Z","timestamp":1758475752239},"reference-count":28,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[2003,4]]},"DOI":"10.1016\/s0950-5849(03)00018-1","type":"journal-article","created":{"date-parts":[[2003,4,4]],"date-time":"2003-04-04T20:00:31Z","timestamp":1049486431000},"page":"269-280","source":"Crossref","is-referenced-by-count":16,"title":["Communicating X-machines: a practical approach for formal and modular specification of large systems"],"prefix":"10.1016","volume":"45","author":[{"given":"Petros","family":"Kefalas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Eleftherakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evangelos","family":"Kehris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(03)00018-1_BIB1","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1145\/120807.120824","article-title":"Formal methods versus software engineering: is there a conflict?","author":"Young","year":"1991","journal-title":"Proceedings of the Fourth Testing, Analysis, and Verification Symposium"},{"issue":"4","key":"10.1016\/S0950-5849(03)00018-1_BIB2","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/242223.242257","article-title":"Formal methods: state of the art and future directions","volume":"28","author":"Clarke","year":"1996","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S0950-5849(03)00018-1_BIB3","series-title":"The Z Notation: A Reference Manual","author":"Spivey","year":"1989"},{"key":"10.1016\/S0950-5849(03)00018-1_BIB4","series-title":"Systematic Software Development using VDM","author":"Jones","year":"1990"},{"key":"10.1016\/S0950-5849(03)00018-1_BIB5","series-title":"Proceedings of the 12th ACM Symposium on Principles of Programming Languages","first-page":"52","article-title":"Principles of OBJ2","author":"Futatsugi","year":"1985"},{"key":"10.1016\/S0950-5849(03)00018-1_BIB6","series-title":"Fundamental Structures of Computer Science","author":"Wulf","year":"1981"},{"key":"10.1016\/S0950-5849(03)00018-1_BIB7","series-title":"EATCS Monographs on Theoretical Computer Science","volume":"vol. 4","author":"Reisig","year":"1985"},{"issue":"3","key":"10.1016\/S0950-5849(03)00018-1_BIB8","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts:a visual approach to complex systems","volume":"8","author":"Harel","year":"1987","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S0950-5849(03)00018-1_BIB9","volume":"vol. A","author":"Eilenberg","year":"1974"},{"issue":"2","key":"10.1016\/S0950-5849(03)00018-1_BIB10","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1049\/sej.1988.0009","article-title":"X-machines as a basis for dynamic system specification","volume":"vol. 3","author":"Holcombe","year":"1988","journal-title":"Software Engineering Journal"},{"key":"10.1016\/S0950-5849(03)00018-1_BIB11","series-title":"Correct Systems: Building a Business Process Solution","author":"Holcombe","year":"1998"},{"key":"10.1016\/S0950-5849(03)00018-1_BIB12","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1002\/(SICI)1099-1689(199806)8:2<61::AID-STVR154>3.0.CO;2-W","article-title":"Specification and testing using generalised machines: a presentation and a case study","volume":"8","author":"Ipate","year":"1998","journal-title":"Software Testing, Verification and Reliability"},{"key":"10.1016\/S0950-5849(03)00018-1_BIB13","series-title":"Systems and Control: Theory and Applications","first-page":"163","article-title":"Using X-machines to model and test discrete event simulation programs","author":"Kehris","year":"2000"},{"issue":"3","key":"10.1016\/S0950-5849(03)00018-1_BIB14","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","article-title":"Testing software design modeled by finite-state machines","volume":"SE-4","author":"Chow","year":"1978","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(03)00018-1_BIB15","first-page":"79","article-title":"XmCTL: extending temporal logic to facilitate formal verification of X-machines","volume":"50","author":"Eleftherakis","year":"2002","journal-title":"Matematica-Informatica, Analele Universitatii Bucuresti"},{"key":"10.1016\/S0950-5849(03)00018-1_BIB16","series-title":"Advances in Signal Processing and Computer Technologies","first-page":"321","article-title":"Towards model checking of finite state machines extended with memory through refinement","author":"Eleftherakis","year":"2001"},{"issue":"9","key":"10.1016\/S0950-5849(03)00018-1_BIB17","first-page":"494","article-title":"Communicating stream X-machines systems are no more than X-machines","volume":"5","author":"Balaneascu","year":"1999","journal-title":"Journal of Universal Computer Science"},{"key":"10.1016\/S0950-5849(03)00018-1_BIB18","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/s001650070007","article-title":"A Structured Way to use Channels for Communication in X-machines Systems","volume":"12","author":"Cowling","year":"2000","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S0950-5849(03)00018-1_BIB19","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0950-5849(98)00053-6","article-title":"COMX: a design methodology using communicating X-machines","volume":"40","author":"Barnard","year":"1998","journal-title":"Journal of Information and Software Technology"},{"key":"10.1016\/S0950-5849(03)00018-1_BIB20","series-title":"Advances in Informatics","first-page":"134","article-title":"A design language and tool for X-machines specification","author":"Kefalas","year":"2000"},{"key":"10.1016\/S0950-5849(03)00018-1_BIB21","unstructured":"P. Kefalas, Automatic translation from X-machines to Prolog, Technical Report TR-CS01\/00, Department of Computer Science, CITY Liberal Studies, 2000."},{"key":"10.1016\/S0950-5849(03)00018-1_BIB22","unstructured":"P. Kefalas, A. Sotiriadou, A compiler that transforms X-machines specification to Z, Technical Report TR-CS06\/00, Department of Computer Science, CITY Liberal Studies, 2000."},{"key":"10.1016\/S0950-5849(03)00018-1_BIB23","unstructured":"P. Kefalas, XMDL User Manual, Version 1.6, Technical Report TR-CS07\/00, Department of Computer Science, CITY Liberal Studies, 2000."},{"key":"10.1016\/S0950-5849(03)00018-1_BIB24","doi-asserted-by":"crossref","unstructured":"P. Kefalas, G. Eleftherakis, M. Holcombe, M. Gheoghe, Simulation and verification of P systems through communicating X-machines, BioSystems, to be published.","DOI":"10.1016\/S0303-2647(03)00036-4"},{"key":"10.1016\/S0950-5849(03)00018-1_BIB25","unstructured":"F. Ipate, T. Balanescu, P. Kefalas, M. Holcombe, G. Eleftherakis, A new model for communicating X-machines, Romanian Journal of Information Technology, to be published."},{"key":"10.1016\/S0950-5849(03)00018-1_BIB26","first-page":"20","article-title":"Modular modeling of large-scale systems using communicating X-machines","author":"Kefalas","year":"2001","journal-title":"Proceedings of the Eighth Panhellenic Conference in Informatics, Cyprus"},{"key":"10.1016\/S0950-5849(03)00018-1_BIB27","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/S0303-2647(01)00164-2","article-title":"Computational models for collective foraging","volume":"61","author":"Georghe","year":"2001","journal-title":"BioSystems"},{"key":"10.1016\/S0950-5849(03)00018-1_BIB28","first-page":"461","article-title":"Formal modelling of reactive agents as an aggregation of simple behaviours","author":"Kefalas","year":"2002"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000181?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000181?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T01:58:31Z","timestamp":1553651911000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584903000181"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,4]]},"references-count":28,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2003,4]]}},"alternative-id":["S0950584903000181"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(03)00018-1","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2003,4]]}}}