Nasreddine Aoumeur - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

2009

2008

Stepwise rigorous development of distributed agile information systems: from UML-diagrams to component-based Petri NetsNasreddine Aoumeur. eis, 2(2):121-156, 2008. [doi]

On Adaptive and Behavioral Service-Driven Applications: A Rule-Centric Petri Nets FrameworkNasreddine Aoumeur, Kamel Barkaoui, Claus Rautenstrauch. sitis 2008: 195-202 [doi]

A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent ISNasreddine Aoumeur, Gunter Saake. ista 2008: 393-404 [doi]

Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and CertificationNasreddine Aoumeur, Kamel Barkaoui, Gunter Saake. itng 2008: 1305-1307 [doi]

An adaptive ECA-centric architecture for agile service-based business processes with compliant aspectual .NET environmentSyed Saif ur Rahman, Nasreddine Aoumeur, Gunter Saake. iiwas 2008: 240-247 [doi]

2007

Features Interaction in Adaptive Service-driven Environments: A Reflective Petri Nets-Based ApproachNasreddine Aoumeur, Gunter Saake. rcis 2007: 297-308

Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systemsNasreddine Aoumeur, Kamel Barkaoui, Gunter Saake. CSMR 2007: 123-136 [doi]

Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri NetsNasreddine Aoumeur, Gunter Saake, Kamel Barkaoui. ICEIS 2007: 152-158

UML-driven Information Systems and their Formal Integration Validation and DistributionNasreddine Aoumeur, Gunter Saake. vveis 2007: 63-73

2006

Distribution concerns in service-oriented modellingNasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira. ijipt, 1(3):144-158, 2006. [doi]

2004

Towards an Architectural Approach to Location-Aware Business ProcessesNasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira. wetice 2004: 147-152 [doi]

Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposalNasreddine Aoumeur, Gunter Saake. DKE, 50(2):117-173, 2004. [doi]

2003

Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Objects to Sound Evolving ComponentsNasreddine Aoumeur, Gunter Saake. oois 2003: 60-70 [doi]

2002

Specifying and validating consistent and dynamically evolving concurrent information systems: an object Petri net based approachNasreddine Aoumeur. PhD thesis, Otto-von-Guericke University Magdeburg, Germany, 2002. [doi]

Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting LogicNasreddine Aoumeur, Gunter Saake. caise 2002: 296-310 [doi]

A component-based Petri net model for specifying and validating cooperative information systemsNasreddine Aoumeur, Gunter Saake. DKE, 42(2):143-187, 2002. [doi]

2001

Distributed Systems specification and Adaptation: A Petri-net Based ProposalNasreddine Aoumeur. gvd 2001: 3-7 [doi]

2000

Consistency Management in Runtime Evolving Concurrent Information Systems: A CO-NETS-Based ApproachNasreddine Aoumeur, Gunter Saake. fmldo 2001: 33-67 [doi]

1999

Sign in or sign up to see more results.

runs on WebDSL