A Formal Specification Framework for Object-Oriented Distributed Systems

@article{Buchs2000AFS,
  title={A Formal Specification Framework for Object-Oriented Distributed Systems},
  author={Didier Buchs and Nicolas Guelfi},
  journal={IEEE Trans. Software Eng.},
  year={2000},
  volume={26},
  pages={635-652}
}
ÐIn this paper, we present the Concurrent Object-Oriented Petri Nets (CO-OPN/2) formalism devised to support the specification of large distributed systems. Our approach is based on two underlying formalisms: order-sorted algebra and algebraic Petri nets. With respect to the lack of structuring capabilities of Petri nets, CO-OPN/2 has adopted the object… CONTINUE READING