A meta-model semantics for structural constraints in ODP computational language

Authors:
Mohamed Bouhdadi;El Maâti Chabbar;Youssef Bellouki;Hahif Belhaj
Affiliations:
Department of Mathematics and Computer Science, University Mohammed V Faculty of Sciences, Rabat Morocco;Department of Mathematics and Computer Science, University Mohammed V Faculty of Sciences, Rabat Morocco;Department of Mathematics and Computer Science, University Mohammed V Faculty of Sciences, Rabat Morocco;Department of Mathematics and Computer Science, University Mohammed V Faculty of Sciences, Rabat Morocco
Venue:
SMO'06 Proceedings of the 6th WSEAS International Conference on Simulation, Modelling and Optimization
Year:
2006

Citing 12
Cited 0

Denotational semantics: a methodology for language development

Denotational semantics: a methodology for language development
The Z notation: a reference manual

The Z notation: a reference manual
FDTs for ODP

Computer Standards & Interfaces - Special issue on formal description techniques
The object constraint language: precise modeling with UML

The object constraint language: precise modeling with UML
The Unified Modeling Language reference manual

The Unified Modeling Language reference manual
Testing object-oriented systems: models, patterns, and tools

Testing object-oriented systems: models, patterns, and tools
Agile software development

Agile software development
Art of Software Testing

Art of Software Testing
Aim, Fire

IEEE Software
An UML-Based Meta-Language for the QOS-Aware Enterprise Specification of Open Distributed Systems

PRO-VE '02 Proceedings of the IFIP TC5/WG5.5 Third Working Conference on Infrastructures for Virtual Enterprises: Collaborative Business Ecosystems and Virtual Enterprises
The UML as a Formal Modeling Notation

«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
A UML-Based Approach to System Testing

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools

Quantified Score

Hi-index	0.00

Visualization

Abstract

A pure peer-to-peer method for (1) an efficient discovery of data in large distributed raw datasets and (2) collection of thus procured data is considered. It is based on ant colony optimization (ACO) and supports a user-specified extraction of structured ...