Imen Tounsi

发表

Towards an approach for modeling and formalizing SOA design patterns with Event-B

Khalil Drira, Ahmed Hadj Kacem, Emna Mezghani, 2013, SAC '13.

Transformation of compound SOA Design Patterns

Khalil Drira, Ahmed Hadj Kacem, Mohamed Hadj Kacem, 2017, ANT/SEIT.

An Approach for SOA Design Patterns Composition

Khalil Drira, Ahmed Hadj Kacem, Mohamed Hadj Kacem, 2015, 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA).

Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications

Mohamed Hadj Kacem, Imen Tounsi, Najeh Khalfi, 2020, ICOST.

Do Organizational Memory and Information Technology Interact to Affect Organizational Information Needs and Provision?

Mohamed El Louadi, Imen Tounsi, Mohamed Louadi, 2008, Int. J. Knowl. Manag..

Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns

Khalil Drira, Ahmed Hadj Kacem, Mohamed Hadj Kacem, 2013, ICEIS.

The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange

Khalil Drira, Ahmed Hadj Kacem, Mohamed Hadj Kacem, 2012, 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.

Modeling and refinement SOA design patterns with Event-B method

Khalil Drira, Ahmed Hadj Kacem, Mohamed Hadj Kacem, 2012 .

A formal approach for SOA design patterns composition

Khalil Drira, Ahmed Hadj Kacem, Mohamed Hadj Kacem, 2015, 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA).

A refinement-based approach for specifying multi-scale software architectures: application to SoS

Ahmed Hadj Kacem, Cédric Eichler, Ilhem Khlif, 2018, SAC.

Building Correct by Construction SOA Design Patterns: Modeling and Refinement

Ahmed Hadj Kacem, Mohamed Hadj Kacem, Imen Tounsi, 2013, ECSA.

An Approach for Modeling and Formalizing SOA Design Patterns

Ahmed Hadj Kacem, Mohamed Hadj Kacem, Imen Tounsi, 2013, 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises.

A refinement-based approach for building valid SOA design patterns

Khalil Drira, Ahmed Hadj Kacem, Mohamed Hadj Kacem, 2015, Int. J. Cloud Comput..

MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems

Ahmed Hadj Kacem, Mohamed Hadj Kacem, Imen Tounsi, 2021, IET Softw..

A Meta-Modeling Approach to Describe Internet of Things Architectures

Ahmed Hadj Kacem, Mohamed Hadj Kacem, Imen Tounsi, 2021, TACC.