- Category: Article
- Published: Tuesday, 29 December 2015 14:09
- Written by Administrator
- Hits: 24021
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.