Bibliography

[1] Domain analysis. Technical report, 1997. available from http://WWW.sern.enel.ucalgary.ca/charmi/ Courses/97-98 /ENEL619 .02 /FuSeminar .ftml.

[2] A.Dardenne, A. van Lamsweerde, and S.Fickas. Goal-directed re­quirements acquisition. Science of Computer Programming, 20:3-50, 1993.

[3] A.Milner. A calculus of communicating systems. In Lecture Notes in Computer Science (92). Springer-Verlag, 1980.

[4] A.Pnueli. A temporal logic of concurrent programs. Theoretical Computer Sciences, 13:45-60, 1981.

[5] A.Th.Schreiber. Knowledge engineering and knowledge manage­ment, the common KADS methodology. Technical report, 1998.

[6] B.Boehm. A spiral model for software development and enhance­ment. Computer, 21(5):61-72, 1988.

[7] B.Chandrasekaran. eneric tasks in knowledge-based reasoning: High level building blocks for expert system design. IEEE Expert, 1 (3) :23-30, 1986.

[8] B.Peuschel and W.Schafer. Concepts and implementation of a rule­based process engine. In Proceedings of the 14th International Con­ference on Software Engineering, 1992.

[9] C.A.R.Hoare, editor. Communicating Sequential Processes. Prentice-Hall International, 1985.

[10] C.B.Jones. Systematic software developing using VDM. Prentice­Hall, Englewood Cliffs (NJ), 1986.

336 DOMAIN MODELING-BASED SOFTWARE ENGINEERING

[11] C.Cao. A study on acquiring book knowledge automatically. Mas­ter's thesis, Institute of Mathematics, Academia Sinica, 1989.

[12] Kyo C.Kang, Sholom a.Cohen, James A.Hess, William E.Novak, and A.Spencer Peterson. Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU /SEI-90-TR-21, Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1990.

[13] Paul Clements and et al. Architecture description languages. Soft­ware Technology Review, 1997.

[14] C.Rich and R.Waters. Automated programming: Myths and pro­spects. Computer, pages 40-51, 1988.

[15] C.Rich and R.Waters. The programmers' apprentice: A research overview. Computer, pages 40-51, 1988.

[16] C.Z.Janikow. Fuzzy processing in decision trees. In Proceedings of the sixth International Symposium on Artificial Intelligent, pages 360-367, 1993.

[17] C.Z.Janikow. Examplar learning in fuzzy decision tree. Technical report, 1997.

[18] C.Z.Janikow. Fuzzy decision trees, issues and methods. IEEE Transactions on Systems, Man, and Cybernatics, 1997.

[19] D.Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274,1987.

[20] D.Rowe and J .R.Leaney. Evaluating evolvability of computer based systems architectures -an ontological approach. In Proceedings of the International Conference on the Engineering of Computer based Systems, 1997.

[21] D.Teichroew and E.Hershey. Psljpsa: A computer aided tech­nique for structured documentation and analysis of information processing systems. IEEE Transaction on Software Engineering, 3(1):41-48, 1977.

[22] D.T.Ross and J.Kenneth E.Schoman. Structured analysis for re­quirements definition. IEEE Transactions on Software Engineer­ing, 3(1):6-15,1977.

[23] E.J.Neuhold and B.Walter. An overview of the architecture of the distributed database system POREL. In H-J Schneider, editor, Distributed Databases, pages 247-290. North-Holland, 1982.

BIBLIOGRAPHY 337

[24] Joseph E.Urban. The descartes specification language. Tech­nical report, 1990. available from http://www.eas.asu.edu/ spe­cinfo/Descartes.html.

[25] F.A.Maymir-Ducharme. Varying domain engineering approaches­business case perspectives. In Proceedings of 5th Annual Workshop on Software Reuse Education and Training, Morgantown, WV, 1996.

[26] F.Yang. Overview of the jade bird project. Technical report, De­partment of Computer Science, Beijing University, 1997.

[27] G.Arango and R.Prieto-Diaz. Part 1: Introduction and overview, domain analysis and research directions. In R.Prieto-Diaz and G.Arango, editors, Domain Analysis and Software Systems Mod­elling, pages 9-32. IEEE Computer Society Press, Los Alamitos, California, 1991.

[28] G.Chen. Optimization of data warehouse architecture and DSS models. Master's thesis, Institute of Mathematics, 1999.

[29] G.Eckert. Improving object-oriented analysis. 36(2):67-86, 1994.

[30] G.Engels. Conceptual modeling of database application using an extended ER model. Data and Knowledge Engineering, 9(2):157-204,1992.

[31] G.Engels and P.Lohr-Richter. CADDY - a highky integrated en­vironment to support conceptual database design. In Proceed­ings of the 5th International Workshop on CASE, pages 422-429, Montreal, Canada, 1992.

[32] Data Mining Group. Information paper. Technical Re-port SAIS-AI, 1995. available from http://www.pentagon-ai. army. mil/ aic/ overwatch/ papers /DataMining.html.

[33] H.A.Proper. Towards an integration of evolving information sys­tems and case tools. In Proc. of the Fourth Workshop on the Next generation of CASE tools, pages 23-33, 1993.

[34] H.Erikson and et al. Generation of knowledge acquisition tools from domain ontologies. International Journal of Human­Computer Studies, 41:425-453, 1994.

[35] H.Li, J . van Katwijk, and A.M.Levy. The reuse of software design and software architecture. In Proceedings of the 4th International

338 DOMAIN MODELING-BASED SOFTWARE ENGINEERING

Conference on Software Engineering and Knowledge Engineering, pages 170-177, Capri, Italy, 1992.

[36] H.Mili, F.Mili, and Mili A. Reusing software: Issues and re­search directions. IEEE Transactions on Software Engineering, 21(6):528-561, 1995.

[37] IEEE. IEEE Standard for Developing Software Life Cycle Pro­cesses. IEEE Computer Society, New York, 1996.

[38] I.Jacobson, M.Christerson, P.Jonsson, and G.Overgoard. Object Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1992.

[39] Marc I.Kellner. Software process modeling: Value and experience. Technical Report CMU /SEI Technical review, Software Engineer­ing Institute, Carnegie Mellon University, 1989.

[40] ISO. Information systems processing-open systems interconnection-lotos. Technical Report DIS 8807, Interna-tional Standards Organization, 1987.

[41] J.F .Sowa. Conceptual Structure: Information Processing in Mind and Machine. Addison-Wesley Publisher, Reading, Mass, USA, 1984.

[42] J .Guttag and J .Horning, editors. Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993. written with S.J.Garland, K.D.Jones, A.Modet and J.M.Wing.

[43] J.Kerr and R.Hunter. Inside RAD. McGraw-Hill, 1994.

[44] J.Li. Research on Software Process Modeling Technology and Pro­cess Enactment technology. PhD thesis, Beijing University, 1995.

[45] J.McCarthy. Formalizing commonsense. In J.McCarthy, editor, Papers by John McCarthy. Ablex Publishing Corporation, 1990.

[46] J .M.Spivey. Introducing Z: a specification language and its formal semantics. Cambridge University Press, Cambridge, 1988.

[47] J . Neighbors. Software construction using components. PhD thesis, Information and Computer Science Department, University of California, 1981.

[48] T.Capers Jones. Reusability in programming: A survey ofthe state of the art. IEEE Transactions on Software Engineering, 10(5):488-494,1984.

BIBLIOGRAPHY 339

[49] J.Rumbaugh. Object-Oriented Modeling and Design. Englewood Cliffs, NJ: Prentice Hall, 1991.

[50] J.Xu. Software Automation. Qinghua University Press, Beijing, 1994.

[51] K.Sycara and D.Zeng. Coordination of multiple intelligent software agents. International Journal of Cooperative Information Systems, 5(2-3), 1996.

[52] L.A.Zadeh. Fuzzy sets. Information and Control, (8):33"8-353, 1965.

[53] L.A.Zadeh. Pruf-a meaning representation language for natural languages. In E.H.Mamdani and B.R.Gaines, editors, Fuzzy Reas­oning and Its Applications. Academic Press, 1981.

[54] L.Lamport. The temporal logic of actions. ACM TOPLAS, pages 872-923.

[55] L.Lui. Agent Oriented Requirement Analysis. PhD thesis, Institute of Mathematics, Academia Sinica, 1999.

[56] L.Osterweil. Software processes are software too. In Proceed­ings of the 9th International Conference on Software Engineering, Monterey, California, 1987.

[57] L.Zhou. C-POREL: A distributed relational database management system on microcomputer network. Scientia Sinica (Series A), (1), 1986.

[58] M.A.Musen. Generation of model-based knowledge acquisition tools for clinical-trial advice systems. Technical Report STAN­CS-88-1194, 1988.

[59] M.A.Simos. Organization domain modeling (ODM) guidebook. Technical Report STARS VC-A023/011, Unisys Corporation, 1995.

[60] M.Fang. Introduction to Electronic Business. Qinghua University Press, 1999.

[61] M.Fernandez. Overview of methodologies for building ontolo­gies. In Proceedings of the IJCAI-99 Workshop on Ontologies and Problem-Solving Methods, pages 1-13, 1999.

340 DOMAIN MODELING-BASED SOFTWARE ENGINEERING

[62] M.Jarke. Information systems development as knowledge engineer­ing: a review of the DAIDA project. Technical Report MIP-9010, University of Passau, 1990.

[63] M.Nielsen, KHavelund, KWagner, and C.George. The RAISE language, method and tools. Formal Aspects of Computing, 1:85-114, 1989.

[64] M.Shaw and D.Garlan. Characteristics of higher-level languages for software architecture. Technical Report CMU-CS-94-21O, School of Computer Science, Carnegie-Mellon University, Pittsburg, PA, 1994.

[65] M.Umato and et al. Fuzzy decision trees by fuzzy ID3 algorithm and its application to diagonosis systems. In Proceedings of the third IEEE Conference on Fuzzy Systems, pages 2113-2118, 1994.

[66] M.Uschold and M.Gruninger. The enterprise ontology. Technical Report AIAI-TR-195, Artificial Intelligence Application Institute, University of Edinburgh, 1997.

[67] N . Lynch and M. Tuttle. Hierarchical correctness proofs for distrib­uted algorithms. Technical report, MIT Laboratory for Computer Science, Cambridge, MA.

[68] N . Medvidovic and David S. Rosenblum. Domains of con-cern in software architectures and architecture descrip­tion languages. Technical report, 1997. available from http://www .neworiental.org/ company /neworiental.org.

[69] N.R.Jennings, P.Faratin, M.J.Johnson, T.J.Norman, P.O'brien, and M.E.Wiegand. Agent-based business process management. International Journal of Cooperative Information Systems, 5(2-3), 1996.

[70] P.Chen. The entity-relationship model - towards a unified view of data. ACM Transactions on Database Systems, 1(1):9-36,1976.

[71] P.Coad and E.Yourdon. Object-oriented analysis. Englewood Cliffs, NJ: Yourdon Press, 1991.

[72] P.R.Cohen and H.J .Levesque. Intention = choise + commitment. In Proc. AAAI-87, 1987.

[73] CREWS Project. CREWS Report Series (1996-). Technical re­port, 1996-. available from http://SunSITE.lnformatik.RWTH­Aachen.DE/CREWS/crews-sun.htm.

BIBLIOGRAPHY 341

[74] TOVE Project. Tove manual. Technical report, Enterprise In­tegration Laboratory, University of Toronto, 1995. available from http://www.ie.utoronto.ca/EIL/tove.

[75] P.Shoval. 00 and EER conceptual schemas: A comparison of user comprehension. Journal of Database Management, 5(4):28-38,1994.

[76] Q.Li. Knowledge-based object-oriented software development - the princiles and practice of role-method. Master's thesis, Institute of Software, Academia Sinica, 1995.

[77] R.Cappila. Application of domain analysis to knowledge reuse. In Proceedings of the 8th Annual Workshop on Institutionalizing Software Reuse (WISR'8), Ohio State, USA, 1997.

[78] R.C.T.Lee and C.L.Chang. Some properties offuzzy logic. Inform­ation and Control, (5):417-431,1971.

[79] Wolfgang Reisig. Petri Nets: An Introduction. Springer Verlag, 1985.

[80] R.F . Hilliard and et al. MITRE's architecture quality assessment. In Proceedings of Software Engineering and Economics Conference, 1997.

[81] R.L.P.Chang and T.Pavlids. Fuzzy decision trees. In Proceedings of the IEEE Transactions on Systems, Man, and Cybernetics, pages 360-367, 1976.

[82] R.L.P.Chang and T .Pavlids. Fuzzy decision trees algorithm. IEEE Transactions on Systems, Man, and Cybernetics, pages 28-34, 1977.

[83] R.Lu. New Approaches to Knowledge Acquisition. World Scientific, Singapore, 1994.

[84] R.Lu, K.Zhou, X.Li, and H.Wu. The automatic construction of expert systems based on machine learning. In Proceedings of the 3rd International Conference onPPCC, pages 912-918,1989.

[85] R.Lu and L.Zhou. The architecture and user languages of D­POREL. Database Technology, 3(1):3-11, 1990.

[86] R.Lu, Y.Liu, and X.Li. Computer-aided grammar acquisition in the chinese understanding system CUSAGA. In Proceedings of the 11th IJCAI, pages 1550-1555, 1989.

342 DOMAIN MODELING-BASED SOFTWARE ENGINEERING

[87] R.Lu, Z.Jin, L.Liu, G.Fan, G.Chen, X.Xun, and S.Wang. OS­NET: A language for domain modeling. In Tools Asia '98, Beijing, P.R. China, 1998.

[88] R.Lu, Z.Jin, and R.Wan. Promis: A knowledge-based tool for automatically prototyping management information systems. In Proceedin9s of AVIGNON'94, Paris, France, 1994.

[89] R.Lu, Z.Jin, and R.Wan. Requirement specification in pseudo­natural language in PROMIS. In Proceedin9s of 19th COMPSAC, pages 96-101, USA, 1995.

[90] R.McCain. Reusable software component construction-a product oriented paradigm. In Proceedings of AIAA/ACM/NASA/IEEE Computers in Aerospace Conference, 1985.

[91] R.Prieto-Diaz and G.Arango. Domain Analysis and Software Sys­tems Modeling. IEEE Computer Society Press, Los Alamitos, Cali­fornia, 1991.

[92] S.Caine and K.Gordon. Pdl-a tool for software design. In Proc. Nat!. Compo Conference, pages 271-276. AFIPS Press, 1975.

[93] S.N.Woodfield, D.W.Embley, and D.T.Scott. Can programmers reuse software. Software, (7):52-59, 1987.

[94] Roger S.Pressman. Software Engineering: A Practitioner Ap­proach. McGraw Hill Co. Limited, 1999.

[95] S.Shaler and S.Mellor. Object-Oriented System Analysis: Modeling the World in Data. Yourdon Press, Printice-Hall, 1988.

[96] S.Wang. A summary of the nsf key project: Chinese databases, languages and interfaces. Technical report, Department of Com­puter Science, Chinese People's University, 2000.

[97] T.J.Biggerstaff and C.Richter. Reusability framework. assessment and directions. IEEE Software, 6(7):41-49, 1987.

[98] Robert T .Monroe. ACME: An architecture description inter­change. Technical report, 1997.

[99] Alfred V.Aho and Jeffrey D.Ullm~n. The Theory of Parsing, Translation, and Compiling. Prentice-Hall, Inc., 1972.

[100] W.Jiao. Software architecture. Technical report, Institute of Com­putiI1g Technology, Academia Sinica, 2000.

BIBLIOGRAPHY 343

[101] W.Shao and F.Yang. Object-Oriented System Analysis. Qinghua Press, Guangxi Science and Technology Press, 1998.

[102] X.Chen and et al. An analysis of database query sentences based on limited chinese. In Proc. Of 16th Chinese National Conference on Databases, 1999.

[103] X.Liu. Automated Reasoning based on Resolution Methods. Science Press, Beijing, China, 1994.

[104] X.Meng and et al. The processing and improvement of multi­statement queries in chiql. Journal of Computer Science and Tech­nology, 13(2):161-173,1998.

[105] X.Yi. Study on Software Development of Special Domains based on Architectures. PhD thesis, Beijing University, 1996.

[106] X.Zhang and et al. A domain model of shopping center informa­tion systems. Technical report, Institute of Mathematics, Chinese Academy of Science, 1998.

[107] Eric Yu. Modeling Strategic Relationships for Process Reengin­eering. PhD thesis, Graduate Department of Computer Science, University of Toronto, 1995.

[108] Y.Vassiliou. IRIS - a mapping assistant for generating designs from requirements. In Proceedings of Conference on Advanced Informa­tion Systems Engineering, 1990.

[109] y.xia. A semantic network language: Snetl. Master's thesis, In­stitute of Mathematics, Academia Sinica, P.R. China, 1987.

[110] Z.Manna and A.Pnueli. The Temporal Logic of Reactive and Con­current Systems. Springer-Verlag, New York, 1991.

Index

(quasi) n-connected, 49

acyclic cybergraph, 41 connected, 41 nested,41

ADL,207 ADL, software architecture description

language, 16

BIDL, 9, 15, 137 chapter, 130 grand BIDL, 181 keyword, 124 section, 126 sentence, 124 small BIDL, 181

BIDL graph, 275 BIDL program, 9, 130, 138, 160 BIDL revision program, 275 BIDL, Business Information Description

Language,9 BKDL, Book Knowledge Description Lan­

guage, 158

CASE, Computer-Assisted Software En­gineering,6

comparability of nodes, 191 CONBES, CONstruct Book Expert Sys-

terns, 158 connection graph, 48 CS-net, Common Sense Net, 138 CS-net, CommonSense Net, 162 CSA, client-server architecture, 204 CSS, client-server systems, 220

DADL, 20, 29-36 DADL, Domain Analysis Description

Language, 11 DAKM, Domain Analysis Knowledge

Base, 20

data department, 236 type, 236

data flow diagram, 313 data structure diagram, 314 data warehouse, 236

hierarchical, 237 typed,237

data warehousing evolution, 298 data warehousing tansformation, 298 database transformation, 295 DOKB, 20, 44, 307

domain model, 45-51,92-104 environment model, 45, 189, 244 rule set, 45, 183-185,219 user dependent model, 45, 186-199

DOKB, Domain Ontology Knowledge Base, 11

domain classification, 74 enterprise construct, 76-92

bipolar, 79 discrete bipolar, 79, 84 multi-polar, 79, 82

enterprise similarity, 77

Eagle project, 8, 18 Eagle I, 18 Eagle II, 18 Eagle III, 20 Eagle IV, 20

EBKDL, Educational BKDL, 158 entity, 44 ER model, 316 execution operator, 290

formal methods, 312 fuzzy

fuzzy dictionary, 232 language variable, 232 membership funtion, 232

346 DOMAIN MODELING-BASED SOFTWARE ENGINEERING

partial ordering of membership func­tion, 233

fuzzy decision tree, 254 fuzzy entropy, 255

gap of data sequence, 264 generalized acyclic cybergraph, 46

connected, 46 nested,46

indexed activity, 291 INFORM,53-63

object type activity object, 54 data object, 54 role object, 53

ontology type, 58 activity ontology, 59 data evolution ontology, 60 data model ontology, 60 dataflow ontology, 60 enterprise ontology, 61 organizational ontology, 58 situation ontology, 61 view ontology, 60 workflow ontology, 59

relation type, 56 information gain, 255 INKAI

conversation planning, 145 goal frames, 142 hypothsis frames, 144 strategy of dialog, 149 syntax directed editor, 152

INKAI, INteractive knowledge Acquirer, 142

irrelevance degree, 46 IS-net, 138-141, 161 IS-net, Information System Net, 138

Jackson method, 315

KBRS, Knowledge Base Refinement Sys­tem, 158

KISSME approach, 8-10, 14, 15, 17, 18, 68,322

KISSME, Knowledge Intensive Software System Manufacture Engineer­ing, 8

knowledge based formal method, 10 knowledge industry, 329 knowledge model, 49

maximal comparable tree, 192 maximal connection, 49

NEWCOM, 19, 209-217

access right heuristics, 224 built-in components, 210 built-in connectors, 213 CSS and CSA design, 220 database design, 220 distribution of data warehouses, 222 nested encapsulation mechanism,

210 server design, 221 user distribution, 223

NEWCOM, NEW Concpetual Model, 16 NQL, natural query language, 238

object ancestor relation, 42

ONONET, 15,44,51-53,217 ONONET, Ontology and Object-oriented

NETwork, 10 ontology, 44

homomorphic mapping, 42 inheritance, 44

ontology and object clustering, 171 ontology skeleton, 41

ancestor relation, 43 father, 43 ontology skeleton class, 44

ontoloy-oriented domain analysis, 28 OORA, 136,167,171-186

grand BIDL, 137 small BIDL, 137

OORA, Ontology-Oriented Requirement Analysis, 135

OSNET, 68-70 OSNET, Object-oriented Semantic NET­

work,20

Pangu, 196-199 PNLU, 154-160 PNLU, Pseudo-Natural Language Under­

standing, 154 pre-requirement analysis, 135 PRINSE,229

FORMER,241 FUSER,243 FUZIN, 232, 239 FUZINF,242 FUZOUT,241 LANUN,239 learning fuzzy decision tree, 254 REMINDER,268 SOLVER,240 TEDET, 267, 268 TIMER,268 WARDER,244

PRINSE, PRovide INtellient SErvice, 229 PROMIS, 9

PROMIS 1.0, 18 PROMIS 2.0, 19

PROMIS 3.0, 20 PROMIS 4.0, 20 software evolution, 274

evolving BIDL programs, 274-280

evolving NEWCOM programs, 281-282

evolving software process, 282, 284-295

software reuse reusing BIDL program, 272 reusing data structures, 273 reusing NEWCOM architecture

designs, 273 reusing ONONET models, 272 reusing programs, 273

PROMIS, PROtotyping Management In­formation Systems, 9

pseudo-natural language, 132, 322

quasi-irelevance, 46

relational grammar, 131 relational transducer, 301 relevance graph, 49 repertory grid, 75-77, 80, 91

multi-dimensional, 82

SELD, Scientific English Literature De­scription, 158

semantic integrity, 179 completeness, 181, 183 consistency, 181, 184 intelligence, 181, 186 normality, 181, 185 scalability, 179, 182

SHOP model, 64 Sneti, 68, 138, 160 Sneti, Semantic network language, 68 software architecture

client-server architecture, 204 intranet and extranet architecture,

205 layered architecture, 203 menu centered module structure,

203 object-oriented and agent-oriented

architecture, 206 pipelined architecture, 204

software evolution, 271 software life cycle

EAGLE model, 321 evolutionary model, 318 fountain model, 319 LUBAN model, 318

Index 347

prototyping model, 318 RAD model, 320 spiral model, 319 waterfall model, 317

software process hierarchy, 292 software process composition, 293 well-formed, 292

software process hierarhy well-formed, 293

software process ontology, 285 software reuse, 269

component based, 270 knowledge based, 270

SONONET, Small ONONET, 104 SPTDL, Sentence Pattern Transform­

ation Description Language, 158

strategy forest, 189 strategy tree, 189

length of ordered lists, 192 partial ordered, 191 similarity of family nodes, 192 total ordered, 191 user strategy tree, 198 virtual strategy tree, 198

syntax directed translation, 300

TEMPO, 244 TKCM, 248-252 TKCR,252 TKDL, 245-248, 251 TKQL,244 TKWH, 248, 252

tendency of data variation, 265 translation, 300

UDM,188 case based UDM planning, 194 UDM generator, 189

UDM, user dependent model, 187 UIM, user independent model, 187

VDM construction clone, 93 crossover, 93, 94, 107 mutation, 93 selection, 93 synthesis, 93, 114 transgenic, 93, 101-103, 108, 111,

113 VDM, virtual domain model, 92 virtual strategy tree, 198

weighted ontology skeleton, 47 sub-homomorphic mapping, 47