Glossary


API

The Application Programming Interface provides programmatic access to service functionality and data within an application or a database, such as the DECODER PKM. It can be used as a building block for the development of new interactions with humans, other applications or smart devices. Companies use APIs to serve the needs of a digital transformation or an ecosystem, and start a platform business model.

ASFM

The Abstract Semi-Formal Model (ASFM) is a term used to described both a model and a language. The ASFM model contains formal properties of the code written in ACSL/ACSL++ and JML, functional logic notions of data structure invariant, type states and behaviours based on pre/post conditions. The ASFM language represents mainly an import/export format for the DECODER tools available for the reviewer. From this point of view, it is more a data exchange format defined in a JSON format.

AST

The Abstract Syntax Tree or just 'syntax tree' brings a tree representation of the abstract syntactic structure of source code written in a programming language.

BPEL

The Business Process Execution Language is an OASIS standard executable language for specifying actions within business processes with web services. Processes in BPEL export and import information by using web service interfaces exclusively.

BPML

The Business Process Modelling Language is an XML-based language for business process modeling.

BPMN

The Business Process Modelling and Notation offers a graphical representation for specifying business processes in a business process model. Read more about BPMN models in DECODER D5.4

CI/CD

The Continuous Integration / Continuous Deployment refers to the combined practices of continuous integration and either continuous delivery or continuous deployment. The CI/CD pipeline forms the backbone of DevTestOps operations, bridging the gaps between development, test and operation activities and teams by enforcing automation in building, testing and deployment of applications.

GSL

The Graphical Specification Language is a graphical formal language used during systems analysis, requirements analysis, and systems design to describe a system at a much higher level than a programming language, which is used to produce the executable code for a system, including big code.

GUI

The Graphical User Interface allows users to interact with electronic devices through graphical icons and audio indicator such as primary notation, instead of text-based user interfaces, typed command labels or text navigation. More about the first prototype of DECODER GUI in D4.3.

JSON

The JavaScript Object Notation JSON is an open standard file format, and data interchange format, that uses human-readable text to store and transmit data objects consisting of attribute–value pairs and array data types.

ML

The Machine Learning is the study of computer algorithms that improve automatically through experience. Read more about ML, deep learning and NLP in DECODER techniques for information extraction from source code D2.2.

MLOps

The MLOps (a compound of “machine learning” and “operations”) is a practice for collaboration and communication between data scientists and operations professionals to help manage production ML (or deep learning) lifecycle. Similar to the DevOps or DataOps approaches, MLOPS looks to increase automation and improve the quality of production ML while also focusing on business and regulatory requirements.

NLP

The Natural Language Processing is a subfield of linguistics, computer science, and artificial intelligence concerned with the interactions between computers and human language, in particular how to program computers to process and analyze large amounts of natural language data. 

PKM

The Persistent Knowledge Monitor provides a central infrastructure to store, access, and trace all the persistent data, information and knowledge related to a given software or ecosystem (notably its source code and related artefacts, and also derived information). The current PKM implementation in DECODER uses a Mongo Database.

SUT

The System Under Test describes a system that is being tested for correct operation.

UML

The Unified Modeling Language is a general-purpose, developmental, modeling language in the field of software engineering that is intended to provide a standard way to visualize the design of a system. Read more about UML architecture design in DECODER D5.4.