A small language for the specification of Grid Protocols
J.A. Hillebrand · 1996
We present a tool that transforms specifications in a new format, geared towards Grid Protocols, into ¯CRL specifications. The specification of Grid Protocols becomes easier in the new format, while the transformation to ¯CRL keeps existing ¯CRL tools accessible for these specifications. Key Words & Phrases: Grid Protocol, Tool support, Language definition, ¯CRL, Formal specification, Algebraic specification, Asf+Sdf, Prettyprinting. Contents 1 Introduction 2 2 The Grid Protocol Specification Language 3 2.1 Expanding ¯CRL with Kleene star, free merge, and free left merge : : : : : : : : : : : : : : : : : : : : : 4 2.2 Defining GPSL : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 5 3 Translating GPSL to mCRL 7 3.1 Transforming the specification style : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 7 3.2 Eliminating prefix and early reads : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :...