Formal Definition of XCCS Modelling Language

• Autorzy: Balicki K. , Szpyrka M.
• Języki publikacji: EN

Abstrakty

EN

The paper presents a formal definition of XCCS - a graphical extension of CCS process calculus. The aim of this extension is to supply graphical means for creating models and thus to eliminate problems typical for modelling in textual manner inherent to CCS process algebra. XCCS diagrams consist of two layers, a graphical one that represents the structure of a modelled system and algebraic one that describes behaviour of individual agents. The graphical layer takes the form of a directed graph, while the algebraic one is a set of sequences of algebraic equations similar to those in the CCS calculus. The formal definition presented in the paper deals with both parts of such models. At the end of the paper we define the Synchronization Relation and present the Basic Conversion Algorithm that converts XCCS diagrams into CCS scripts.

Słowa kluczowe

EN

XCCS process algebra; formal definition; synchronization relation; Basic Conversion Algorithm

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2009
• Tom: Vol. 93, nr 1-3
• Strony: 1--15
• Opis fizyczny: Bibliogr. 17 poz., wykr.

Twórcy

autor

Balicki K.

autor

Szpyrka M.

• Institute of Mathematics Rzeszów University Al. Rejtana 16A, 35-959 Rzeszów, Poland,

Bibliografia

• [1] Aceto, L., Ingófsdóttir, A., Larsen, K., Srba, J.: Reactive Systems: Modelling, Specification and Verification, Cambridge University Press, Cambridge, UK, 2007.
• [2] Baeten, J. C. M.: A brief history of process algebra, Theoretical Computer Science, 335(2-3), 2005, 131-146.
• [3] Bergstra, J. A., Klop, J. W.: Algebra of Communicating Processes with Abstraction, Theoretical Computer Science, 37(1), 1985, 77-121.
• [4] Bergstra, J. A., Ponse, A., Smolka, S. A., Eds.: Handbook of Process Algebra, Elsevier Science, Upper Saddle River, NJ, USA, 2001.
• [5] Bowen, J. P., Hinchey, M. G.: Ten commandments revisited: a ten-year perspective on the industrial application of formal methods, FMICS '05: Proceedings of the 10th international workshop on Formal methods for industrial critical systems, ACM Press, New York, NY, USA, 2005.
• [6] Brinksma, E., Ed.: Information Processing Systems, Open Systems Interconnection LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, vol. IS-8807 of International Standard, ISO, Geneva, 1989.
• [7] Cheng, A. M. K.: Real-time Systems. Scheduling, Analysis, and Verification, Wiley Interscience, New Jersey, 2002.
• [8] Fencott, C.: Formal Methods for Concurrency, International Thomson Computer Press, Boston, MA, USA, 1995.
• [9] Hoare, C. A. R.: Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1985.
• [10] Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, vol. 1-3, Springer-Verlag, Berlin, Germany, 1992-1997.
• [11] Milner, R.: A Calculus of Communicating Systems, vol. 92 of LNCS, Springer-Verlag, 1980.
• [12] Milner, R.: Communication and Concurrency, Prentice-Hall, 1989.
• [13] Moller, F., Stevens, P.: Edinburgh Concurrency Workbench user manual.
• [14] Sommerville, I.: Software Engineering, Pearson Education Limited, London, 2004.
• [15] Szpyrka, M., Balicki, K.: XCCS - graphical extension of CCS language, Proc. of Mixdes 2006, the 14th International Conference Mixed Design of Integrated Circuits and Systems, Ciechocinek, Poland, June 21-23 2007.
• [16] Szpyrka, M., Matyasik, P.: Design of XCCS models with Inez XCCS Editor, CSL Technical Report 3, AGH University of Science and Technology, 2008.
• [17] Szpyrka, M., Matyasik, P.: Formal modelling and verification of concurrent systems with XCCS, Proceedings of the 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), Krakow, Poland, July 1-5 2008.