Conceptual Modeling of Information SystemsAuthor(s): Antoni Oliv\nFormat: Paperback\nPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany\nImprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K\nISBN-13: 9783642072567, 978-3642072567\nSynopsis\nIt is now more than fifty years since the first paper on formal specifications of an information system was published by Young and Kent. Even if the term conceptual model was not used at that time, the basic intention of the abstract specification was to a large extent the same as for developing conceptual models today: to arrive at a precise, abstract, and hardware - dependent model of the informational and time characteristics of a data processing problem. The abstract notation should enable the analyst to - ganize the problem around any piece of hardware. In other words, the p- pose of an abstract specification was for it to be used as an invariant basis for designing different alternative implementations, pe.