ROSECON: a Computer Tool for Synthesis and Verification of Concurrent Systems Specified by Information Systems

• Autorzy: Suraj Z. , Pancerz K.
• Języki publikacji: EN

Abstrakty

EN

In the paper, a computer tool called ROSECON, used for modeling and analyzing systems of concurrent processes, is described. A special attention is focused on synthesis and verification of concurrent systems specified by information systems. Two kinds of models, synchronous and asynchronous, are considered. In the first approach, all processes included in the modeled system are synchronized globally whereas in the second one, each process is synchronized individually. The presented tool allows generating automatically an appropriate model of a system of concurrent processes, in the form of colored Petri nets, from the specification given by an information system. Analysis of the model behaviors enables users to verify the correctness and/or optimality of the obtained models and to provide some modification procedures to get correct and/or more optimal solutions. Examples of selected well known problems in concurrency, in the paper, emphasize usefulness of the tool in the designing systems of concurrent processes.

Słowa kluczowe

EN

computer systems; computer software; automation; Petri nets

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2013
• Tom: Vol. 126, nr 4
• Strony: 335--351
• Opis fizyczny: Bibliogr. 34 poz., tab., wykr.

Twórcy

autor

Suraj Z.

• Institute of Computer Science, University of Rzeszów, Prof. Stanisława Pigonia Str. 1, 35-310 Rzeszów, Poland

autor

Pancerz K.

• Institute of Biomedical Informatics, University of Information Technology and Management, Sucharskiego Str. 2, 35-225 Rzeszów, Poland

Bibliografia

• [1] Rough Set Database System: http://rsds.univ.rzeszow.pl (Option: Software).
• [2] Design/CPN Homepage: http://www.daimi.au.dk/designCPN.
• [3] CPN Tools Homepage: http://cpntools.org/.
• [4] RSES Homepage: http://logic.mimuw.edu.pl/rses.
• [5] ROSETTA Homepage: http://idi.ntu.no/ aleks/rosetta.
• [6] Cios, K., Pedrycz, W., Swiniarski, R.: Data Mining. Methods for Knowledge Discovery, Kluwer Academic Publishers, Dordrecht, 1998.
• [7] Delimata, P., Moshkov, M., Skowron, A., Suraj, Z.: Inhibitory Rules in Data Analysis. A Rough Set Approach, Springer Verlag, Berlin Heidelberg, 2009.
• [8] Jensen, K.: Coloured Petri Nets, vol. 1-3, Springer Verlag, Berlin Heidelberg, 1997.
• [9] Kodratoff, Y., Michalski, R., Eds.: Machine Learning 3, Morgan Kaufmann Publ., 1990.
• [10] Langley, P., Sanchez, J. N., Todorovski, L., Dzeroski, S.: Inducing Process Models from Continuous Data, Proceedings of the ICML'2002 (C. Sammut, A. G. Hoffmann, Eds.), Sydney, Australia, 2002.
• [11] Langley, P. L., George, D., Bay, S., Saito, K.: Robust Induction of Process Models from Time-Series Data, Proceedings of the ICML'2003 (T. Fawcett, N. Mishra, Eds.), Washington DC, USA, 2003.
• [12] Moshkov, M., Skowron, A., Suraj, Z.: Maximal Consistent Extensions of Information Systems Relative to Their Theories, Information Sciences, 178(12), 2008, 2600-2620.
• [13] Pancerz, K.: A New Version of ROSECON - a Software Tool for Modeling and Analyzing Systems of Processes Working Together, Proceedings of the HSI'2009 (L. L. Bello, G. Iannizzotto, Eds.), Catania, Italy, 2009.
• [14] Pancerz, K., Suraj, Z.: Discovering Concurrent Models from Data Tables with the ROSECON System, Fundamenta Informaticae, 60(1-4), 2004, 251-268.
• [15] Pancerz, K., Suraj, Z.: Discovery of Asynchronous Concurrent Models from Experimental Tables, Fundamenta Informaticae, 61(2), 2004, 97-116.
• [16] Pancerz, K., Suraj, Z.: Automated Discovering Concurrent Models from Data Tables - an Overview of Algorithms, Proceedings of the AICCSA'2005, Cairo, Egypt, 2005.
• [17] Pancerz, K., Suraj, Z.: Rough Sets for Discovering Concurrent System Models from Data Tables, in: Rough Computing. Theories, Technologies and Applications (A. Hassanien, et al., Eds.), Information Science Reference, Hershey, 2008, 239-268.
• [18] Pawlak, Z.: Rough Sets. Theoretical Aspects of Reasoning about Data, Kluwer Academic Publishers, Dordrecht, 1991.
• [19] Pawlak, Z.: Concurrent Versus Sequential - the Rough Sets Perspective, Bulletin of EATCS, 48, 1992, 178-190.
• [20] Reisig, W.: Petri Nets, Springer, Berlin, 1985.
• [21] Skowron, A.: Discovery of Process Models from Data and Domain Knowledge: A Rough-Granular Approach, Pattern Recognition and Machine Intelligence (A. Ghosh, R. De, S. Pal, Eds.), 4815, Springer Verlag, Berlin Heidelberg, 2007.
• [22] Skowron, A.: Discovery of Processes and Their Interactions from Data and Domain Knowledge, in: Agent and Multi-Agent Systems: Technologies and Applications (P. Jedrzejowicz, N. Nguyen, R. Howlet, L. Jain, Eds.), vol. 6070 of Lecture Notes in Computer Science, Springer Verlag, Berlin Heidelberg, 2010, 12-21.
• [23] Skowron, A., Suraj, Z.: Rough Sets and Concurrency, Bulletin of the Polish Academy of Sciences, Technical Sciences, 41(3), 1993, 237-254.
• [24] Skowron, A., Suraj, Z.: Synthesis of Concurrent Systems Specified by Information Systems, ICS Report, 4, 1993.
• [25] Suraj, Z.: Rough Set Methods for the Synthesis and Analysis of Concurrent Processes, in: Rough Set Methods and Applications (L. Polkowski, et al., Eds.), Springer Verlag, Berlin, 2000, 379-488.
• [26] Suraj, Z.: Discovering Concurrent Process Models in Data: A Rough Set Approach, in: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (H. Sakai, M. K. Chakraborty, A. E. Hassanien, D. Slezak, W. Zhu, Eds.), vol. 5908 of LNAI, Springer Verlag, Berlin Heidelberg, 2009, 12-19.
• [27] Suraj, Z., Matusiewicz, Z.: Using CPNetwork for Modelling and Analysis of Coloured Petri Nets, Scientific Bulletin of Chełm. Section Mathematics and Computer Science, 2, 2006, 203-210.
• [28] Suraj, Z., Pancerz, K.: Restriction-Based Concurrent System Design Using the Rough Set Formalism, Fundamenta Informaticae, 67(1-3), 2005, 233-247.
• [29] Suraj, Z., Pancerz, K.: The ROSECON System - a Computer Tool for Modelling and Analaysing of Processes, Proceedings of the CIMCA'2005 (M. Mohammadian, Ed.), II, Vienna, Austria, 2005.
• [30] Suraj, Z., Pancerz, K.: Some Remarks on Computing Consistent Extensions of Dynamic Information Systems, Proceedings of the ISDA'2005 (H. Kwaśnicka, M. Paprzycki, Eds.), IEEE Computer Society, Wroclaw, Poland, 2005.
• [31] Suraj, Z., Pancerz, K.: Flow Graphs as a Tool for Mining Prediction Rules of Changes of Components in Temporal Information Systems, in: Proceedings of the RSKT'2007 (J. Yao, et al., Eds.), vol. 4481 of Lecture Notes in Artificial Intelligence, Springer Verlag, Berlin Heidelberg, 2007, 468-475.
• [32] Suraj, Z., Pancerz, K., Owsiany, G.: On Consistent and Partially Consistent Extensions of Information Systems, in: Proceedings of the RSFDGrC'2005 (D. Slezak, et al., Eds.), vol. 3641 of Lecture Notes in Artificial Intelligence, Springer Verlag, Berlin Heidelberg, 2005, 224-233.
• [33] Swiniarski, R. W., Skowron, A.: Rough set methods in feature selection and recognition, Pattern Recognition Letters, 24(6), 2003, 833-849.
• [34] Tsumoto, S., Słowinski, R., Komorowski, J., Grzymała-Busse, J., Eds.: Rough Sets and Current Trends in Computing, vol. 3066 of LNAI, Springer Verlag, Berlin Heidelberg, 2004.