The Research of Multiparty Application Modeling Supported ...downloads.hindawi.com/journals/ijdsn/2009/258178.pdfSo we established a new network architecture formal description method

The Research of Multiparty ApplicationModeling Supported Network Architecture

Description Method

HUANG YUAN, SHEN JUN, and SONG JINJING

School of Computer Science & Engineering, Southeast University, Nanjing , China

The multiparty applications pattern of network is going to definitely play an important role on theInternet. However, the traditional research of network architecture almost exclusively uses the ‘‘oneto one’’ direct interaction model to describe various kinds of network interactions. The INSA(Interactive Network Services Architecture) reference model and network description languageINSADL developed by the Laboratory of Computer Network and Information Integration(Southeast University) have introduced the component-based thought and interactive viewpoint tothe research of network architecture. Moreover, INSADL has provided support for the modeling ofnetwork multiparty applications to some extent.

Nevertheless the modeling requirements of the multiparty applications are much morecomplicated than those of traditional network applications. The description of complex networkinteractions involving a non-fixed number of participating entities needs to be supported. It alsoraised the problem of how to represent the composite entity components, and sometimes the dynamicjoining and leaving of entities from interactions should be dealt with. Therefore, INSADL still hassome limitations. So we established a new network architecture formal description method on thebasis of INSADL’s component-based thought to support the depiction of multiparty application.

We discussed the detailed modeling schemas for different modeling elements. For entitycomponents, we defined the inheritance relations between component classes by using the‘‘extends’’ field and set rules for the overriding of grammar units in derived classes. We alsointroduced the ‘‘symbol transformation method’’ of CSP to simplify the definition of similarprocesses. Furthermore, the definition production of functions which describe the data processingof entities is given. For the modeling of the interaction connector, we improved the description usedby INSADL. We adjusted the production of nonterminal <INSA_Role>, and add a new nonterminal<Multiplicity_Expression>. Thus an uncertain number of roles in an interaction connector can beexplicitly denoted. Concerning the connection configuration, we took a similar measure asinteraction connector to alternate the definition of nonterminals related with the instances of entitycomponent classes, using multiplicity expressions within the brackets to specify the number ofinstances.

This paper establishes a foundation for further research of the multiparty application networksystem’s properties using the formal method.

Keywords Network architecture; Network multiparty application; Component-based thought

International Journal of Distributed Sensor Networks, 5: 26, 2009

Copyright � Taylor & Francis Group, LLC

ISSN: 1550-1329 print / 1550-1477 online

DOI: 10.1080/15501320802520589

Supported by 973 Project 2003CB314801 and the Natural Science Foundation of China (GrantNo. 60603067 and No. 90604003).

Address correspondence to Huang Yuan, School of Computer Science & Engineering, SoutheastUniversity, Nanjing, China. E-mail: [email protected]

26

International Journal of

AerospaceEngineeringHindawi Publishing Corporationhttp://www.hindawi.com Volume 2010

RoboticsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014


Active and Passive Electronic Components

Control Scienceand Engineering

Journal of



RotatingMachinery


Hindawi Publishing Corporation http://www.hindawi.com

Journal ofEngineeringVolume 2014

Submit your manuscripts athttp://www.hindawi.com

VLSI Design



Shock and Vibration


Civil EngineeringAdvances in

Acoustics and VibrationAdvances in



Electrical and Computer Engineering

Journal of

Advances inOptoElectronics

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014

SensorsJournal of


Modelling & Simulation in EngineeringHindawi Publishing Corporation http://www.hindawi.com Volume 2014


Chemical EngineeringInternational Journal of Antennas and

Propagation




Navigation and Observation



DistributedSensor Networks


Documents

The Research of Multiparty Application Modeling Supported ...downloads.hindawi.com/journals/ijdsn/2009/258178.pdfSo we established a new network architecture formal description method