Thu, 21 Aug 2008 07:12:34 BST CiteULike: plbs cc http://www.citeulike.org/user/plb/tag/cc CiteULike.org en-gb Copyright © 2004-2008 citeulike.org http://www.citeulike.org/user/plb/article/1669021 <i>(January 2001)</i><br /><br />This thesis describes how the Calculating with Concepts technique, a formal conceptual modelling technique, can be used in the field of Process Architecture. First we show that the Calculating with Concepts technique can be used to enhance existing design methodologies. We show that the Calculating with Concepts technique can be used to derive formal specifications from conceptual models. The resulting formal specifications contain more information than the conceptual models from which they are derived. This is achieved by using a technique called cycle chasing to find information regarding inter-relation dependencies and making it explicit in the Calculating with Concepts notation. We also show that the interpretation of the specifications is more clear than the interpretation of the conceptual models from which they are derived, because the specifications have a formal basis. Second we show that the Calculating with Concepts technique can be used to facilitate design discussions, by reasoning with Calculating with Concepts models using predefined operators. Using these operators, we can show whether a conceptual model describes at least the same information as another con ceptual model. This can be used with specification refinement or for proving that a piece of software implements specific needs. We can also show how two Calculating with Concepts models can be integrated. This can be used with the modular design of software and with assessing how an off-the-shelf piece of software can be integrated in a design. The technique has been applied successfully in a number of case studies where formal support was needed to be able to give precise insight into design issues. Calculating with Concepts A Formal Conceptual Modelling Technique applied in the Field of Process Architecture Remco Dijkman (January 2001) 2007-09-18T12:06:31-00:00 2001 cc http://www.citeulike.org/user/plb/article/1668997 <i>(1994)</i><br /><br />We propose a very concise calculus for modelling object-oriented concepts such as objects, message sending, encapsulation and incremental modification. We show how to deal with recursion and provide some object-oriented examples. State and encapsulated inheritance are modelled by means of an incremental modification operator. OPUS: a Calculus for Modelling Object-Oriented Concepts Tom Mens Kim Mens Patrick Steyaert (1994) 2007-09-18T12:06:31-00:00 1994 cc http://www.citeulike.org/user/plb/article/878995 <i>(2001)</i><br /><br />This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based on these diagrams. This paper aims at showing the industrial benefits of using such a formal and rigorous approach to reason about business processes and software applications in the early phases of the software development process. The paper discusses how the CC technique can be used in the specification of business... Calculating with concepts: a technique for the development of business process support R Dijkman L Pires S Joosten (2001) 2006-09-30T15:01:16-00:00 2001 cc