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 andimplementation 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 OrientedSoftware Engineering Tool (SOSECASE). This integration forwards the SOSECASE a step forward to an all-in-one service oriented architecure software development tool.

Bu tezde, web servisleri iş yürütme süreci dili (WS-BPEL) teknik özelliklerine göre doğru iş süreçleri geliştirmek amacıyla statik bir analiz yaklaşımı tanıtıldı.İş süreçlerinin modellemesi servis yönelimli mimarilerin (SOA) herkes tarafından bilinen bir orkestra yöneticisi olan iş süreci yürütme dili (BPEL) kullanılarak iş akışınıntanımı yoluyla gerçekleştirildi. Bu yaklaşım servis yönelimli yazılım mühendisliği (SOSE) tasarım tekniğine entegre de edildi. Bu yaklaşımın entegre edilmesikompleks iş süreçlerinin geliştirilmesini daha sağlam ve bu iş süreçlerinin gerçekleştirilmesini daha doğru ve daha az hataya açık hale getirmeyi amaçlar.Bunun yanısıra, bu yaklaşım sistemin geliştirilme maliyetini ve gerçekleştirme fazındaki iş tekrarını da azaltacaktır. Bu yaklaşımın gerçekleştirilmesi deyapıldı ve hali hazırda var olan, servis yönelimli mimari tabanlı servis yönelimli yazılım mühendisliği aracına (SOSE) da entegre edildi. Bu entegrasyonSOSECASE'i hepsi bir arada olan bir servis tabanlı mimarı yazılım geliştirme aracı olmaya da bir adım yaklaştırdı.