Abstrakt
Pro svou stále rostoucí složitost, návrh softwarových systémů se nestává lehčím. Navíc, moderní aplikace, od podnikových po mobilní a vestavěné (embedded), vyžadují vysokou úroveň zajištění korektnosti a spolehlivosti.
Nejúčinnější způsob na řešení spolehlivosti je oddělění zájmů (separation of concerns) a inkrementální vývoj. Zajištění korektnosti vyžaduje formální modelování a formální analýzu.
Když je při oddělění zájmů model rozdělen do několika částí, je důležité zajistit konzistenci mezi těmito částmi. V tomto článku navrhujeme přístup podporující oddělění zájmů a konzistenci a inkrementální modelování požadavků.