Conceptual modeling of information systems

Conceptual Modeling of Information Systems

Volumn , Issue , 2007, Pages 1-455

  Olivé, Antoni ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84892255362     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-540-39390-0     Document Type: Book

References (292)

1. Abiteboul S, Hull R (1987) IFO: A formal semantic database model. ACM Trans. Database Syst. 12(4):525-565.
2. Abrial JR (1974). Data semantics. In: Klimbie JW, Koffeman KL (eds) Data management systems. North-Holland, pp 1-59.
3. ACM (1994) Special issue on intelligent agents. Commun. ACM 37 (7).
4. ACM (1996) Special issue on data mining and knowledge discovery in databases. Commun. ACM 39 (11).
5. Ackermann J, Turowski K (2006) A library of OCL specification patterns for behavioral specification of software components. CAiSE 2006, LNCS 4001:255-269.
6. Adolph S, Bramble P (2003) Patterns for effective use cases. Addison-Wesley.
7. Alexander IF, Maiden N (eds) (2004) Scenarios, stories, use cases through the systems development life-cycle. Wiley.
8. Analyti A, Spyratos N, Constantopoulos P (1997) Property covering: A powerful construct for schema derivations. ER 1997, LNCS 1331:271-284.
9. ANSI (1975) ANSI/X3/SPARC study group on data base management systems. Interim report. FDT, Bulletin of ACM SIGMOD 7 (2).
10. Armstrong W (1974) Dependency structures of database relationships. IFIP Congress 1974:580-583.
11. Artale A, Franconi E, Guarino N, Pazzi L (1996) Part-whole relations in object-centered systems: An overview. Data Knowl. Eng. 20:347-383.
12. Artz JM (1997) A crash course in metaphysics for the database designer. J. Database Manag. 8(4):25-30.
13. Assenova P, Johannesson P (1996) Improving quality in conceptual modelling by the use of schema transformations. ER 1997, LNCS 1157:277-291.
14. Atkinson C, Kühne T (2001) The essence of multilevel metamodeling. UML 2001, LNCS 2185:19-33.
15. Atkinson C, Henderson-Sellers B, Kühne T (2000) To meta or not to meta - That is the question. JOOP 13(8):32-35.
16. Atzeni P, Parker DS (1988) Formal properties of net-based knowledge representation schemes. Data Knowl. Eng. 3:137-147.
17. Atzeni P, Cappellari P, Bernstein PA (2006) Model-independent schema and data translation. EDBT 2006, LNCS 3896:368-385.
18. Balaban M, Shoval P (1999) Resolving the "weak status" of weak entity types in Entity-Relationships schemas. ER 1999, LNCS 1728:369-383.
19. Bancilhon F, Ramakrishnan R (1986) An amateur's introduction to recursive query processing strategies. SIGMOD Conference 1986:16-52.
20. Batini C, Ceri S, Navathe SB (1992) Conceptual database design: An entity-relationship approach. Benjamin/Cummings.
21. Berardi D, Calvanese D, De Giacomo G (2005) Reasoning on UML class diagrams. Artif. Intell. 168(1-2):70-118.
22. Bergamaschi S, Sartori C (1992) On taxonomic reasoning in conceptual design. ACM Trans. Database Syst. 17(3):385-422.
23. Bernstein PA (2003) Applying model management to classical meta data problems. CIDR 2003:209-220.
24. Bicarregui J, Ritchie B (1995) Invariants, frames, and postconditions: A comparison of the VDM and B notations. IEEE Trans. Software Eng. 21(2):78-89.
25. Biskup J, Menzel R, Polle T, Sagiv Y (1996). Decomposition of relationships through pivoting. ER 1996, LNCS 1157:28-41.
26. Bodart F, Pigneur Y (1993) Conception assistée des systèmes d'information. Masson.
27. Bodart F, Patel A, Sim M, Weber R (2001) Should optional properties be used in conceptual modelling? A theory and three empirical tests. Inf. Syst. Res. 12(4):384-405.
28. Boman M, Bubenko JA Jr, Johannesson P, Wangler B (1997) Conceptual modelling. Prentice Hall.
29. Bonner AJ, Kifer M (1998) The state of change: A survey. In: Freitag B, Decker H, Kifer M, Voronkov A (eds) Transactions and change in logic databases, LNCS 1472:1-36.
30. Booch G (1991) Object-oriented design with applications. Benjamin/Cummings.
31. Booch G, Rumbaugh J, Jacobson I (1999) The Unified Modeling Language user guide. Addison-Wesley.
32. Borgida A (1985a) Features of languages for the development of information systems at the conceptual level. IEEE Software 2(1):63-72.
33. Borgida A (1985b) Language features for flexible handling of exceptions in information systems. ACM Trans. Database Syst. 10(4):565-603.
34. Borgida A (1995) Description logics in data management. IEEE Trans. Software Eng. 7(5):671-682.
35. Borgida A, Greenspan SJ (1980) Data and activities: Exploiting hierarchies of classes. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980:98-100.
36. Borgida A, Mylopoulos J, Wong H K T (1984) Generalization/specialization as a basis for software specification. In: Brodie et al. (eds) pp 87-117.
37. Borgida A, Greenspan S, Mylopoulos J (1985) Knowledge representation as the basis for requirements specifications. IEEE Computer 18(4):82-91.
38. Borgida A, Mylopoulos J, Schmidt JW (1993) The TaxisDL software description language. In: Jarke M (ed) Database application engineering with DAIDA. Springer, pp 63-84.
39. Borgida A, Mylopoulos J, Reiter R (1995) On the frame problem in procedure specifications. IEEE Trans. Software Eng. 21(10):785-798.
40. Bosak R, Clippinger RF, Dobbs C, Goldfinger R, Jasper RB, Keating W, Kendrick G, Sammet JE (1962) An information algebra: phase 1 report - language structure group of the CODASYL development committee. Commun. ACM 5(4):190-204.
41. Bracchi G, Furtado A, Pelagatti G (1979) Constraint specification in evolutionary data base design. In: Schneider HJ (ed) Formal models and practical tools for information systems design. North-Holland, pp 149-165.
42. Brachman RJ (1983) What IS-A is and isn't: An analysis of taxonomics links in semantic networks. IEEE Computer 16(10):30-36.
43. Brachman RJ, Levesque HJ (eds) (1985) Readings in knowledge representation. Morgan Kaufmann.
44. Brachman RJ, Schmolze JG (1985) An overview of the KL-ONE knowledge representation system. Cognitive Sci. 9(2):171-216.
45. Brodie ML (1981) Association: A database abstraction for semantic modelling. ER 1981, North-Holland, pp 577-602.
46. Brodie ML, Zilles SN (1981) (eds) Proceedings of the workshop on data abstraction, databases and conceptual modeling. ACM SIGMOD Record, 11 (2).
47. Brodie ML, Mylopoulos J, Schmidt JW (eds) (1984) On conceptual modelling: Perspectives from artificial intelligence, databases and programming languages, Springer.
48. Bubenko JA Jr (1977) Validity and verification aspects of information modeling. VLDB 1977:556-565.
49. Bubenko JA Jr (1980) Information modeling in the context of system development. IFIP Congress 1980:395-411.
50. Business Rules Group (2000) Defining business rules - What are they really? Final Report, July 2000, http://www.businessrulesgroup.org/first-paper/ br01c0.htm
51. Cabot J, Raventós R (2006) Conceptual modelling patterns for roles. J. Data Semantics V: 158-184.
52. Calvanese D, Lenzerini M (1994) On the interaction between ISA and cardinality constraints. ICDE 1994:204-213.
53. Ceri S, Fraternali P (1997) Designing database applications with objects and rules: The IDEA methodology. Addison-Wesley.
54. Chaffin R, Herrmann DJ (1988) The nature of semantic relations: A comparison of two approaches. In: Evens MW (ed) Relational models of the lexicon, Cambridge University Press, pp 289-334.
55. Chaffin R, Herrmann DJ, Winston M (1988) An empirical taxonomy of Part-Whole relations: Effects of Part-Whole relation type on relation identification. Language and Cognitive Processes 3(1):17-48.
56. Champeaux D De, Lea D, Faure P (1993) Object-oriented system development. Addison-Wesley.
57. Chen P P S (1976) The Entity-Relationship model: Towards a unified view of data. ACM Trans. Database Syst. 1(1):9-36.
58. Chen P (1983) English sentence structure and entity-relationship diagrams. Inf. Sci. 29(2-3):127-149.
59. Chomicki J, Saake G (eds) (1998) Logics for databases and information systems. Kluwer Academic.
60. Cockburn A (2001) Writing effective use cases. Addison-Wesley.
61. Codd EF (1979) Extending the database relational model to capture more meaning. ACM Trans. Database Syst. 4(4):397-434.
62. Coleman D, Hayes F, Bear S (1992) Introducing objectcharts, or how to use statecharts in object-oriented design. IEEE Trans. Software Eng. 18(1):9-18.
63. Constantine LL, Lockwood L A D (1999). Software for use. Addison-Wesley.
64. Cook S, Daniels J (1994) Designing object systems: Object-oriented modelling with Syntropy. Prentice Hall.
65. Costal D, Gómez C (2006) On the use of association redefinition in UML class diagrams. ER 2006, LNCS 4215:513-527.
66. Costal D, Olivé A, Sancho M-R (1997) Temporal features of class populations and attributes in conceptual models. ER 1997, LNCS 1331:57-70.
67. Costal D, Olivé A, Teniente E (2001) Relationship type refinement in conceptual models with multiple classification. ER 2001, LNCS 2224:397-411.
68. Costal D, Gómez C, Queralt A, Raventós R, Teniente E (2006) Facilitating the definition of general constraints in UML. MoDELS 2006, LNCS 4199:260-274.
69. Couger JD (1973) Evolution of business system analysis techniques. ACM Comput. Surv. 5(3):167-198.
70. Crane ML, Dingel J (2005) UML vs. classical vs. Rhapsody statecharts: Not all models are created equal. MoDELS 2005, LNCS 3713:97-112.
71. Dahchour M, Pirotte A, Zimányi E (2002) Materialization and its metaclass implementation. IEEE Trans. Knowl. Data Eng. 14(5):1078-1094.
72. Dahchour M, Pirotte A, Zimányi E (2005) Generic relationships in information modeling. J. Data Semantics IV: 1-34.
73. Dalianis H, Johannesson P (1997) Explaining conceptual models - An architecture and design principles. ER 1997, LNCS 1331:215-228.
74. Dardenne A, Van Lamsweerde A, Fichas S (1993) Goal-directed requirements acquisition. Sci. Comput. Program. 20:3-50.
75. Davis AM (1988) A comparison of techniques for the specification of external system behavior. Commun. ACM 31(9):1098-1115.
76. Davis AM (1993) Software requirements: Objects, functions and states. Prentice Hall.
77. Davis R, Shrobe H, Szolovits P (1993) What is a knowledge representation? AI Magazine 14(1):17-33.
78. De Marco T (1979) Structured analysis and system specification. Prentice Hall.
79. De Troyer O, Meersman R, Verlinden P (1988) RIDL* on the CRIS case. In Olle et al (eds) pp 375-459.
80. Dey D, Storey VC, Barron TM (1999) Improving database design through the analysis of relationships. ACM Trans. Database Syst. 24(4):453-486.
81. Dignum F, Kemme T, Kreuzen W, Weigand H, Riet R Van De (1987) Constraint modelling using a conceptual prototyping language. Data Knowl. Eng. 2:213-254.
82. D'Souza DF, Wills AC (1999) Objects, components and frameworks with UML: The Catalysis approach. Addison-Wesley.
83. Dubitzky W, Büchner AG, Hughes JG, Bell DA (1999) Towards concept-oriented databases. Data Knowl. Eng. 30:23-55.
84. Dubois E, Hagelstein J, Lahou E, Ponsaert P, Rifaut A, Williams F (1986) The ERAE model: A case study. In: Olle et al. (eds) pp 87-105.
85. Dullea J, Song I-Y (1999) A taxonomy of recursive relationships and their structural validity in ER modeling. ER 1999, LNCS 1728:384-398.
86. Dullea J, Song I-Y, Lamprou I (2003) An analysis of structural validity in entity-relationship modeling. Data Knowl. Eng. 47:167-205.
87. Elmasri R, Navathe SB (2003) Fundamentals of database systems. Addison-Wesley.
88. Embley DW, Kurtz BD, Woodfield SN (1992) Object-oriented systems analysis. Yourdon Press.
89. Engels G, Gogolla M, Hohenstein W, Hülsmann K, Löhr-Richter P, Saake G, Dieter HD (1992) Conceptual modelling of database applications using an extended ER model. Data Knowl. Eng. 9:157-204.
90. Eshuis R, Jansen DN, Wieringa R (2002) Requirements-level semantics and model checking of object-oriented statecharts. Requir. Eng. 7:243-263.
91. Evermann J, Wand Y (2005) Ontology based object-oriented domain modeling: Fundamental concepts. Requir. Eng. 10:146-160.
92. Fagin R (1977) Multivalued dependencies and a new normal form for relational databases. ACM Trans. Database Syst. 2(3):262-278.
93. Ferrentino AB, Mills HD (1977) State machines and their semantics in software engineering. In: Proceedings of the First International Software and Applications Conference (COMPSAC 77), IEEE Computer Society, pp 242-251.
94. Fikes R, Kehler T (1985) The role of frame-based representation in reasoning. Commun. ACM 28(9):904-920.
95. Formica, A (2002) Finite satisfiablity of integrity constraints in object-oriented database schemas. IEEE Trans. Knowl. Data Eng. 14(1):123-139.
96. Formica A, Frank H (2002) Consistency of the static and dynamic components of object-oriented specifications. Data Knowl. Eng. 40:195-215.
97. Fowler M (1997) UML distilled. Addison-Wesley.
98. Fry JP, Sibley EH (1976) Evolution of data-base management systems. ACM Comput. Surv. 8(1):7-42.
99. Furtado A, Casanova MA, Tucherman L (1987) The CHRIS consultant. ER 1987, North-Hollland, pp 515-532.
100. Gane C, Sarson T (1979) Structured systems analysis: Tools and techniques. Prentice Hall.
101. Gemino A, Wand Y (2005) Complexity and clarity in conceptual modeling: Comparison of mandatory and optional properties. Data Knowl. Eng. 55:301-326.
102. Glinz M (2000) A lightweight approach to consistency of scenarios and class models. ICRE 2000:49-58.
103. Godfrey P, Grant J, Gryz J, Minker J (1998) Integrity constraints: Semantics and applications. In: Chomicki and Saake (eds) pp 265-306.
104. Gogolla M (2000) Identifying objects by declarative queries. In Papazoglou MP, Spaccapietra S, Tari Z (eds) Advances in object-oriented data modeling. MIT Press, pp 255-277.
105. Gogolla M, Henderson-Sellers B (2002) Analysis of UML stereotypes within the UML metamodel. UML 2002, LNCS 2460:84-99.
106. Gogolla M, Bohling J, Richters M (2005) Validating UML and OCL models in USE by automatic snapshot generation. Software and System Modeling 4(4):386-398.
107. Goldstein RC, Storey V (1994) Materialization. IEEE Trans. Knowl. Data Eng. 6(5):835-842.
108. Goldstein RC, Storey V (1999) Data abstractions: Why and how? Data Knowl. Eng. 29:293-311.
109. Greenspan S, Mylopoulos J, Borgida A (1982) Capturing more world knowledge in the requirements specification. ICSE 1982, IEEE, pp 225-235.
110. Greenspan S, Mylopoulos J, Borgida A. (1994) On formal requirements modeling languages: RML revisited. ICSE 1994, IEEE Computer Society/ACM Press, pp 135-147.
111. Griethuysen JJ Van (ed) (1982) Concepts and terminology for the conceptual schema and the information base. ISO TC97/SC5/WG3.
112. Grose TJ, Doney GC, Brodsky SA (2002) Mastering XMI. Java programming with XMI, XML and UML. Wiley.
113. Gruber TR (1993) A translation approach to portable ontology specifications. Knowl. Acquis. 5:199-220.
114. Guarino N, Giaretta P (1995) Ontologies and knowledge bases: Towards a terminological clarification. In: Mars NJI (ed) Towards very large knowledge bases. IOS Press, pp 25-32.
115. Gulla JA (1996) A general explanation component for conceptual modeling in CASE environments. ACM Trans. Inf. Syst. 14(3):297-329.
116. Gustaffsson MR, Karlsson T, Bubenko JA Jr. (1982) A declarative approach to conceptual information modeling. In: Olle et al. (eds) pp 93-142.
117. Hainaut J-L (1996) Specification preservation in schema transformations - Application to semantics and statistics. Data Knowl. Eng. 19(2):99-134.
118. Halper M, Geller J, Perl Y (1998) An OODB Part-Whole model: Semantics, notation and implementation. Data Knowl. Eng. 27:59-95.
119. Halpin T (2001) Information modeling and relational databases: From conceptual analysis to logical design. Morgan Kaufmann.
120. Halpin TA, Proper HA (1995a) Subtyping and polymorphism in object-role modelling. Data Knowl. Eng. 15:251-281.
121. Halpin TA, Proper HA (1995b) Database schema transformation and optimization. OOER 1995, LNCS 1021:191-203.
122. Hammer M, McLeod D (1981) Database description with SDM: A semantic database model. ACM Trans. Database Syst. 6(3):351-386.
123. Harel D (1987) Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8(3):231-274.
124. Harel D, Gery E (1997) Executable object modeling with statecharts. IEEE Computer 30(7):31-42.
125. Harel D, Kupferman O (2002) On object systems and behavioral inheritance. IEEE Trans. Software Eng. 28(9):889-903.
126. Harel D, Naamad A (1996) The STATEMATE semantics of statecharts. ACM Trans. Software Eng. Methodol. 5(4):293-333.
127. Hartmann S (1998) On the consistency of int-cardinality constraints. ER 1998, LNCS 1507:150-163.
128. Hartmann S (2001) Decomposing relationship types by pivoting and schema equivalence. Data Knowl. Eng. 39:75-99.
129. Henderson-Sellers B, Barbier F (1999) What is this thing called aggregation? Tools29, IEEE Computer Society Press, pp 216-230.
130. Hofstede A H M Ter, Weide, TP Van Der (1993) Expressiveness in conceptual data modelling. Data Knowl. Eng. 10:65-100.
131. Hofstede A H M Ter, Proper HA, Weide TP Van Der (1997) Exploiting fact verbalisation in conceptual information modeling. Inf. Syst. 22(6/7):349-385.
132. Hopcroft JE, Motwani R, Ullman JD (2001) Introduction to automata theory, languages, and computation. 2nd edn. Addison-Wesley.
133. Hull R, King R (1987) Semantic database modeling: Survey, applications, and research issues. ACM Comput. Surv. 19(3):201-260.
134. IEEE (1999) IEEE standard for conceptual modeling language syntax and semantics for IDEF1X97 (IDEFobject). IEEE Std 1320. 2-1998.
135. Imam IF, Kodratoff Y (1997) Intelligent adaptive agents. AI Magazine 18(3):75-80.
136. Insfrán E, Pastor O, Wieringa R (2002) Requirements engineering-based conceptual modelling. Requir. Eng. 7:61-72.
137. Iris MA, Litowitz BE, Evens M (1988) Problems of the part-whole relation. In: Evens MW (ed.) Relational models of the lexicon, Cambridge University Press, pp 261-288.
138. Jackson M (1983) System development. Prentice Hall.
139. Jackson M (2001) Problem frames: Analyzing and structuring software development problems. Addison-Wesley.
140. Jacobson I (2004) Use cases - yesterday, today and tomorrow. Software and Systems Modeling 3(3):210-220.
141. Jardine DA (1984) Concepts and terminology for the conceptual schema and the information base. Computers & Standards 3:3-17.
142. Jarke M, Mylopoulos J, Schmidt JW, Vassiliou Y (1992) DAIDA: An environment for evolving information systems. ACM Trans. Inf. Syst. 10(1):1-50.
143. Jarrar M, Heymans S (2006) Unsatisfiability reasoning in ORM conceptual schemes. EDBT Workshops 2006, LNCS 4254:517-534.
144. Jeusfeld MA, Jarke M, Nissen HW, Staudt M (1998) ConceptBase: Managing conceptual models about information systems. In: Bernus P, Mertins K, Schmidt G (eds) Handbook on architectures of information systems. Springer, pp 265-285.
145. Johannesson P (1995) Representation and communication - a speech act based approach to information systems design. Inf. Syst. 20(4):291-303.
146. Jones T, Song I-Y (1996) Analysis of binary/ternary cardinality combinations in entity-relationship modeling. Data Knowl. Eng. 19(1):39-64.
147. Katasonov A, Sakkinen M (2006) Requirements quality control: a unifying framework. Requir. Eng. 11(1):42-57.
148. Kent W (1978) Data and reality. North-Holland.
149. Kim W, Banerjee J, Chou HT, Garza JF, Woelk D (1987) Composite object support in an object-oriented database system. OOPSLA 1987:118-125.
150. Kim W, Bertino E, Garza JF (1989) Composite objects revisited. SIGMOD Conference 1989:337-347.
151. Kowalski R (1978) Logic for data description. In: Gallaire H, Minker J (eds) Logic and data bases. Plenum Press, pp 77-103.
152. Kung CH (1984) A temporal framework for database specification and verification. VLDB 1984:91-99.
153. Kung CH, Sølvberg A (1986) Activity modeling and behavior modeling. In Olle et al. (eds) pp 145-171.
154. Lakoff G (1987) Women, fire, and dangerous things. What categories reveal about the mind. University of Chicago Press.
155. Lambrix P (2000) Part-Whole reasoning in an object-centered framework. LNAI 1771, Springer.
156. Langefors B (1974) Information systems. IFIP Congress 1974. North-Holland, pp 937-945.
157. Larman C (2002) Applying UML and patterns. Prentice Hall.
158. Larman C (2005) Applying UML and Patterns: An Introduction to object-oriented analysis and design and iterative development. 3rd edn. Prentice Hall.
159. Le Moigne J-L (1978) La théorie du système d'information organisationnel. Informatique et Gestion, 102:28-31.
160. Lenzerini M (1987) Covering and disjointness constraints in type networks. ICDE 1987:386-393.
161. Lenzerini M, Nobili P (1990) On the satisfiability of dependency constraints in entity-relationship schemata. Inf. Syst. 15(4):453-461.
162. Lenzerini M, Nardo D, Simi M (1991) Inheritance hierarchies in knowledge representation and programming languages. Wiley.
163. Liddle SW, Embley DW, Woodfield, SN (1993) Cardinality constraints in semantic data models. Data Knowl. Eng. 11:235-270.
164. Lindland OI, Sindre G, Sølvberg A (1994) Understanding quality in conceptual modeling. IEEE Software 11(2):42-49.
165. Ling T (1985) A normal form for entity-relationship diagrams. ER 1985:24-35.
166. Lipeck UW (1986) Stepwise specification of dynamic database behaviour. SIGMOD Conference 1986:387-397.
167. Loucopoulos P (1992) Conceptual modeling. In: Loucopoulos P, Zicari R (eds) Conceptual modeling, databases and CASE: An integrated view of information systems development. Wiley, pp 1-26.
168. Loucopoulos P, Karakostas V (1995) System requirements engineering. McGraw-Hill.
169. Lundberg B (1983) On correctness of information models. Inf. Syst. 8(2):87-93.
170. Lunn T, Neff SA (1992) MRP: Integrating material requirements planning and modern business. McGraw-Hill.
171. Marca DA, McGowan, CL (1988) SADT: Structured analysis and design technique. McGraw-Hill.
172. Martin J, Odell J (1995) Object-oriented methods: A foundation. Prentice Hall.
173. McAllister AJ (1998) Complete rules for n-ary relationship cardinality constraints. Data Knowl. Eng. 27(3):255-288.
174. McAllister AJ, Sharpe D (1998) An approach for decomposing n-ary data relationships. Softw., Pract. Exper. 28(2):125-154.
175. McCarthy J, Hayes P (1969) Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer B, Michie D (eds.) Machine Intelligence 4:463-502.
176. McMenamim SM, Palmer JF (1984) Essential systems analysis. Yourdon Press/Prentice Hall.
177. Meyer B (1997) Object-oriented software construction. Prentice Hall.
178. Moody DL (1998) Metrics for evaluating the quality of entity relationship models. ER 1998, LNCS 1507:211-225.
179. Moody DL, Sindre G, Brasethvik T, Sølvberg A (2003) Evaluating the quality of information models: Empirical testing of a conceptual model quality framework. ICSE 2003:295-307.
180. Motro A (1989) Integrity = validity + completeness. ACM Trans. Database Syst. 14(4):480-502.
181. Motro A (1994) Intensional answers to database queries. IEEE Trans. Knowl. Data Eng. 6(3):444-454.
182. Motschnig-Pitrik R (1993) The semantics of parts versus aggregates in data/knowledge modelling. CAiSE 1993, LNCS 685:352-373.
183. Motschnig-Pitrik R, Kaasboll J (1999) Part-Whole relationship categories and their application in object-oriented analysis. IEEE Trans. Knowl. Data Eng. 11(5):779-797.
184. Motschnig-Pitrik R, Mylopoulos J (1992) Classes and instances. Int. J. Cooperative Inf. Syst. 1(1):61-92.
185. Motschnig-Pitrik R, Storey VC (1995) Modelling of set membership: The notion and the issues. Data Knowl. Eng. 16:147-185.
186. Mylopoulos J (1998) Information modeling in the time of the revolution. Inf. Syst. 23(3/4):127-155.
187. Mylopoulos J, Levesque HJ (1984) An overview of knowledge representation. In: Brodie et al. (eds): 3-17.
188. Mylopoulos J, Bernstein PA, Wong H K T (1980) A language facility for designing database-intensive applications. ACM Trans. Database Syst. 5(2):185-207.
189. Mylopoulos J, Borgida A, Jarke M, Koubarakis, M (1990) Telos: Representing knowledge about information systems. ACM Trans. Inf. Syst. 8(4):325-362.
190. Nicolas JM (1982) Logic for improving integrity checking in relational data bases. Acta Informatica 18:227-253.
191. Nicolas JM, Gallaire H (1978) Data base: Theory vs. interpretation. In: Gallaire H, Minker J (eds) Logic and data bases. Plenum Press, pp 33-54.
192. Nicolas JM, Yazdanian K (1978) Integrity checking in deductive data bases. In: Gallaire H, Minker J (eds) Logic and data bases. Plenum Press, pp 325-344.
193. Nijssen GM, Halpin TA (1989) Conceptual schema and relational database design. Prentice Hall.
194. Norrie MC, Steiner A, Würgler A, Wunderli M (1996) A model for classification structures with evolution control. ER1996, LNCS 1157:456-471.
195. Nuseibeh B, Easterbrook S (2000). Requirements engineering: a roadmap. ICSE-Future of SE Track 2000:35-46.
196. Oberweis A, Sander P (1996) Information system behavior specification by high-level Petri nets. ACM Trans. Inf. Syst. 14(4):380-420.
197. Odell J (1994) Power types. JOOP 7(2):8-12.
198. Olivé A (1999) Relationship reification: A temporal view. CAiSE 1999, LNCS 1626:396-410.
199. Olivé A (2000a) An introduction to conceptual modeling of information systems. In: Piatini M, Díaz O (eds) Advanced database technology and design. Artech House, pp 25-57.
200. Olivé A (2000b) Time and change in conceptual modeling of information systems. In: Brinkkemper S, Lindencrona E, Sølvberg A (eds) Information systems engineering. State of the art and research themes. Springer, pp 289-304.
201. Olivé A (2002) Representation of generic relationship types in conceptual modeling. CAiSE 2002, LNCS 2348:675-691.
202. Olivé A (2003a) Derivation rules in object-oriented conceptual modeling languages. CAiSE 2003, LNCS 2681:404-420.
203. Olivé A (2003b) Integrity constraints definition in object-oriented conceptual modeling languages. ER 2003, LNCS 2813:349-362.
204. Olivé A (2005) Conceptual schema-centric development: A grand challenge for information systems research. CAiSE 2005, LNCS 3520:1-15.
205. Olivé A, Raventós R (2006) Modeling events as entities in object-oriented conceptual modeling languages. Data Knowl. Eng. 58(3):243-262.
206. Olivé A, Teniente E (2002) Derived types and taxonomic constraints in conceptual modeling. Inf. Syst. 27:391-409.
207. Olivé A, Costal D, Sancho M-R (1999) Entity evolution in IsA hierarchies. ER 1999, LNCS 1728:62-80.
208. Olle TW, Sol HG, Verrijn-Stuart AA (eds) (1982) Information systems design methodologies: A comparative review. North-Holland.
209. Olle TW, Sol HG, Tully CJ (eds) (1983) Information systems design methodologies: A feature analysis. North-Holland.
210. Olle TW, Sol HG, Verrijn-Stuart AA (eds) (1986) Information systems design methodologies: Improving the practice. North-Holland.
211. Olle TW, Sol HG, Bhabuta, L. (eds) (1988) Computerized assistance during the information systems life cycle. North-Holland.
212. OMG (2005a) MOF 2.0/XMI Mapping Specification, v2.1 formal/05-09-01.
213. OMG (2005b) OCL 2.0 Specification. Version 2.0, ptc/2005-06-06.
214. OMG (2006a) Unified Modeling Language: Superstructure. Version 2.1, ptc/06-01-02.
215. OMG (2006b) Meta Object Facility (MOF) Core Specification. Version 2.0 fomal/06-01-01.
216. Opdahl AL, Henderson-Sellers B, Barbier F (2001) Ontological analysis of whole-part relationships in OO-models. Information and Software Technology, 43:387-399.
217. Papazoglou MP (1995) Unraveling the semantics of conceptual schemas. Commun. ACM 38(9):80-94.
218. Parent C, Spaccapietra S, Zimányi E (2006) Conceptual modeling for traditional and spatio-temporal applications: The MADS approach. Springer.
219. Parsons J (1996) An information model based on classification theory. Management Science, 42(2):1437-1453.
220. Parsons J, Wand Y (1997) Choosing classes in conceptual modeling. Commun. ACM 40(6):63-69.
221. Parsons J, Wand Y (2000) Emancipating instances from the tyranny of classes in information modeling. ACM Trans. Database Syst. 25(2):228-268.
222. Pastor JA, Olivé A (1995) Supporting transaction design in conceptual modelling of information systems. CAiSE 1995, LNCS 932:40-53.
223. Pastor O, Gómez J, Insfrán E, Pelechano V (2001) The OO-Method approach for information systems modeling: From object-oriented conceptual modeling to automated programming. Inf. Syst. 26:507-534.
224. Peckham J, Maryanski F (1988) Semantic data models. ACM Comput. Surv. 20(3):153-189.
225. Pernici B (1990) Objects with roles. SIGOIS Bulletin, ACM Press 11(2/3):205-215.
226. Pirotte A, Zimányi E, Massart D, Yakusheva T (1994) Materialization: A powerful and ubiquitous abstraction pattern. VLDB 1994:630-641.
227. Poulovassilis A, McBrien P (1998) A general formal framework for schema transformation. Data Knowl. Eng. 28(1):47-71.
228. Queralt A, Teniente E (2006) Specifying the semantics of operation contracts in conceptual modeling. J. Data Semantics VII: 33-56.
229. Queralt A, Teniente E (2006b) Reasoning on UML class diagrams with OCL constraints. ER 2006, LNCS 4215:497-512.
230. Qian X (1993) The deductive synthesis of database transactions. ACM Trans. Database Syst. 18(4):626-677.
231. Quillian R (1968) Semantic memory. In: Minsky M (ed) Semantic information processing. MIT Press, pp 227-270.
232. Ram S, Khatri V (2005) A comprehensive framework for modeling set-base business rules during conceptual database design. Inf. Syst. 30:89-118.
233. Reiter R (1992) What should a database know? J. Log. Program. 14(1, 2):127-153.
234. Richters M, Gogolla M (2000) Validating UML models and OCL constraints. UML 2000, LNCS 1939:265-277.
235. Riddle WE, Wileden JC, Sayler JH, Segal AR, Stavely AM (1978) Behavior modelling during software design. Proc 3rd. Intl Conf On Software Engineering, pp 13-22.
236. Robinson KA (1979) An entity/event data modelling method. The Computer Journal, 22(3):270-281.
237. Robinson K, Berrisford G (1994) Object-oriented SSADM. Prentice Hall.
238. Rochfeld A, Negros P (1993) Relationships of relationships. Data Knowl. Eng. 9:205-221.
239. Rolland C, Cauvet C (1992) Trends and perspectives in conceptual modelling. In: Loucopoulos P, Zicari R (eds) Conceptual modeling, databases and CASE: An integrated view of information systems development. Wiley, pp 27-48.
240. Rolland C, Prakash N (2000) From conceptual modelling to requirements engineering. Ann. Software Eng. 10:151-176.
241. Rolland C, Proix C (1992) A natural language approach for requirements engineering. CAiSE 1992, LNCS 593:257-277.
242. Rolland C, Richard C (1982) The REMORA methodology for information systems design and management. In: Olle et al. (eds) pp 369-426.
243. Rolland C, Ben Achour C, Cauvet C, Ralyté J, Sutcliffe A, Maiden N A M, Jarke M, Haumer P, Pohl K, Dubois E, Heymans P (1998) A proposal for a scenario classification framework. Requir. Eng. 1:23-47.
244. Rosenthal A, Reiner D (1994) Tools and transformations - rigorous and otherwise-for practical database design. ACM Trans. Database Syst. 19(2):167-211.
245. Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W (1991) Object-oriented modeling and design. Prentice Hall.
246. Rumbaugh J, Jacobson I, Booch G (2005) The Unified Modeling Language reference manual. Addison-Wesley.
247. Rusinoff DM (1989) Proteus: A frame-based nonmonotonic inference system. In Kim W, Lochovsky FH (eds) Object-oriented concepts, applications, and databases, Addison-Wesley, pp 127-150.
248. Schrefl M, Stumptner M (2000) On the design of behavior consistent specializations of object life cycles in OBD and UML. In: Papazoglou MP, Spaccapietra S, Tari Z (eds) Advances in object-oriented data modeling. MIT Press, pp 65-104.
249. Schrefl M, Stumptner M (2002) Behavior-consistent specialization of object life cycles. ACM Trans. Softw. Eng. Methodol. 11(1):92-148.
250. Schreiber G, Akkermans H, Anjewierden A, Hoog R De, Shadbolt N, Van De Velde W, Wielinga B (2000) Knowledge engineering and management: The CommonKADS methodology. MIT Press.
251. Selic B, Gullekson G, Ward PT (1994) Real-time object-oriented modeling. Wiley.
252. Sendall S, Strohmeier A (2000) From use cases to system operation specifications. UML 2000, LNCS 1939:1-15.
253. Shipman DW (1981) The functional data model and the data language DAPLEX. ACM Trans. Database Syst. 6(1):140-173.
254. Shlaer S, Mellor SJ (1992) Object lifecycles. Modeling the world in states. Yourdon Press.
255. Siau K, Wand Y, Benbasat I (1997) The relative importance of structural constraints and surface semantics in information modeling. Inf. Syst. 22(2/3):155-170.
256. Smith EE (1988) Concepts and thought. In: Sternberg RJ, Smith EE (eds) The psychology of human thought. Cambridge University Press, pp 19-49.
257. Smith EE, Medin DL (1981) Categories and concepts. Harvard University Press.
258. Smith JM, Smith D C P (1977) Database abstractions: Aggregation and generalization. ACM Trans. Database Syst. 2(2):105-133.
259. Snoeck M, Dedene G (1998) Existence dependency: The key to semantic
260. Sølvberg A, Kung DC (1985) On structural and behavioral modeling of reality. DS-1, North-Holland, pp 205-221.
261. Sommerville I, Sawyer P (1997) Requirements engineering: A good practice guide. Wiley.
262. Sowa JF (ed) (1991) Principles of semantic networks: Explorations in the representation of knowledge. Morgan Kaufmann.
263. Steimann F (2000) On the representation of roles in object-oriented and conceptual modelling. Data Knowl. Eng. 35(1):83-106.
264. Stillings NA, Weisler SE, Chase CH, Feinstein MH, Garfield JY, Rissland EL (1995) Cognitive science: An introduction. MIT Press.
265. Storey VC (1993) Understanding semantic relationships. The VLDB Journal, 2(4):455-488.
266. Sundgren B (1975) Theory of data bases. Petrocelli.
267. Teichroew D, Hershey EA (1977) PSL/PSA: A computer-aided technique for structured documentation and analysis of information processing systems. IEEE Trans. Software Eng. 3(1):41-48.
268. Teichroew D, Sayani H (1971) Automation of system building. Datamation, August: 25-30.
269. Teisseire M, Poncelet P, Cichetti R (1994) Dynamic modelling with events. CAiSE 1994, LNCS 811:186-199.
270. Thalheim B (1992) Fundamentals of cardinality constraints. ER 1992, LNCS 645:7-23.
271. Thalheim B (2000) Entity-relationship modeling. Springer.
272. Theodoulidis C, Wangler B, Loucopoulos P (1992) The Entity-Relationship- Time model. In: Loucoupulos P, Zicari R (eds) Conceptual Modeling, Databases and CASE: An integrated view of information systems development. Wiley, pp 87-115.
273. Tsichritzis DC, Klug A (1978) The ANSI/X3/SPARC DBMS framework: Report of the study group on data base management systems. Inf. Syst. 3(3):173-191.
274. Tsichritzis DC, Lochovsky FH (1982) Data models. Prentice Hall.
275. Ullman JD (1988) Principles of database and knowledge-base systems, Vol. 1. Computer Science Press.
276. Van Der Straeten R, Jonckers V, Mens T (2004) Supporting model refactorings through behaviour inheritance consistencies. UML 2004, LNCS 3273:305-319.
277. Veloso P A S, Furtado AL (1985) Towards simpler and yet complete formal specifications. Proc. IFIP WG 8.1 WC on Theoretical and Formal Aspects of Information Systems, pp 175-189.
278. Verrijn-Stuart AA, Olle TW (eds) (1994) Methods and associated tools for the information systems life cycle. IFIP Transactions A-55. North-Holland.
279. W3C (2004) XML Schema Part 2: Datatypes, 2nd edn. Available online at http://www.w3.org/TR/xmlschema-2/.
280. Wand Y, Weber R (1988) An ontological analysis of some fundamental information systems concepts. Proc. of the 9th Annual Intl Conf on Information Systems, pp 213-225.
281. Wand Y, Storey VC, Weber R (1999) An ontological analysis of the relationship construct in conceptual modeling. ACM Trans. Database Syst. 24(4):494-528.
282. Warmer J, Kleppe A (2003) The Object Constraint Language: Getting your models ready for MDA, 2nd edn. Addison-Wesley.
283. Wegner P (1987) The object-oriented classification paradigm. In: Shriver B, Wegner P (eds) Research directions in object-oriented programming. MIT Press, pp 479-560.
284. Wieringa RJ (2003) Design methods for reactive systems. Yourdon, Statemate and the UML. Morgan Kaufmann.
285. Wieringa R, Jonge W De, Spruit P (1995) Using dynamic classes and role classes to model object migration. TAPOS 1(1):61-83.
286. Wieringa R, Meyer JJ, Weigand H (1989) Specifying dynamic and deontic integrity constraints. Data Knowl. Eng. 4:157-189.
287. Wieringa R, Weigand H, Meyer J-J, Dignum (1991) The inheritance of dynamic and deontic integrity constraints. Ann. Math. Artif. Intell. 3(2-4):393-428.
288. Winston ME, Chaffin R, Herrmann D (1987) A taxonomy of part-whole relations. Cognitive Science 11(4):417-444.
289. Woods WA (1991) Understanding subsumption and taxonomy. A framework for progress. In: Sowa (ed) pp 45-94.
290. Young JW, Kent HK (1958) Abstract formulation of data processing problems. The Journal of Industrial Engineering 9(6):471-479.
291. Yourdon (1993) Yourdon systems method: Model-driven systems development. Yourdon Press.
292. Zave P (1997) Classification of research efforts in requirements engineering. ACM Comput. Surv. 29(4):315-321.