Meta Meta Languages and Models

Meta Languages to define Languages and Meta Models to create Models

Meta, Metameta, and Metametameta Languages and Models

The Subject is part of the real world to be described by a Language or modelled by a model.

Meta, Metameta, and Metametameta Languages and Models

The Language or Model is an abstract representation of the real world.

Meta, Metameta, and Metametameta Languages and Models

The Meta Language or Meta Model is used to create languages or models.

Meta, Metameta, and Metametameta Languages and Models

The Metameta Language or Metameta Model is used to create meta languages or meta models.

Meta, Metameta, and Metametameta Languages and Models

The Metameta Language or Metameta Model is used to create meta languages or meta models.

Featured

Concepts

About Meta Meta Modelling

Login Form

metaPSL®

metaPSL® is a new metametamodelling tool in an advanced stage of development. In its name, 'meta' is in recognition of the whole hierarchy of models starting with metametametalanguage, and ending with subject, as depicted in the website logo.

'PSL' is in recognition of the pioneering tool PSL/PSA that was so important in starting the whole CASE (computer-assisted software engineering) evolution that is continuing today.

metaPSL® has been engineered from the ground up, very strongly inspired by the tool LDM (Language Definition Manager) that was probably the first ever computer-aided metametamodelling tool that was used to create PSL/PSA.

metaPSL®, along with metalanguages and models developed from it, implement the constructor principles as set out by Carnap (discussed elsewhere on this site), and as implemented in the original PSL/PSA. The result is very powerful. It means that a requirements or system specification using metaPSL and derivatives can be checked automatically and there is no limit to the size of specification that can be checked. This overcomes the very serious limitation inherent in all graphical methods of creating system specifications.

It also means that it is possible to 'compute' a system specification document based on the system as specified using the toolkit.

metaPSL® will not be available generally, and can only be obtained in conjunction with a project to create an organization or project metalanguage. The early mentor of metaPSL®, LDM, never was available publicly (and much of the research behind it remains unpublished) even when PSL/PSA was available in the price books of companies such as IBM and DEC (Digital Equipment Corporation).

metaPSL® will also be available to project sponsoring organizations who also have sufficient people certified as metaPSL® Metametamodelling Engineers.