What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations

Zinovy Diskin, Boris Kadish, Frank Piessens. What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations. In Haim Kilov, Bernhard Rumpe, Ian Simmonds, editors, Behavioral Specifications of Businesses and Systems. Volume 523 of The Kluwer International Series in Engineering and Computer Science, pages 27-44, Springer, 1999. [doi]

@incollection{DiskinKP99,
  title = {What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations},
  author = {Zinovy Diskin and Boris Kadish and Frank Piessens},
  year = {1999},
  doi = {10.1007/978-1-4615-5229-1_3},
  url = {http://dx.doi.org/10.1007/978-1-4615-5229-1_3},
  researchr = {https://researchr.org/publication/DiskinKP99},
  cites = {0},
  citedby = {0},
  pages = {27-44},
  booktitle = {Behavioral Specifications of Businesses and Systems},
  editor = {Haim Kilov and Bernhard Rumpe and Ian Simmonds},
  volume = {523},
  series = {The Kluwer International Series in Engineering and Computer Science},
  publisher = {Springer},
  isbn = {978-1-4615-5229-1},
}