A static analysis approach for service oriented software engineering (SOSE) designs

---

Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümü, Türkiye

Tezin Onay Tarihi: 2010

Öğrenci: CAN ÇERMİKLİ

Danışman: ALİ HİKMET DOĞRU

Özet:

In this thesis, a static analysis approach is introduced in order to develop correct business processes according to the Web Service Business Process Execution Language (WS-BPEL) specification. The modeling of the business processes are conducted with Business Process Execution Language (BPEL) which is a popular orchestrator of Service Oriented Architectures (SOA) based system through the description of workflow. This approach is also integrated to the Service Oriented Software Engineering (SOSE) design technique. The integration of this approach aims the development of complex business processes more robust and implementation of them more accurate and low error prone. Moreover, this approach will also decrease the development cost of the system and rework in the implementation phase. The implementation of the approach is also conducted and it is integrated to the existing service oriented architecture based tool named Service Oriented Software Engineering Tool (SOSECASE). This integration forwards the SOSECASE a step forward to an all-in-one service oriented architecure software development tool.