LfP: A Specification Language for Rapid Prototyping of Concurrent Systems
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Hi-index | 0.00 |
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, I3 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.