preserve consistency. In order to accomplish that, we
need to check certain properties of a model after the
composition of schema instances.
9 CONCLUSION
In this paper we presented a formal approach for cor-
rect modeling of SOA styles named SOA-CoM. Our
aim was to define a formal methodology based on a
reusable set of communication schemas and compo-
sition rules that can be applied to generate the global
architectural style. These schemas include all struc-
tural and interaction properties of an SOA. Then, we
formally designed the NFPs of the SOA which can
be integrated into the architectural style based on
the extension rules. To ensure the style correctness,
we specified the semantics of these schemas using
the formal language ASL. As the style was designed
based on the applied composition rules, the specifica-
tion of this style will be built progressivelyin ASL. As
an extension to our work, we can add other NFPs ac-
cording to the user need in order to complement our
approach. Then, our ongoing work will extend our
SOA-CoM approach by reasoning about foundations
regarding architectural evolution.
REFERENCES
Amir, R. and Zeid, A. (2004). A uml profile for service
oriented architectures. In OOPSLA Companion, pages
192–193. ACM.
Baresi, L., Heckel, R., Th”one, S., and Varr’o, D. (2006).
Style-based modeling and refinement of service-
oriented architectures. Software and System Model-
ing, 5(2):187–207.
Baresi, L. and Miraz, M. (2006). A distributed approach for
the federation of heterogeneous registries. In ICSOC,
pages 240–251.
Cugola, G. and Nitto, E. D. (2008). On adopting content-
based routing in service-oriented architectures. Infor-
mation & Software Technology, 50:22–35.
Dillon, T. S., Wu, C., and Chang, E. (2007). Reference ar-
chitectural styles for service-oriented computing. In
Proceedings of the 2007 IFIP international confer-
ence on Network and parallel computing, NPC’07,
pages 543–555, Berlin, Heidelberg. Springer-Verlag.
Endrei, M., Ang, J., Arsanjani, A., Chua, S., Comte, P.,
Krogdahl, P., Luo, M., and Newling, T. (2004). Pat-
terns: service-oriented architecture and web services.
IBM Corp. Riverton, NJ, USA.
IBM (2005). Ibm’s soa foundation an architectural intro-
duction and overview. Version 1.0.
Krichen, I., Loulou, I., Dhouib, H., and Kacem, A. H.
(2012). P/s-com+: A formal approach to design cor-
rect publish/subscribe architectural styles. In Perseil,
I., Breitman, K., and Pouzet, M., editors, ICECCS,
pages 179–188. IEEE Computer Society.
Leymonerie, F. (December 2004). ASL language and tools
for architectural styles. PhD thesis, University of
Savoie.
Loulou, I., Jmail, M., Drira, K., and Hadj Kacem, A.
(March 2010). P/s-com : Building correct by de-
sign publish/subscribe architectural styles with safe
reconfiguration. Journal of Systems and Software,
83(3):412-428.
Mateescu, R. and Oquendo, F. (2006). Pi-aal: an ar-
chitecture analysis language for formally specifying
and verifying structural and behavioural properties of
software architectures. SIGSOFT Softw. Eng. Notes,
31(2):1–19.
Monroe, R. T., Kompanek, A., Melton, R., and Garlan, D.
(1997). Architectural styles, design patterns, and ob-
jects. Software, IEEE, 14(1):43–52.
Sanz, M. L., Acu˜na, C. J., Cuesta, C. E., and Marcos, E.
(2008). Defining service-oriented software architec-
ture models for a mda-based development process at
the pim level. In WICSA, pages 309–312.
Sanz, M. L. and Marcos, E. (2012). Archimedes: A model-
driven framework for the specification of service-
oriented architectures. Inf. Syst., 37(3):257–268.
Shaw, M. and Garlan, D. (1996). Software architecture.
Perspectives on an emerging discipline. Prentice Hall
Publishing.
Tang, L., Dong, J., Peng, T., and Tsai, W.-T. (2010).
Modeling enterprise service-oriented architectural
styles. Service Oriented Computing and Applications,
4(2):81–107.
Verma, K., Sivashanmugam, K., Sheth, A., Patil, A., Ound-
hakar, S., and Miller, J. (2005). Meteor-s wsdi: A
scalable p2p infrastructure of registries for semantic
publication and discovery of web services. Informa-
tion Technology and Management, 6(1):17–39.
Wada, H., Suzuki, J., and Oba, K. (2006). Modeling non-
functional aspects in service oriented architecture. In
Proceedings of the 2006 IEEE International Confer-
ence on Service Computing, pages 222–229, Chicago,
IL.
Wada, H., Suzuki, J., and Oba, K. (2011). Leveraging early
aspects in end-to-end model driven development for
non-functional properties in service oriented architec-
ture. J. Database Manag., 22(2):93–123.
Yulin, N., Huayou, S., Weiping, L., and Zhong, C. (2010).
Pdus: P2p-based distributed uddi service discovery
approach. Service Sciences, International Conference
on, 0:3–8.
Zhao, Y., Zhao, B., Liu, M., Hu, C., and Ma, D. (2010).
Towards a graph grammar based verification approach
for runtime constrained evolution of service-oriented
architectures. In SOSE, pages 159–164. IEEE.
Zisman, A., Dooley, J., and Spanoudakis, G. (2008). Proac-
tive runtime service discovery. IEEE International
Conference on Services Computing (July 2008), pages
237–245.
SOA-CoM:BuildingaCorrectbyDesignServiceOrientedArchitecturalStyle-SupportingStructuralandNon-functional
Properties
179