KSIG

Science and Education

Title: Research of software engineering methods arrangement with semantic modelling methods of business management. Construction of calculi and solving procedures for modal logics and lower bounds of complexity for discrete optimisation problems (2015-2017)

Main results:

1. A new way of looking to software development by integrating the internal modeling paradigm with MDA approach. The modified MDA schema includes the new layer of the domain knowledge discovery. Frameworks for internal modeling of enterprise domain will help to trace the causal dependencies across the layers, and to determine the influence of domain causality to the integrity and interoperability of the application.
2. An approach to transform business process models (BPMN 2.0 notation) into the SBVR business vocabularies and business rules. The SBVR business vocabularies and business rules can be derived from the BPMN 2.0 model when the modeling complies with certain requirements for business processes models.
3. The normalization method of the enterprise modeling stage is developed, which is based on the perceived causality of the target domain. The provided research motivate normalization of the entire SDLC. Today usage of concepts normalization, and functional dependency (FD) is limited to only the database design stage. The first step is the discovery of management FD (MFD) of business activities. Management transaction is an initial specification of MFD, which gives a basis for enterprise model normalization. Enterprise model normal forms ENF1 – ENF5 defined and illustrated.
4. Complete and correct sequent calculi for the half-order normal modal logics K to S5 inclusive without function symbols have been constructed. Based on these calculi, the decision procedures for the mentioned logics have been presented.

Phd Students

Staff and PhD students