Język specyfikacyjny OSL został opracowany przeze mnie jedynie w podstawowym zakresie. Jeśli zainspiruje kogolwiek do dalszych prac rozwojowych i implementacyjnych (co oczywiście nie będzie wymagać mojej zgody lecz jedynie powołania się na źródło) będzie to dla mnie wystarczającą satysfakcją. Sądzę, że w fazie implementacji software'owej ciekawa może być próba oparcia o możliwości języka UML (Unified Modeling Language).

Język OSL (Object Specification Language) składa się ze zwrotów standardowych, niezależnych od rodzaju biznesu, służących do definiowania obiektów oraz słów kluczowych specyfikowanych do używania w lokalnym obszarze biznesowym (AREA) lub globalnie w ramach tzw. świata (UNIVERSE).

Można założyć hipotetycznie, iż w przypadku komputerowej implementacji języka, pisanie specyfikacji byłoby wspomagane przez specjalizowany edytor (m.i. poprzez gotowe "formatki" ze zwrotami), zaś generacje opisu poszczególnych obiektów byłyby utrzymywane w bibliotece specyfikacji, zaś specyfikacja całości tworzona będzie automatycznie w wyniku konsolidacji zmian.

Opis dokonywany jest w imieniu głównego podmiotu (SUBJECT) jakim jest instytucja realizująca działalność biznesową. UNIVERSE, AREA i SUBJECT są więc jakby superklasami. Klasy biznesowe w ramach AREA mogą być definiowane swobodnie (user-defined} zgodnie z potrzebami głównego podmiotu. W OSL wyróżnia się również tzw. obiekty wykonawczo-operacyjne, którymi są pracownicy podmiotu obsługujący klasy biznesowe (np. menadżer konta, opiekun klienta, kasjer, dysponent itp.) oraz infrastruktura techniczna (w tym serwery, bazy danych itp.) i organizacyjna.

NOTACJA JĘZYKA OSL

Środowisko (ENV) w jakim działa aplikacja opisywane jest następująco:
ENV:=(REGULATIONS, INFRASTRUCTURE)
ENV.REGULATIONS:=(Akty prawne, regulaminy, zarządzenia)
ENV.INFRASTRUCTURE:=( ServeryDanych, SystemyOperacyjne, Transakcyjne BazyDanych, HurtownieDanych , SystemZarządzaniaSiecią, Struktura organizacyjna firmy)
Specyfikacja obiektu obejmuje takie elementy jak:
-id <!identyfikator obiektu>
-infoWindow <!"okno na świat " - informacje uzewnętrzniane przez obiekt >
-dataTable <!tablica danych. >
-typ obiektu ObjectTypes : (eOBJECT<!obiekt elementarny np. klient >
-rola obiektu (ROLE)
-historia życia ( OLH -Object Life History )
-relacje (RELATIONS)
-charakterystyka dynamiki(poprzez procesy, transakcje, zdarzenia; sposób ich inicjowania itp.)
-tryb wykonania (EXECUTION_MODE:= modeRT <!real time >,modeBAT<!batch > modeOND <!on demand >)
-przepływ danych (DATA_FLOW)
-przepływ sterowania (CONTROL_FLOW)
Poniżej wymienimy niektóre elementy (szczególnie te, których nie udało się użyć w przykładzie).
ROLE :=(commander <!obiekt sterujący procesem, odpowiedzialny >,
trigger <!obiekt inicjujący/uruchamiający proces, zdarzenie >,
generator <! obiekt generujący np. zdarzenia, cash flow >,
agent <! reprezentuje usługę np. agent w call-center >,
integrator <! obiekt integrujący obiekty>
monitor <! śledzi wykonanie/przebieg procesu >,
executor <! obiektwykonawczy >,
participator <!obiekt uczestniczący>,
owner, stockholder, customer, supplier; partner, employee,
component <! składnik >
performance center <! obiekt będący miejscem wykonania > )
RELATIONS:=((activated by / activates, activated when/if,
appearence depends on <!np.pojawienie się dziecka zależy od istnienia rodziców >
assisted by, belongs to /is owned by , built from ,
calls <obiekt> (xxx,yyy) <!xxx elementy przekazywane., yyy elementy zwracane >
consists of <parts> , contained in/contains, controlled by / controls,derived from,
driven by transaction,driven by product ,driven by banking regulations,
driven by customer, driven by date, driven by schedule,driven by frequency
existence depends on <! np. istnienie obiektu zależy od .... >
exists when/in/for, evaluated as critical/most wanted , included in ,
linked to ...by / links, matched/matches <! np. uzgodnić transakcje >
refers to <!bezpośrednie odniesienie> relates to, related by affinity, represented by /
represents , involved in, shared by / shares, used by / uses)
STATE := (active,inactive,dormant,suspended,aborted,idle, lost)
STATUS := (generic, real, virtual)
dOBJECT<! obiekt dynamiczny np. transakcja >
iOBJECT<!obiekt informacyjny np. informacje o tzw. pozycji klienta >
vOBJECT < obiekt wirtualny np. lustrzane rachunki Nostro >.
dOBJECT ::= ZDARZENIE,TRANSAKCJA,AKCJA,PROCES)
== (EVENT,TRANSACTION,ACTION,PROCESS) <! przykład równoważnego definiowania dwujęzycznego >
<! ZDARZENIE jest to elementarny niepodzielny fakt, czyn, działanie lub zaniechanie spodziewanego działania np. niedokonanie spłaty raty kredytu w terminie zmienia status kredytu >
<!TRANSAKCJA jest to sekwencja zdarzeń mająca na celu realizację krótkoterminowego celu, np. otwarcie lokaty i dokonanie wpłaty >
<!AKCJA jest to złożone działanie np. uzgodnienia transakcji, ocena kategorii kredytowej i tworzenie rezerw na trudne kredyty >
<!PROCES jest to ciąg akcji i zdarzeń posiadający wspólne zadanie inicjowany przez zdarzenie inicjujące i kończony przez zdarzenie końcowe np. proces obsługi rachunku na koniec dnia obejmujący naliczenie odsetek, pobranie opłat, kapitalizację odsetek itd.) >
{CONTROL_FLOW
repetition :=( iteration, single spiral, multiband spiral <!spirala znajduje zastosowanie w procesie uczącym się i od iteracji różni się tym, iż każdy jej zwój posiada inne mechanizmy i treść >)
activated .... BY ...with <initial-value> AT <time-point > WHEN ..
finished AT < > with <value> WHEN ...}
{ DATA FLOW
<.> from (<.>) <!lista danych przychodzących od...>
<.> to (<.>) <!lista danych wysyłanych do >
<> dataGeneration Method <nazwa >
<>dataEncoding Method <nazwa >
<>dataCompressing Method <nazwa >
}
{BODY ::= ( Contents, Script, Metadata)
contents <!zawartość ciała np. treść dokumentu, kod programu >
script <!lista operacji generowanych wewnątrz obiektu odpowiednio do jego zachowania się np. oczekiwanie na dostęp do danych, zawieszenie się >
metadata <! np. w XML- opis struktury ciała obiektu >}

Przykład specyfikacji obiektowej w języku OSL w zakresie bankowości

<OSL-1.Beta>
<spec(Banking)>
<def SUBJECT(MÓJ_BANK)>
<!MÓJ_BANK podmiot, którego działalność biznesową definiujemy >