Σημειώσεις Εννοιολογικής Μοντελοποίησης

, 2015

3

,

, .

,

,

.

.

, Telos,

-

.

, , ,

.

2015

4

1 1

1.1

, ,

, ,

. ,

. , ,

, , .

,

, ,

. :

, ,

,

.

(, ) ,

:

, ,

, ,

, , .

(data processing systems)

,

, , .

, ,

, .

, .

, ,

, ..

, .

(management information systems - MIS)

,

,

,

1 [BBJW].

5

. , ..,

,

, ,

, .

,

, ,

, .

(, ,

, .)

, (business intelligence

systems).

(decision support systems)

,

,

.

,

,

. ,

,

.

(workflow management systems)

,

.

(documentation systems)

,

, , ,

, ,

, .

, (cooperation systems), ,

, , ..,

, , ,

.

6

, .

, ,

, , .

,

(. 1).

.

1.

,

,

. , , ,

, ,

, , , .

(.., , , ..)

, .

. (, )

, ,

, ,

.

, , ,

, .

,

7

.

( )

( , , , )

.

, , , ,

.

( ).

(), ,

, . , ,

.

,

,

,

.

1.2

, ,

, .

, :

: , ,

, , ,

.

, .

: ,

.

. , ,

, , ..

,

. ,

, ,

.

8

:

,

.

,

,

. ,

.

, ,

, , ,

. ,

,

:

.

, ,

,

. ,

. ,

.

,

. ,

. ,

,

.

, , :

() () .

, application pull,

. , technology push,

.

:

: , .

. ..,

, , , , , .

:

, .

9

:

( ), ,

, , .

: ,

, , ,

.

, .

1.3

[BBJW].

.

.

.

.

:

.

.

, 30 ,

.

2-4 .

, ,

, : .

,

, , , , .. ,

,

,

, , ., .

,

, , , ,

, , .

,

.

,

10

.

.

,

, , , ,

.

.

:

.

.

.

.

.

,

.

.

,

. , ,

, .

, ,

.

,

.

,

1.2, , ,

, .

, , (. 2).

11

2.

:

; ; ;

;

, ,

. ,

: ,

,

,

, , , :

, ,

100 .

.

:

; ;

; ( );

; ,

.

, , ,

, .

, , ,

,

.

12

, ,

, , ..

,

, , ,

, , .

, ,

,

.

, : , , , , , , ..

( ), :

,

.

, ,

2.

, , ,

, , ,

.

,

: ,

(.. ).

,

( )

( ).

(). .., , Petri,

(state charts)

- (ER), - (EER),

, UML, , , Classic, KAOS,

Telos, Tropos, RDF, OWL .

. UML, KAOS Tropos

13

, KAOS Tropos

.

,

, ,

,

. , .

, ,

, .

, ,

( )

.

, .

. ,

,

.

( ) ,

. ,

, ,

,

.

,

. ,

,

,

.

, , ,

, .

,

.

,

.

14

2

,

, ,

.

. , ..

, , , ..

. ..

.

.

,

, .

1.

, ,

( ).

, ,

.

,

.

.

2.1 ,

. ,

, .

,

. , (.. ,

), (.. 1996), (.. , ),

(.. , ), (.. , ), (..

, ).

, ,

.

( )

15

,

.

.

.

. ,

,

. ,

.

, :

,

,

, ()

.

, ,

,

, ,

, , , ,

,

.

, , ,

.

o :

(1) ,

(2) ,

(, ).

. ,

, ,

.

16

.

. ,

. ,

:

.

:

,

,

,

, , , .,

.

.

. , ,

, (..

), (..

RDF/RDFS).

.

, .

.

:

.

,

. .., -

, , ,

.

. .

,

,

.

17

.

, .

.

, , .

,

.

Telos,

, ,

, (ER, UML, RDF, .)

.

2.2 2

( ).

, ,

(. 3)

,

[Morr, Pier, Stam].

, , .

,

.

, , , . .. ,

, , ,

.

- :

.

3.

, ,

.

, ,

,

2 [Diet].

3 , .

,

(.., ).

18

:

, .

2.2.1 ,

,

, .. , ,

. , ,

, (, , ,

, .). ,

: , .., ,

. , 3,

, .

.

, .

,

. :

, .

: 3, 17 .

.

: ,

, .. ,

, ..

,

.

. :

, 2717, 3,

,

26 .

. ,

. ,

( , , )

. ,

,

.

, : ,

(. 3).

19

3.

: . ..:

,

3 .

: . ..:

,

3 .

: . ..:

3 , .

(1)

() (2)

( ).

2.2.2

,

.

. ,

, , ,

( ). ..: , ,

, , , .

, , ( ,

).

20

, , , ,

. ,

.

: . ..,

,

, 3 .

. , ,

.

,

.

.

(

),

.

,

. , ,

, , ,

: , , .

,

, : . ..

.

, , , ,

. ,

.

, .. (), (,).

, .., , ... , ..., , ..

....... ,

,

. ,

, .

. ..:

21

.

,

.

.

: /

. ..,

, .

, :

. . ..,

,

.

4

,

.

4.

2.3

2.3.1

(, ). 2.1

. 2.2,

22

( )

( ). .

.

,

,

.

. ,

. , 2.2.1 ,

.

,

.

. .

, -

,

- ,

(. 2.3.2).

.

, ,

(. 5).

: ,

, , .

.

, , .

5.

.

,

23

,

.

( ) ,

().

: (,)4,

(,).

(1, 2)

. :

(,)5 (,).

, ( )

, .. , 1,85 m,

2%.

, ..

, [0,50..2,20],

[0..0,10]. ,

. ..:

(,):

.

(,):

,

.

,

- from(),

.

- to(),

. ,

4 :

( ) .

, .

.

. .

5 () (

), ( ).

.

24

- -,

, . 6.

-.

,

(

). ,

,

( )

.

/ / .

6.

,

, . ..,

(,)

:

((,),)

7. ,

-

. ,

, , ,

. ,

,

.

(,)

(,)6.

6 -

, . ,

,

25

, ,

. ,

( , )

, .

.

, .

(. 7). , ,

. ,

. ,

.

7.

2.3.2

.

.

, ,

. , ,

:

, , .

, ( ), (

)

,

. O .

24-08-2009

26

.

. :

,

,

,

,

1234567890123456, 5678901234567890

01-01-2001, 24-08-2009

,

.

7 .

, .

, , ( ).

, , . ,

-

() ( )

. , -

.

( ) .

, .

:

(,) (,)

(,)

7

, .

27

(,) (, )

(,) (,)

(,)

(,) (,)

,

. :

((,-

), )

((

,),24-

08-2009)

, ,

( )

, .

: , ,

, .

,

.

.

(,

(,) ,

, .

,

. , .

.

, ,

(,) . ,

, , ..

28

(,) . ,

- .

.

,

,

.

( ) --

. ..

, , , ,

, , .,

, . ,

,

. ,

, .

(. 2.4.3 3).

,

( ) (

) ( ).

, ,

, ,

. ,

.

( ) ( )

. ,

8 ,

.

( )

.

8

.

29

.

. ,

. ;9

( )

:

(1) .

(2)

.

2.4

. ,

, , ,

, ,

, 0 120 ,

0,35 2,50 , .

, ,

.

, , ,

.

.

, .

, , .

2.4.1

, (

).

9 ,

. ,

.

30

.

, , ,

, .

. ,

.

( )

.

.

2.4.2

-

( )

, . :

.

,

. -

,

,

. ,

,

, , .

.

,

10.

.

, .

- ,

.

. ..,

( !),

.

, ,

10 , , .

, .

31

.

- .

, . :

( ) 11.

, , ,

. , .

,

, ,

.

(.., , , , ),

.

2.4.3

. ,

, ,

. , , ,

.

, . ,

,

, .

,

, . , ,

. ,

.

:

in(o,c) o in c o instanceOf c,

11

,

, .

.

, - .

,

, .

32

o c ,

8.

:

, .. , , ,

, .. , ,

, .. , .

8. .

.

. , ,

,

.

,

,

.

.., , in , in .

, , ,

, , ,

, , , .

, in , in .

1

1

33

, ( ) ,

, , , , , ,

, , ,

, , , .

,

, . ,

( )

, .

, . ,

,

. ,

,

,

. , ,

:

.

. ..

( ) 100, Audi

A3 ,

3.0.14 Mozilla Firefox,

. 100, Audi A3 3.0.14

Mozilla Firefox .

.

(,

) , , . ..

()

.

.

.., (,)

, , ,

.

:

() ,

,

34

()

. -,

. ,

.

. ,

,

.

, , ,

. ..

.

. ,

,

, ,

. ,

(

). , .., stylesheets

XML

( ) ,

XML DTD ( ) (

).

.

, , .

:

, ,

. ,

() ,

,

,

... ( )

,

.

, ,

in(o,c). , , ,

,

35

(.., (1) , .

, ). , , c

in(o,c):

popul(c) = {o | in(o,c)}.

in(o,c), o c:

in(o,c) => o ext(c).

,

.

2.4.4

,

:

1 2, 2 1 1

2, 1

2. , 2 1,

2 1. :

,

:

() :

c, c x. in(x,c) => in(x,c) (. c

c, ext(c) ext(c)) c c

isA(c, c) c isA c 9.

() :

a, a x. from(a)

from(a), to(a) to(a) in(x,a) => in(x,a) (. a

a, ext(a) ext(a)), a a

1 2

Fiat Panda

36

isA(a, a) a isA a 10.

,

, int(c) int (c) int(a) int(a).

( ) u u u

u u u.

, .

9. .

.

.

: isA(u,u) : isA(u,u)

isA(u,u) => isA(u,u). ( )

: isA(u,u) isA(u,u) u u , .

, . , ,

, .

, . ,

-. , .

,

-.

Mercedes CLK CLK56

37

10. .

.

.

: Mercedes CLK isA

CLK56 isA .

:

.

.

, , . .. Isa(,

) (,)

(,), (,),

.

.

,

12.

, ,

.

, ,

,

. ,

, . a c

from(a).

[ASCD].

: a

c a.

: .

: a

c a (

12 , . ,

( )

,

.

38

c ). :

.

: a c

c a. :

.

,

.

.

:

.

( ) .

: -

.

, .

-,

( ). ,

- .

, ,

. ,

.

, ,

isA(x,y). , ,

, ,

. ,

,

,

.

isA.

o c, c, c.

(1) in(o,c) isA(c,c) => in(o,c).

(2) : isA(c,c).

(3) : isA (c,c) isA (c,c) => isA (c,c).

39

(4) c . isA(c, ) => c=

(5) : a, a .

isA(a,a) => isA(from(a), from(a)) isA(to(a),to(a)).

(6) : c,c. Isa(c,c) Isa(c,c) c c

.

40

3 Telos

( SIS-Telos)13

Telos [MBJK]

.

(., .., , 1.2)

.

, ,

.

Telos, Concept Base [JJNS] Aachen,

Software Information Base [CJMV] Semantic Index System (SIS) [SISa]

, Toronto.

Telos

, .

Telos

,

(ER, EER, UML, RDF/S, .),

. ,

Semantic Index System (SIS). C++

Telos,

,

, , .

.

.

SIS-Telos , ,

2.3 2.4 . , .

() ,

, ASCII

( 95 ).

13 [SISb],

.

41

, .

(SYSID),

.

SIS ,

, ,

, .

.

Telos_Object, .

.

Individual , , .

Attribute. ,

Individual isA Telos_Object

Attribute isA Telos_Object

(..

C++). .

Telos , ,

. .

.

(, ,

).

Telos_Class. .

, Telos_Class IndividualClass AttributeClass

:

Telos_Class isA Telos_Object

IndividualClass isA Telos_Class

IndividualClass isA Individual

AttributeClass isA Telos_Class

AttributeClass isA Attribute

Token (token

instantiation level). ,

, S_Class

(simple class instantiation level).

42

( )

M1_Class

- (metaclass instantiation level). ,

- M2_Class

-- (metametaclass instantiation level).

Telos (. 11),

, SIS M4_Class.

11. Telos.

M2_Class.

Telos_Object, Individual

Attribute . ,

Individual Attribute ,

,

( ).

Telos

Individual_M1_Class Attribute_M1_Class

Individual_S_Class

Individual_Token

Attribute_S_Class

Attribute_Token

Token

S_Class

M1_Class

Individual Attribute

Telos_Class

Telos_Object

43

: (Individual Attribute)

. ..

TELL Individual Person in S_Class end Person

-,

. .., Person

Individual_S_Class.

( )

S_Class (

Token):

Telos_Integer, Telos_Real, Telos_String, Telos_Time

SIS :

SYSID

Sys_name ,

Sys_class

(, )

IN_set ( ),

ISA_set ( )

SIS :

SYSID

Sys_name ,

Sys_class -

Sys_from -

Sys_to -

(, )

IN_set - ( ),

44

ISA_set - ( )

, Sys_class, .

, .

,

. , ..

, .

IN_set ISA_ set

. ISA_ set Token .

(Sys_name) (label),

(categories) .

Sys_from Sys_to. ..,

Sys_from M1_Class Sys_to S_Class

S_Class Token.

TELL

TELL , , ,

instanceOf isA .

:

, .

(. ).

, Sys_from

,

.

Sys_from Sys_to.

.

( Sys_from).

( Sys_from) isA,

isA. Token

( ) ,

Token ,

: .

Sys_from, Sys_to IN_set ().

. ,

45

(. 12)

,

, .

12 Sys_name = X. y

X P, z X

U.

Sys_name X "from" Sys_name Sys_from

, :

TELL Individual O in S_Class, P, U

with X from P

y :q

with X from U

z :v

end O

"from" ,

.

12:

TELL.

.

BEGINTRANSACTION, ENDTRANSACTION

in

O

U P

inin in in in

V Q

qv

X X

z y

46

TELL . TELL

. {}.

1. Telos.

BEGINTRANSACTION

TELL Individual Persons in M1_Class

with attribute

familyRelation : Persons

end Persons

TELL Individual Person in S_Class, Persons

with familyRelation

fatherOf : Person;

motherOf : Person

end Person

TELL Individual LegalIdentity in S_Class

end LegalIdentity

TELL Individual ResIdentity in S_Class

end ResIdentity

TELL Individual Researcher in S_Class isA Person

with attribute

identity : ResIdentity

end Researcher

TELL Individual Citizen in S_Class isA Person

with attribute

identity : LegalIdentity

end Citizen

TELL Individual Status in S_Class

end Status

{ Person

Status status }

TELL Attribute status

47

From : Person

To : Status

in S_Class

end status

TELL Individual studentStatus in Token, Status

end studentStatus

TELL Individual identity1 in Token, LegalIdentity

end identity1

{ george status

Person. identity

Citizen Researcher,

George,

identity.}

TELL Individual george in Token , Researcher, Citizen

with fatherOf

myFather : mike

with status

: studentStatus;

secStatus : employeeStatus

with identity from Citizen

: identity1

end george

TELL Individual employeeStatus in Token, Status

end employeeStatus

{ Person ,

.}

TELL Individual mike in Token, Person

end mike

ENDTRANSACTION

2. TELOS.

48

BEGINTRANSACTION

TELL Individual Researcher in S_Class

with attribute

name : Telos_String;

salary : Telos_Integer;

height : Telos_Real;

birth_date : Telos_Time

end Researcher

TELL Individual researcher1 in Token , Researcher

with salary

CSIsalary : 100000

with height

:1.85

with name

:"george"

with birth_date

:[1974 March 6]

end researcher1

ENDTRANSACTION

Telos_String : Telos_String

" ", .. "george". "\"

. .. "\n" (newline), "\0", "\t", "\r", "\b", "\f",

C C++, "\"

. ,

"\".

Telos_Time : [SISb].

3. .

identity1

LegalIdentity, george

Citizen,

identity

LegalIdentity.

BEGINTRANSACTION

TELL Individual Researcher in S_Class

with attribute

49

identity : ResIdentity

end Researcher

TELL Individual Citizen in S_Class

with attribute

identity : LegalIdentity

end Citizen

TELL Individual LegalIdentity in S_Class

end LegalIdentity


end ResIdentity

TELL Individual george in Token , Researcher, Citizen with

identity from Citizen

: identity1

end george

TELL Individual identity1 in Token, ResIdentity

end identity1

ENDTRANSACTION

4. (isA) .

BEGINTRANSACTION


isA PersonIdentity

end ResIdentity

TELL Individual Person in S_Class

end Person

TELL Individual Authority in S_Class

end Authority

TELL Attribute identity

from: Person

to: PersonIdentity

50

in S_Class

with attribute

certifiedBy: Authority

end identity

TELL Individual Researcher in S_Class isA Person

end Researcher

TELL Individual AcadAuthority in S_Class isA Authority

end AcadAuthority

TELL Attribute resIdentity

from: Researcher

to: ResIdentity

in S_Class isA identity from Person

with attribute

certifiedBy: AcadAuthority

end resIdentity

TELL Individual PersonIdentity in S_Class

end PersonIdentity

ENDTRANSACTION

5. .

BEGINTRANSACTION

TELL Individual Person in S_Class

end Person

TELL Individual Authority in S_Class

end Authority

TELL Attribute identity

from: Person

to: PersonIdentity

in S_Class

with attribute

certifiedBy: Authority

end identity

51

TELL Individual PersonIdentity in S_Class

end PersonIdentity

TELL Individual george in Token, Person

end george

TELL Individual identity1 in Token, PersonIdentity

end identity1

TELL Individual authority1 in Token, Authority

end authority1

TELL Attribute myIdentity

from: george

to: identity1

in Token, identity

with certifiedBy

:authority1

end myIdentity

ENDTRANSACTION

Telos

, ,

. , S_Class

( ) . Token

. M1_Class , ,

, -

(. ) S_Class.

(M2_Class, .)

. ,

A :

.

1. [SISc]

52

( ) .

, .

BEGINTRANSACTION

{--------------- META1 CLASS LEVEL ------------------}

TELL Individual PhysicalObj in M1_Class

with attribute

Parts : PhysicalObj

end PhysicalObj

{--------------- SIMPLE CLASS LEVEL ------------------}

TELL Individual CAR in S_Class, PhysicalObj

with Parts

wheels : WHEEL;

body : BODY;

engine : ENGINE

end CAR

TELL Individual WHEEL in S_Class, PhysicalObj

end WHEEL

TELL Individual BODY in S_Class, PhysicalObj

end BODY

TELL Individual ENGINE in S_Class, PhysicalObj

with Parts

cylinder : CYLINDER;

gearbox : GEARBOX;

transmission : TRANSMISSION

end ENGINE

TELL Individual CYLINDER in S_Class, PhysicalObj

end CYLINDER

TELL Individual GEARBOX in S_Class, PhysicalObj

end GEARBOX

TELL Individual TRANSMISSION in S_Class, PhysicalObj

end TRANSMISSION

TELL Individual CAT_ENGINE in S_Class, PhysicalObj isA ENGINE

with Parts

catalyst : CATALYST

end CAT_ENGINE

53

TELL Individual CATALYST in S_Class, PhysicalObj

end CATALYST

{--------------- TOKEN CLASS LEVEL ------------------}

TELL Individual (AMT-9655) in Token, CAR

with wheels

w1 : Wheel1;

w2 : Wheel2;

w3 : Wheel3;

w4 : Wheel4

with body

bd : Body1

with engine

en : (ABC-12345)

end (AMT-9655)

TELL Individual Wheel1 in Token, WHEEL

end Wheel1


end Wheel2


end Wheel3


end Wheel4

TELL Individual Body1 in Token, BODY

end Body1

TELL Individual (ABC-12345) in Token, CAT_ENGINE

with cylinder

c1 : Cylind1;

c2 : Cylind2;

c3 : Cylind3;

c4 : Cylind4

with gearbox

gb : GB1

with transmission

tr : Transmis1

with catalyst

ca : Catalyst1

end (ABC-12345)

TELL Individual Cylind1 in Token, CYLINDER

end Cylind1


54

end Cylind2


end Cylind3


end Cylind4

TELL Individual GB1 in Token, GEARBOX

end GB1

TELL Individual Transmis1 in Token, TRANSMISSION

end Transmis1

TELL Individual Catalyst1 in Token, CATALYST

end Catalyst1

ENDTRANSACTION

2. shell scripts

UNIX

:

1. file system: file.

2. : .

3. UNIX script: UNIX.

.

TELL Individual File in S_Class

with attribute

fileSystem : FileSystem;

address : DiskAddress;

with necessary

filename : FileName

end File

TELL Individual Program in S_Class

with attribute

signature : Signature;

domain : Domain;

comments : Telos_String

with necessary

name : ProgramName;

55

end Program

TELL Individual CommandSequence in S_Class

with attribute

nextCommand : Program

with necessary

prevCommand : Program;

end CommandSequence

TELL Individual Script in S_Class

with attribute

signature : Signature

with necessary

commandSequence : CommandSequence

end Script

(directory)

. script ,

, . script

foreach i (*)

,

sort. allFiles,

cd ls /usr/etc.

TELL Individual prog1 in Token, Program

with name

: cd

with signature

: '$i'

end prog1


with name

: ls

end prog2


with name

: cd

56

with signature

: '..'

end prog3

TELL Individual allFiles1 in Token, CommandSequence

with prevCommand

: prog1

with nextCommand

: prog2

end allFiles1

TELL Individual allFiles2 in Token, CommandSequence

with prevCommand

: prog2

with nextCommand

: prog3

end allFiles2

TELL Individual allFiles in Token, File, Program, Script

with commandSequence

: allFiles1;

: allFiles2

with name

: 'allfiles'

with filename

: /usr/etc/allFiles

with domain

: Utilities

end allFiles

57

4.

, (reification)

(materialization),

.

, ,

, (. ) ,

.

..: (,).

.

:

. 13, (,)

.

13:

( ) --

, . ,

, ,

:

, ,

, ,

. ,

,

1..* 0..*

58

. .

14.

14:

,

,

. ,

. ,

.

: () --

(),

,

. (reification).

,

.

:

Car, ,

FiatPunto, ToyotaYaris, AudiA3, .,

.

1 1

59

, .. ,

, , .., .

,

, . ,

Car .

()

: Car (.., AudiA3)

. , ,

.

- Car,

, (. Car)

.

(

), - CarModel,

(FiatPunto, ToyotaYaris, AudiA3, .). -

CarModel Car:

CarModel Car,

( ). , ,

.

Car CarModel

,

-, (materialization).

, :

m in M1_Class, c in S_Class, x in S_Class, y in Token

materializes (c,m) (x in m x isA c) (y in c ! X (x in m y in x x c))

x , ,

- m, c.

-

.

, .., ,

,

.

, -.

:

.

60

(

Telos):

1 :

TELL Individual Object in S_Class

with attribute

hasPart : Object

end Object

.

.

.

TELL Individual Car in S_Class isA Object

End Car

TELL Individual Wheel in S_Class isA Object

end Wheel

TELL Individual Body in S_Class isA Object

end Body

TELL Individual Engine in S_Class isA Object

End Engine

TELL Attribute hasWheel

from: Car

to: Wheel

in S_Class isA hasPart from Object

end hasWheel

TELL Attribute hasBody

from: Car

to: Body


end hasBody

TELL Attribute hasEngine

from: Car

to: Engine

61


end hasEngine

TELL Individual Cylinder in S_Class isA Object

End Cylinder

TELL Individual IgnitionUnit in S_Class isA Object

End IgnitionUnit

TELL Attribute hasCylinder

from: Engine

to: Cylinder


end hasCylinder

TELL Attribute hasIgnitionUnit

from: Engine

to: IgnitionUnit


end hasIgnitionUnit

2 : -

TELL Individual ObjectType in M1_Class

with attribute

hasPart : ObjectType

end ObjectType

.

.

.

TELL Individual Car in S_Class, ObjectType

with hasPart

hasWheel : Wheel;

hasBody : Body;

hasEngine : Engine

end Car

62

TELL Individual Wheel in S_Class, ObjectType

end Wheel

TELL Individual Body in S_Class, ObjectType

end Body

TELL Individual Engine in S_Class, ObjectType

with hasPart

hasCylinder : Cylinder;

hasIgnitionUnit : IgnitionUnit

end Engine

-.

,

,

. , (

)

, - .

63

[ASCD] . Analyti, N. Spyratos, P. Constantopoulos, M. Doerr, Inheritance under Participation Constraints and Disjointness, Proc. 8th European-Japanese Conference on Information Modelling and Knowledge Bases, 1998, pp. 269-287.

[BBJW] M. Boman, J. Bubenko Jr., P. Johannesson, B. Wangler, Conceptual Modelling, Prentice Hall, 1997.

[CJMV] P. Constantopoulos, M. Jarke, J. Mylopoulos and Y. Vassiliou, "The Software Information Base: A Server for Reuse", in VLDB Journal, Vol. 4, No. 1, pp. 1-43, Jan. 1995.

[Diet] J.L.G. Dietz, Enterprise Ontology Theory and Methodology, Springer, 2006.

[JJM] M. Jeusfeld, M. Jarke, J. Mylopoulos, Metamodeling for Method Engineering, MIT Press, 2009.

[JJNS] M. Jeusfeld, M. Jarke, H. Nissen, M. Staudt, ConceptBase: Managing Conceptual Models about Information Systems, in P. Bernus, K. Mertins, G. Schmidt (eds), Handbook on Architectures of Information Systems, Springer, pp. 265-285, 1998.

[MBJK] J. Mylopoulos, A. Borgida, M. Jarke, M. Koubarakis, Telos a Language for Representing Knowledge about Information Systems, ACM Trans. on Information Systems, 8(4), 325-362, 1990.

[Morr] C.W. Morris, Foundation of the Theory of Signs, International Encyclopedia of Unified Science, Vol. 1, No. 2, 1938.

[Oliv] . Oliv, Conceptual Modeling of Information Systems, Springer, 2007.

[Pier] C. Pierce, 1958, Collected Papers of Charles Sanders Pierce, Cambridge, Mass., Porter M.E., V.E. Millar, 1985, How information gives you competitive advantage, Harvard Business Review.

[SISa] The Semantic Index System SIS, Institute of Computer Science, Foundation for Research and Technology Hellas. http://www.ics.forth.gr/isl/r-d-activities/sis.html

[SISb] SIS Data Entry Language Users Manual, Version 2.2, Institute of Computer Science, Foundation for Research and Technology Hellas, October 1998.

[SISc] SIS - Application Programmatic Interface Reference Manual, Version 2.2.2, Institute of Computer Science, Foundation for Research and Technology Hellas, August 2002.

[Stam] R. Stamper, Information in Business and Administrative Systems, Wiley, 1973.

Documents

Σημειώσεις Εννοιολογικής Μοντελοποίησης