• 대한지리학회지
• /
• 제33권spc호
• /
• pp.709-719
• /
• 1998

오늘날 세계는 물질적으로 풍요롭게 되었지만, 생태위기의 발생과 더불어 환경문데를 둘러싼 불평등이 감소하기 보다는 오히려 증대하고 있다. 21세기를 위한 새로운 패러다임으로서 생태학은 이러한 불평등을 극복하기 위한 지식 및 실천으로서 '환경정의'의 개념 또는 이론을 필요로 한다. 진정한 환경정의론은 한편으로 생태학의 규범적 측면들을 발전시키면서 다른 한편으로 이의 이데올로기의 동원을 막을 수 있는 이론적 및 실천적 토대가 될 것으로 기대된다. 환경정의에 관한 개념적 연구는 주로 사회정의에 관한 철학적 전통, 특히 자유론, 공리주의, 계약론을 포괄하는 자유주의적 정의론, 맑스주의적 정의론 및 포스트모던 정의론 등에서 도출된 주요 개념들을 자연환경에 확대시키고자 한다. 환경정의에 관한 몇몇 학자들, 대표적으로 벤쯔(Wenz), 하비(Harvey), 로와 그리슨 (Low and Gleeson) 등은 다양한 전통을 위에서 제시한 (환경)정의론들을 면밀히 고찰하여, 이들 각각의 한계를 제시하거나 문제점들을 지적하고, 나아가 이들을 종합하고자 했다. 이들의 연구는 환경정의에 관한 다양한 이론들의 특성을 이해하는데 많은 도움을 주지만, 그 자체로 일관성 있는 이론으로 발전하지는 못했다. 이 글에서 제시되는 환경정의론은 인간들 간의 관계, 자연과 인간들 간의 물질적 관계, 그리고 상징적 관계 등에 상응하도록 정의를 3가지 차원, 즉 분배적 정의, 생산적 정의, 승인적 정의로 구분하고자 한다. 이들은 각각 필요의 원칙, 노동의 원칙, 그리고 의사소통의 원칙에 기초하며, 또한 각각 자유주의적, 특히 롤즈의 정의론, 맑스주의 정의론, 그리고 비판이론이나 포스트모던 정의론에서 많은 시사점들을 얻을 수 있다.

• 한국수학사학회지
• /
• 제24권1호
• /
• pp.63-73
• /
• 2011

기하학의 기본용어인 점과 선에 대한 유클리드의 사전적 정의에서 힐베르트의 수학적 정의 개념으로의 변화과정을 살펴보았다. 이러한 수학에서의 정의 개념 변화의 인식론적 배경은 바로 수학적 대상의 존재 방식에 대한 실재론, 개념론을 거쳐 유명론에 도달하는 철학적 인식의 변화이다.

• 문화기술의 융합
• /
• 제8권5호
• /
• pp.315-320
• /
• 2022

본 연구는 인간을 다른 생명체와 동일한 차원에서 바라보는 인간주의 이후 포스트휴머니즘의 흐름과 더불어, 그 안에 속하지만 정반대로 과학기술을 통한 증강인간을 꿈꾸며 절대화를 꾀하는 트랜스휴머니즘의 문제를 다루고자 한다. 그 이후 본 연구는 기존 정의론이 이 두 가지 양극단의 상황에 대해 어떻게 평가할 수 있는지 살펴보고자 한다. 특별히 정의론과 관련하여 우리가 선택한 길잡이는 마이클 샌델이며, 이러한 논의 안으로 미래의 포스트/트랜스휴머니즘의 문제를 통과시켜봄으로써 과연 전통 정의론의 입장에서 미래 인간론의 흐름을 어떻게 평가할 수 있는지 제안하게 된다. 포스트/트랜스휴머니즘과 그로 인해 나타날 다양한 사건들은 우리가 피할 수 없는 운명으로 다가오고 있다. 그러나 이러한 필연적인 상황과 더불어 이것은 기존의 정의론을 통과하여 타당한 것으로 통용되기 위해서는 아직 많은 논의들이 필요한 실정이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.25-27
• /
• 2003

재공학 방법론의 메타 모델은 재공학을 위해 수반된 다양한 범위의 여러 기술들 간의 관계성을 식별하고 추상화 함으로써, 재공학 방법론 개발자들이 일관성 있게 적용할 수 있는 방법론 개발 원칙을 정립할 수 있다. 따라서, 본 논문에서는 레거시 시스템의 재공학을 위한 체계적인 방법론 개발을 위해 메타 모델을 정의하고, 이를 바탕으로 실제 레거시 시스템을 새로운 시스템 환경으로의 변환 및 통합을 지원하기 위한 아키텍쳐 기반의 컴포넌트화 방법론인 마르미-RE를 개발한다. 이를 위해 재공학 기술의 체계를 분석하고 방법론을 구성하는 기술 요소들을 정의하기 위한 기술적 메타 모델과, 방법론을 구성하는 업무 단위를 정의한 프로세스 메타 모델을 정의한다. 그리고, 프로세스 메타 모델에 따라 기술적 메타 모델을 전개시킴으로써 마르미-RE의 세부 단계와 활동, 작업등을 개발한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.349-351
• /
• 2003

Statecharts는 UML에서 시스템의 행위를 표현하기 위한 핵심적인 언어로서 다양한 분야에 응용되고 있다. 그 의미론은 수학적인 방법으로 기술되어 있으나 실제로 응용하여 구현하는데에는 상당히 많은 과정을 거쳐야 한다. 본 논문에서는 UML Statecharts와 유사한 언어인 SyncCharts로 정의한다. SyncCharts는 Esterel의 정형명세 언어에 기반한 도식적인 언어로서 그 의미론은 물론 내장형 시스템의 코딩을 위해 잘 정의되고 진화된 언어이다. 본 논문에서는 SyncCharts를 이용하여 Statecharts의 의미론을 정의한다. 특히 실시간적인 행위 측면에서의 동기적 시간 의미론과 비동기적 시간 의미론을 모두 정의한다. 이렇게 함으로써 UML Statecharts의 실시간과 관련된 의미론을 정의한다. 그에 더하여 SyncCharts의 명세를 통해 어떻게 구현이 가능한지를 보임으로서 실제 Statecharts를 이용한 검증 및 구현 과정을 보인다.

• 한국노년학
• /
• 제30권4호
• /
• pp.1045-1058
• /
• 2010

이 연구의 목적은 롤즈의 정의론을 중심으로 노년교육의 정당성을 탐색하고, 교육자원 혹은 교육기회의 정의로운 배분을 위한 당위성을 이끌어 내는데 있다. 또 이를 바탕으로 노년교육의 활성화를 위한 함의를 얻고자 한다. 연구자는 롤즈의 정의론을 토대로 사회정의를 실천하기 위한 원칙으로 '원초적 입장'을 지적하였다. 이 입장은 '무지의 베일'과 '합리적 무관심'으로 구성되어 있다. 또 사회정의의 실천방법으로 '우연성의 배제', '차등원칙 실현', '민주주의적 평등', '공동자산' 등이 제시되었다. 이를 근거로 향후 보다 정의로운 노년교육을 위한 함의를 다음과 같이 살펴볼 수 있었다. 첫째, 최소수혜계층인 노인, 여성, 장애인 등이 교육 가치의 배분에 있어 차별을 받아서는 안 된다. 둘째, 우수한 능력을 갖춘 사람들 혹은 세대는 자신들이 사회의 공동자산이라는 인식하에 그렇지 못한 사람들을 위해 봉사하여야 한다. 셋째, 노인들 스스로 분산된 힘을 응집시키고 잠재력을 발전시키려 노력하여야 한다. 결론적으로, 롤즈의 정의론은 노년교육을 위한 정당성 도출 및 노년교육의 활성화를 위한 이념적 틀로서 매우 유용하다.

• 한국지역지리학회지
• /
• 제11권4호
• /
• pp.476-496
• /
• 2005

이 연구는 자유주의적 전통에 서있는 롤즈의 정의론을 환경정의의 개념화를 위해 응용함에 있어 어떤 의의와 한계를 가지고 있는가를 검토해 보고자 한다. 이를 위해, 이 연구는 우선 롤즈의 자유주의적 정의론을 개관하고, 보다 구체적으로 롤즈의 정의이론이 환경자원의 정의로운 분배의 개념화에 어떻게 적용될 수 있는가를 고찰한 후, 롤즈적 정의론을 동물 및 자연의 여타 구성원들로 확장할 경우 발생할 수 있는 문제점들을 논의하고자 한다. 이러한 논의의 결과로 다음과 같은 점들이 주장된다. 롤즈의 이론에서 자연자원의 상태는 정의의 객관적 조건으로 서술되고 있지만, 정의로운 생산과 분배의 실제 요소로서 이해되어야 할 것이다. 그의 정의론은 자원의 정의로운 분배를 위해 중요한 의미를 가지지만, 분배의 결과에 대한 실제적 정의를 보장하는 것은 아니다. 그의 이론을 동물 및 자연의 여타 구성원들로 확장하는 것은 거의 불가능한 것처럼 보인다. 왜냐하면 그의 이론이 근거하고 있는 자유주의, 나아가 서구의 과학적 전통은 인간과 자연간의 존재론적 이원론에 바탕을 두고 있으며, 따라서 자연의 내재적 가치를 인지할 수 없기 때문이다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2004년도 춘계공동학술대회 논문집
• /
• pp.722-725
• /
• 2004

기업의 비즈니스 프로세스는 날로 변화하여 다양해지고 있으며, 특히 e-비즈니스의 활성화로 인하여 더욱 복잡해지고 전문화되었다. 워크플로우 관리시스템은 이러한 비즈니스 프로세스를 실행, 운영, 통제하는 시스템으로서 발전해왔다. 이러한 워크플로우 관리 시스템의 장점을 이용하기 위해서는 반드시 프로세스의 분석과 모델링을 통하여 워크플로우 정의가 입력되어야 한다. 본 연구에서는 프로세스를 비교하는 척도를 개발함으로써 다수의 모델간의 차이를 분석할 수 있는 방법을 제시하며, 이를 통하여 협력적으로 워크플로우 정의를 설계하는 방법론을 제시한다. 즉, 프로세스의 속성을 분류하고 이 속성의 단계적 척도를 개발하여 다수 모델간의 차이를 분석함으로써, 워크플로우 정의를 설계할 때 다수의 모델간에 협의가 가능한 방법론을 제시하는 것을 목표로 한다. 본 연구에서 제시하는 방법론은 다음과 같은 장점이 있다. 먼저 프로세스 정의에 있어 그룹 다이나믹스 방법을 도입하여 보다 정확하고 비용이 적은 프로세스 설계 방법론을 제시하였다. 또한 비즈니스 프로세스간 차이를 비교할 수 있는 척도를 통하여 기존의 프로세스 모델간 또는 설계되는 프로세스 모델의 비교가 가능하다는 장점이 있다. 이러한 본 연구의 방법론을 통하여 워크플로우 관리 시스템에 보다 효율적이고 정확한 프로세스 정의가 가능할 것이다.

• 논리연구
• /
• 제3권
• /
• pp.27-51
• /
• 2000

이글의 기본적인 목적은 2치를 포함한 다치 논리 체계들간의 관계를 검토하는 데 있다. 이를 위하여 여기서는 명제를 대상으로 한 형식 의미 해석체계들 간에 고러해야 할 의미론적 확장 개념을 분명히 하였다. 구체적으로 다음의 두 작업이 수행되었다 첫째로 2치와 다치 논리 또는 다치 논리들간에 적용될 만한 의미론적 확장 개념을 의미해석의 바탕을 이루는 진리치 함수와 진리연산에 맞게 정의하였다. 둘째로 정의의 적합성을 확장, 비확장 사례 증명을 통해 예증해 보였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (중)
• /
• pp.793-796
• /
• 2003

B2B 전자상거래와 같이 XML을 이용한 정보교환이 확산되고 있으며 이에따라 상호 교환되는 정보에 대하여 체계적이고 안정적인 저장 관리가 요구되고 있다. 이를 위해 XML 응용과 데이터베이스 연계를 위하여 다양한 연구가 XML DTD와 관계형 데이터베이스 중심으로 수행되었다. 그러나 XML DTD가 다양한 데이터 타입 및 표현의 한계 때문에 관계형 데이터베이스와 원활한 연계가 불가능하게 되었다. 그러므로 다양한 데이터 타입과 데이터 표현에 강력한 XML Schema에 대한 연구가 필요하게 되었다. 또한 계층구조를 2차원 정보로 변환하는 방법에 의해서 각 구조화된 정보를 관계형 데이터베이스로 저장하기 위한 데이터 모델링과 XML schema 모델링이 요구된다. 본 논문에서는 XML schema로 정의된 XPDL 정의 스키마를 UML로 변환하는 방법론과 UML을 RDB 스키마로 변환하는 방법론을 제시함으로써, 워크플로우 정의 언어인 XPDL 정의 스키마를 토대로 관계형 데이터베이스의 스키마를 확정하는 방법론을 제안하였다.