DocumentCode
3445778
Title
I3: a Petri-net based specification method for architectural components
Author
Chang, Carl K. ; Kim, Seongwoon
Author_Institution
Dept. of Electr. & Comput. Eng., Illinois Univ., IL, USA
fYear
1999
fDate
1999
Firstpage
396
Lastpage
402
Abstract
As a research based on technology integration, I3 (pronounced “I cube”) is an executable architectural component description language based on colored Petri-net semantics with the style and understandability of SADT. I3 describes architectural components hierarchically in three levels. First, interface net declares services to be provided to other components. Next, interconnection net specifies the services to be acquired from other components. Finally, interoperation net describes the operational behavior of a component. Through its unique interconnection mechanism, I 3 facilitates the software architect in building an architectural model and formalizing the architectural topology and behavior of each software component as well as the entire system. Implementation of I3 can be made CORBA-compliant
Keywords
Petri nets; formal specification; specification languages; CORBA-compliant; Petri-net based specification method; SADT; architectural components; colored Petri-net semantics; executable architectural component description language; interconnection net; software architect; software component; technology integration; Code standards; Connectors; Object oriented modeling; Petri nets; Programming; Software architecture; Software engineering; Software standards; Software systems; Standards development;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1999. COMPSAC '99. Proceedings. The Twenty-Third Annual International
Conference_Location
Phoenix, AZ
ISSN
0730-3157
Print_ISBN
0-7695-0368-3
Type
conf
DOI
10.1109/CMPSAC.1999.814317
Filename
814317
Link To Document