دورية أكاديمية
Checking Consistency Between Message Choreographies And Their Implementation Models
| العنوان: | Checking Consistency Between Message Choreographies And Their Implementation Models |
|---|---|
| المؤلفون: | Kozyura, Vitaly, Roth, Andreas, Wieczorek, Sebastian, Wei, Wei |
| المصدر: | Electronic Communications of the EASST; Volume 35: Automated Verification of Critical Systems 2010 ; 1863-2122 ; 10.14279/tuj.eceasst.35 |
| بيانات النشر: | European Association of Software Science and Technology |
| سنة النشر: | 2011 |
| المجموعة: | Electronic Communications of the EASST (European Association of Software Science and Technology) |
| الوصف: | Applying the concepts of Service-Oriented Architectures (SOA) has already become a mainstream in industry. The development of business applications according to these principles implies a layered design and implementation. This paper describes an industrial approach to the verification of a consistency relation between such layers. In our case service choreographies defined by Message Choreography Models (MCM) and their corresponding implementation models represented as Business Objects are examined. By translating both into Event-B specifications we are able to prove the consistency relation between them. A number of case studies with realistic industrial software models were carried out which showed the solidness of our verification technique. Apart from giving details about our concrete realization, this paper also discusses general challenges that have to be faced when developing a verification approach applicable for the real-world systems. |
| نوع الوثيقة: | article in journal/newspaper |
| وصف الملف: | application/pdf |
| اللغة: | English |
| العلاقة: | http://journal.ub.tu-berlin.de/eceasst/article/view/566/689Test; http://journal.ub.tu-berlin.de/eceasst/article/view/566Test |
| DOI: | 10.14279/tuj.eceasst.35.566 |
| الإتاحة: | https://doi.org/10.14279/tuj.eceasst.35.566Test https://doi.org/10.14279/tuj.eceasst.35Test http://journal.ub.tu-berlin.de/eceasst/article/view/566Test |
| رقم الانضمام: | edsbas.9C42A5F4 |
| قاعدة البيانات: | BASE |
| DOI: | 10.14279/tuj.eceasst.35.566 |
|---|