In recent years, creating a conceptual system model using a formal modeling language has became an inseparable part of the system development lifecycle. As systems' complexity grows, system models are almost exclusively a result of a collaborative effort of a group of developers, who typically need to work simultaneously. This need calls for an efficient mechanism to enable the group of developers to collaborate while modeling the same system.
Dizza Beimel and Lior Galanti from Technion, Israel Institute of Technology propose a protocol that enables a group of developers engaged in conceptual modeling of the same system to work simultaneously while maintaining the consistency of the shared model. This fascinating paper describes the protocol and the proof for its completeness.
Check it out in my Digg account and digg it too. Seems to be gaining some interest as it was dugged by this guy named Phillip Rhodes (user mindcrime) just a few minutes after I submitted it. You can't read the whole thing as you probably don't have a username on ieeexplore.ieee.org. The IEEE, a non-profit organization, is the world's leading professional association for the advancement of technology. The full name of the IEEE is the Institute of Electrical and Electronics Engineers, Inc., although the organization is referred to by the letters I-E-E-E and pronounced Eye-triple-E.
The paper appears in: Systems Engineering and Modeling, 2007. ICSEM '07. International Conference on
Publication Date: 20-23 March 2007
On page(s): 118-126
Location: Haifa, Israel,
Digital Object Identifier: 10.1109/ICSEM.2007.373341
Posted online: 2007-06-18 10:26:50.0