The following information was submitted:
Transactions: WSEAS TRANSACTIONS ON COMPUTERS
Transactions ID Number: 31-419
Full Name: Bouabid El Ouahidi
Position: Professor
Age: ON
Sex: Male
Address: Secteur 10 lot D9, Avenue Al Hour, Hay Riad, Rabat
Country: OMAN
Tel:
Tel prefix:
Fax:
E-mail address: ouahidi@fsr.ac.ma
Other E-mails: redaoussama@gmail.com, reda_oussama@yahoo.fr, bouabid.ouahidi@gmail.com
Title of the Paper: UML4ODP: OCL 2.0 Constraints Specification & UML Modeling of Interfaces in The Computational Metamodel
Authors as they appear in the Paper: Oussama Reda, Bouabid El Ouahidi, Daniel Bourget
Email addresses of all the authors: Ouahidi@fsr.ac.ma reda_oussama@yahoo, Daniel.Bourget@enst-bretagne
Number of paper pages: 10
Abstract: The purpose of this work is analysis of computational language concepts and introduction of novel pertinent ones in order to provide a new computational metamodel of interaction signatures in UML4ODP FDIS. we mainly introduce the concept of Functional computational interface which unify signal and operation interfaces notions. The unification of signal and operation interactions concepts is presented by introducing the Parameterized interaction concept. We show that parameterized interactions are of two main kinds; namely, primitives and compounds. we also introduce the notion of incoming and outgoing primitives. As an application of our modeling choices we redefine interaction, refinement and type checking rules in a concise manner, and then specify them using the useful specification functionalities of OCL 2.0, showing how novel definitions as well as their specification are easy to read, write and understand.
Keywords: RM-ODP, UML4ODP, Computational language, Meta-modeling, Computational interface, Interaction Signatures, type checking, interaction signatures
EXTENSION of the file: .pdf
Special (Invited) Session: ISI Book (Thomson)
Organizer of the Session:
How Did you learn about congress:
IP ADDRESS: 196.217.50.103
