Nasreddine Aoumeur

According to our database, Nasreddine Aoumeur authored at least 27 papers between 1999 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Stepwise engineering and deployment of dynamically adaptive service-oriented business processes.

Nasreddine Aoumeur, Kamel Barkaoui

Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

Rapid-Prototyping of Adaptive Component-Based Systems Using Runtime Aspectual Interactions.

Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake

Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009

Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes.

Nasreddine Aoumeur, Kamel Barkaoui

Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009

Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications.

Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

On modelling adaptive service-oriented business processes.

Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2008

Stepwise rigorous development of distributed agile information systems: from UML-diagrams to component-based Petri Nets.

Nasreddine Aoumeur

Enterp. Inf. Syst., 2008

On Adaptive and Behavioral Service-Driven Applications: A Rule-Centric Petri Nets Framework.

Nasreddine Aoumeur, Kamel Barkaoui, Claus Rautenstrauch

Proceedings of the 4th IEEE International Conference on Signal Image Technology and Internet Based Systems, 2008

Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification.

Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS.

Nasreddine Aoumeur, Gunter Saake

Proceedings of the Information Systems and e-Business Technologies, 2008

An adaptive ECA-centric architecture for agile service-based business processes with compliant aspectual .NET environment.

Syed Saif ur Rahman, Nasreddine Aoumeur, Gunter Saake

Proceedings of the iiWAS'2008, 2008

2007

UML-driven Information Systems and their Formal Integration Validation and Distribution.

Nasreddine Aoumeur, Gunter Saake

Proceedings of the Modelling, 2007

Features Interaction in Adaptive Service-driven Environments: A Reflective Petri Nets-Based Approach.

Nasreddine Aoumeur, Gunter Saake

Proceedings of the First International Conference on Research Challenges in Information Science, 2007

Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets.

Nasreddine Aoumeur, Gunter Saake, Kamel Barkaoui

Proceedings of the ICEIS 2007, 2007

Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems.

Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake

Proceedings of the 11th European Conference on Software Maintenance and Reengineering, 2007

2006

Distribution concerns in service-oriented modelling.

Nasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira

Int. J. Internet Protoc. Technol., 2006

2004

Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal.

Nasreddine Aoumeur, Gunter Saake

Data Knowl. Eng., 2004

Towards an Architectural Approach to Location-Aware Business Processes.

Nasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira

Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

2003

Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Objects to Sound Evolving Components.

Nasreddine Aoumeur, Gunter Saake

Proceedings of the Object-Oriented Information Systems, 9th International Conference, 2003

2002

Specifying and validating consistent and dynamically evolving concurrent information systems: an object Petri net based approach.

Nasreddine Aoumeur

PhD thesis, 2002

A component-based Petri net model for specifying and validating cooperative information systems.

Nasreddine Aoumeur, Gunter Saake

Data Knowl. Eng., 2002

Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic.

Nasreddine Aoumeur, Gunter Saake

Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002

2001

Distributed Systems specification and Adaptation: A Petri-net Based Proposal.

Nasreddine Aoumeur

Proceedings of the Tagungsband zum 13. GI-Workshop Grundlagen von Datenbanken, GvD 2011, 2001

2000

Consistency Management in Runtime Evolving Concurrent Information Systems: A CO-NETS-Based Approach.

Nasreddine Aoumeur, Gunter Saake

Proceedings of the Database Schema Evolution and Meta-Modeling, 2000

1999

Towards a New Semantics for Mondel Specifications Based on the CO-Net Approach.

Nasreddine Aoumeur, Gunter Saake

Proceedings of the Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), 1999

Specifying Distributed and Dynamically Evolving Information Systems Using an Extended CO-Nets Approach.

Nasreddine Aoumeur

Proceedings of the Transactions and Database Dynamics, 1999

Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems.

Nasreddine Aoumeur, Gunter Saake

Proceedings of the Advanced Information Systems Engineering, 1999

Prototyping Object Specifications Using the CO-Nets Approach.

Nasreddine Aoumeur, Stefan Conrad, Gunter Saake

Proceedings of the 6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'99), Frankfurt, Germany, October 11., 1999