ブラウザよりも高速アクセス！
26 関係: Alloy Analyzer、ATLAS Transformation Language、変換言語、メタモデル、メタデータ、モデリング言語、モデル変換、モデル変換言語、モデルベーステスト、モデル駆動型アーキテクチャ、モデル駆動工学、ドメイン固有モデリング、ドメイン固有言語、インテンショナルプログラミング、オブジェクト指向分析設計、シミュレーション、統一モデリング言語、Eclipse (統合開発環境)、Extensible Markup Language、IBM、Meta-Object Facility、Object Management Group、QVT、XML Metadata Interchange、XML Path Language、XML変換言語。
Alloy Analyzer
軽量形式手法の一つ。仕様をモデルとして記述し検証するシステム。定義したデータの関係がどうなるか、模擬試験した結果を順に表示する仕組みがある。 設計者が想定していない関係が現れたら、仕様記述の不具合の可能性がある。 UML記述システムとAlloy Analyzeとの連携ソフトウェアがあり、UMLの記述ができる技術者が容易に利用できるようになっている。.
新しい！!: Object Constraint LanguageとAlloy Analyzer · 続きを見る »
ATLAS Transformation Language
ATLAS Transformation Language（ATL）は、QVTの Request for Proposal を受けて INRIA が開発したモデル変換言語である。QVT は Object Management Group によるモデル変換の標準である。ATL は、文法的変換にも意味論的変換にも使える。ATL は、モデル変換用仮想機械上に構築されている。.
新しい！!: Object Constraint LanguageとATLAS Transformation Language · 続きを見る »
変換言語
変換言語（へんかんげんご、transformation language）とは、入力中にあらわれるパターンを検出して置き換えを行ったり、内容の意味を保存しながら別のフォーマットに変換したりする操作を記述する、ドメイン固有言語である。専らルールベースのものが多い。.
新しい！!: Object Constraint Languageと変換言語 · 続きを見る »
メタモデル
地図情報メタモデルの例。4種類の自己言及のあるメタオブジェクトを持つ。David R. Soller et al. (2001) http://pubs.usgs.gov/of/2001/of01-223/soller2.html Progress Report on the National Geologic Map Database, Phase 3: An Online Database of Map Information Digital Mapping Techniques '01 -- Workshop Proceedings U.S. Geological Survey Open-File Report 01-223. メタモデル（Metamodel）とは、ソフトウェア工学およびシステム工学などにおいて、所定の問題領域でのモデリングに適用可能で有益なフレーム・規則・制限・モデル・理論を意味する。メタモデリング（Metamodeling）とは、メタモデルの分析・構築・開発を意味する。この用語はメタとモデルという用語の組み合わせである。 メタモデリングは「メタ」であるが故に、その活動とメタモデルは、メタ科学、メタ哲学、メタ理論、一般システム理論などで研究されている。そういった意味ではによればメタモデルはゴール指向のメタ知識であり、モデル化する領域（参照領域）に関連している。そのため、理論的に言えばメタモデリングの成果であるモデル階層をメタモデル階層と混同するかもしれない。 計算の観点では、この概念は数学で使われており、計算機科学/計算機工学/ソフトウェア工学で実用のために応用されている。本項目は主に後者の観点で述べている。.
新しい！!: Object Constraint Languageとメタモデル · 続きを見る »
メタデータ
メタデータ（metadata）、メタ情報とは、メタなデータ、すなわちデータについてのデータという意味で、あるデータが付随して持つそのデータ自身についての付加的なデータを指す。.
新しい！!: Object Constraint Languageとメタデータ · 続きを見る »
モデリング言語
モデリング言語は、ルールの一貫したセットで定義された構造によって情報、知識あるいはシステムを表現するため使われるあらゆる人工言語である。そのルールは、その構造における構成要素の意味を解釈するため使われる。.
新しい！!: Object Constraint Languageとモデリング言語 · 続きを見る »
モデル変換
モデル駆動工学におけるモデル変換 (model transformation) とは、モデルのファミリが一貫性を保っていることを保証する自動化可能な方法であり、ソフトウェア技術者が正確に定義できる。モデル変換の目的は、モデルの構築と修正の自動化を可能にすることで、成果を保存し誤りを低減させることである。.
新しい！!: Object Constraint Languageとモデル変換 · 続きを見る »
モデル変換言語
モデル変換言語（モデルへんかんげんご、Model Transformation Language）とは、モデル駆動型アーキテクチャにおけるモデル変換を行う（コンピュータ）言語（プログラミング言語ではない）。.
新しい！!: Object Constraint Languageとモデル変換言語 · 続きを見る »
モデルベーステスト
モデルベーステスト（Model-besed testing）とは、テストケースの一部または全部を評価対象システムの（通常、機能的側面を）モデル化したものから導出して行うソフトウェアテストの手法である。モデルはテスト対象のシステムの実現すべき動作を表現した抽象的なものである。そのようなモデルから導出されるテストケースはモデルと同程度に抽象化された機能テストであり、直接実行することはできない。そのため、抽象的なテストケースを実行可能なテストケースに変換する必要がある。 モデルからテストを導出する方法はいくつも存在する。ソフトウェアテストは実験的でヒューリスティックスに基づいているため、最善の方法というものは存在しない。一般に全てのテストに関連する設計上の決定をまとめ、パッケージ化する。これを「テスト要求仕様; test requirements」、「テスト目的; test purpose」、場合によっては「ユースケース」と呼ぶ。このパッケージにはテストの中心となるべき部分のモデルに関する情報が含まれ、テスト終了条件が記述される。 モデルベーステストではテストスイートはソースコードからではなくモデルから抽出されるため、一種のブラックボックステストを構成するのが一般的である。見方によってはこれは完全とはいえない。モデルベーステストとソースコードレベルのテストの網羅率測定を組み合わせ、機能的モデルを初期段階のソースコードに基づいて構築するなどのテスト改善方法が考えられる。 複雑なソフトウェアシステムのモデルベーステストは発展途上の分野である。.
新しい！!: Object Constraint Languageとモデルベーステスト · 続きを見る »
モデル駆動型アーキテクチャ
モデル駆動型アーキテクチャ（モデルくどうがたアーキテクチャ、Model-Driven Architecture、MDA）とは、Object Management Group (OMG) が2001年に公式に発表したソフトウェア設計手法である。MDA はソフトウェアシステムにおけるモデル駆動工学サポートを意図したものである。.
新しい！!: Object Constraint Languageとモデル駆動型アーキテクチャ · 続きを見る »
モデル駆動工学
モデル駆動工学（モデルくどうこうがく、Model-Driven Engineering、MDE）とは、アルゴリズム的な概念よりも、ドメインモデルの作成と利用を中心とするソフトウェア開発方法論の一種である。ドメインモデルとは、特定の適応領域についての知識や活動を抽象化して表現したものである。 モデル駆動工学(以下、MDE)は、工学的ライフサイクルを通して、モデルをシステム的に利用する工学手法を意味する。また、MDEの適用範囲は、ソフトウェア、システム、データ工学などである。MDEでは、モデルを第一に考える。.
新しい！!: Object Constraint Languageとモデル駆動工学 · 続きを見る »
ドメイン固有モデリング
ドメイン固有モデリング（ドメインこゆうモデリング、Domain-Specific Modeling、DSM）とは、ソフトウェアなど主にITシステムで使われるシステム設計開発手法である。グラフィカルなドメイン固有言語(DSL)を使用してシステムの様々な面を表現する。DSM言語は汎用モデリング言語よりも抽象度が高く、システムを記述するのに詳細化を要しない。.
新しい！!: Object Constraint Languageとドメイン固有モデリング · 続きを見る »
ドメイン固有言語
ドメイン固有言語（ドメインこゆうげんご、domain-specific language、DSL）とは、特定のタスク向けに設計されたコンピュータ言語である。 DSL は一種類のタスクをうまく実行することに集中したものであり、古くから存在した。何らかのプログラミング言語それ自体の構文と処理系を利用する internal DSL（あるいは embedded DSL）と、独立した構文と処理系を持つ external DSL に大別されるが、そのいずれにしても近年の、自由度と機能が高いプログラミング言語により手軽に扱えるようになったことから広まっている。ドメイン固有モデリングの支持者によれば、ドメイン固有モデリングの発達と共にDSLという用語も広く知られるようになってきた、とされる。実際にはドメイン固有言語はモデリングとは特別な関係が何もあるわけでもなく（ドメイン固有モデリングのためのドメイン固有言語、といったものはあるが）、モデリング以外にもあらゆる分野のための言語がある。 例えば、ハードウェア記述言語のVerilog HDLやVHDL、表計算ソフトのマクロ、データベースへの問い合わせ言語（SQLなど）、文脈自由文法を記述するBNFや正規文法を記述する正規表現、図を作成する言語を構築する 、音響や音楽の合成用のCsound、グラフ（ネットワーク）描画システムGraphvizのDOT言語、依存関係解決用のmakeなどがある。.
新しい！!: Object Constraint Languageとドメイン固有言語 · 続きを見る »
インテンショナルプログラミング
インテンショナルプログラミング（intentional programming）は、プログラミングにおいて、ソースコードにインテンション（意図、意向）と呼ばれる正確な情報を反映させるコンセプトの集合である。インテンションとは、プログラマが構想を練る際に頭の中に生じる概念をさす。プログラマの思考と抽象化のレベルをうまく一致させ、ソースコードの閲覧とプログラムの保守を容易にする。 インテンショナルプログラミングはマイクロソフトに長く勤めたチャールズ・シモニーが提唱した考え方である。彼はマイクロソフトリサーチで、この概念を実証する IP と名づけた統合開発環境の開発を指揮した。理由は不明だが、マイクロソフトはインテンショナルプログラミングに関する作業を止めさせたため、IP の開発は2000年代初期に中止された。 インテンショナルプログラミングに関するよい解説は「Generative Programming: Methods, Tools, and Applications」という本の11章にある。.
新しい！!: Object Constraint Languageとインテンショナルプログラミング · 続きを見る »
オブジェクト指向分析設計
ブジェクト指向分析設計 (オブジェクトしこうぶんせきせっけい、OOAD、object-oriented analysis and design) は、ソフトウェア工学において、ソフトウェア (システム) を相互作用するオブジェクトの集まりとしてモデル化 (オブジェクト指向モデリング) する、オブジェクト指向に基づくソフトウェア開発の方法である。オブジェクト指向の理論的枠組みに基づくソフトウェア開発、すなわちオブジェクト指向開発を行う際の、ソフトウェア開発工程において、分析工程であるオブジェクト指向分析 (OOA; object-oriented analysis) と、設計工程であるオブジェクト指向設計 (OOD; object-oriented design) の、総称である。なおプログラミング工程は、オブジェクト指向プログラミング (OOP; object-oriented programming) という。オブジェクト指向プログラミングの詳細については同項目を参照のこと。オブジェクト指向開発の具体的な方法論を、オブジェクト指向開発方法論 (object-oriented methodology) という。この項目では、オブジェクト指向開発におけるオブジェクト指向分析とオブジェクト指向設計、およびオブジェクト指向開発方法論を、主に説明する。.
新しい！!: Object Constraint Languageとオブジェクト指向分析設計 · 続きを見る »
シミュレーション
ミュレーション（）は、何らかのシステムの挙動を、それとほぼ同じ法則に支配される他のシステムやコンピュータなどによって模擬すること広辞苑第6版。simulationには「模擬実験」や「模擬訓練」という意味もある。なお「シミュレイション」と表記することもまれにある。.
新しい！!: Object Constraint Languageとシミュレーション · 続きを見る »
統一モデリング言語
統一モデリング言語（とういつモデリングげんご、UML、英: Unified Modeling Language）は、主にオブジェクト指向分析や設計のための、記法の統一がはかられた（Unified）モデリング言語（Modeling Language）である。仕様記述言語であるなどとされることもあるが、統一されているのは構文に相当する記法だけで、仕様を表現するような意味が形式的に与えられていない図もあるので、形式仕様記述言語ではない。 最初期の版はラショナルにおいて、グラディ・ブーチ、イヴァー・ヤコブソン、ジェームズ・ランボーの3人が策定した。この3人はスリーアミーゴスと呼ばれている。現在は Object Management Group（OMG） が管理しており、現在最も普及していると主張されている。2015年7月現在の最新版は UML 2.5 であり、ISO/IEC 19501:2005 として UML 1.4.2 を、また、ISO/IEC 19505-1:2012 ならびに ISO/IEC 19505-2:2012 として UML 2.4.1 を標準化している。 UML 2.0 以降では、ダイアグラム（図法）が13種類もあり（#UMLのダイアグラムを参照）、各種の図法を必要に応じて使い分けなければならない（というより、別に節を改めて説明しているが、単なる肥大化であり、単に必要ないものは無視すべきということである）。よく使う図としては、ユースケース図、ステートマシン図、シーケンス図、クラス図などがある。UMLはデザインパターンを説明するために良く使われている。.
新しい！!: Object Constraint Languageと統一モデリング言語 · 続きを見る »
Eclipse (統合開発環境)
Eclipse（「イクリプス」または「エクリプス」）は、IBMによって開発された統合開発環境 (IDE) の一つ。高機能ながらオープンソースであり、Javaをはじめとするいくつかの言語に対応する。Eclipse自体はJavaで記述されている。 名称のEclipseとは「食（蝕）」の意の英語で、日食や月食を指すが、Javaを開発した米Sun Microsystems（太陽）とは無関係である。.
新しい！!: Object Constraint LanguageとEclipse (統合開発環境) · 続きを見る »
Extensible Markup Language
Extensible Markup Language（エクステンシブル マークアップ ランゲージ）は、基本的な構文規則を共通とすることで、任意の用途向けの言語に拡張することを容易としたことが特徴のマークアップ言語の総称である。一般的にXML（エックスエムエル）と略称で呼ばれる。JISによる訳語は「拡張可能なマーク付け言語」。 SGMLからの移行を目的として開発された。文法はSGMLの構文解析器と互換性を保つようにSGMLのサブセットに定められシンプルになり、機能はSGMLに無いものが追加されている。 XML の仕様は、World Wide Web Consortium (W3C) により策定・勧告されている。1998年2月に XML 1.0 が勧告された。2010年4月現在、XML 1.0 と XML 1.1 の2つのバージョンが勧告されている（#バージョン）。 ちなみに、「eXtensible Markup Language の略である」と書かれることがあるが、これは間違いであり、XはExの発音を表している。.
新しい！!: Object Constraint LanguageとExtensible Markup Language · 続きを見る »
IBM
IBM（アイビーエム、正式社名: International Business Machines Corporation）は、民間法人や公的機関を対象とするコンピュータ関連製品およびサービスを提供する企業である。本社はアメリカ合衆国ニューヨーク州アーモンクに所在する。世界170カ国以上で事業を展開している。.
新しい！!: Object Constraint LanguageとIBM · 続きを見る »
Meta-Object Facility
Meta-Object Facility（MOF）とは、OMGの定めたモデル駆動工学のための標準規格である。公式ページは。.
新しい！!: Object Constraint LanguageとMeta-Object Facility · 続きを見る »
Object Management Group
Object Management Group (オブジェクト・マネージメント・グループ、OMG) は、コンピュータ業界の非営利の標準化コンソーシアムであり、国際的で誰でも会員になれる。様々な技術および広範囲の業種について企業統合標準を開発している。OMGのモデリング標準は、ソフトウェアや他のプロセスの強力な視覚的設計・実行・保守を可能にする。当初はオブジェクト指向システムの標準化を目的としいていたが、後に（プログラム、システム、ビジネスプロセスなどの）モデリングとモデルベースの標準策定に注力している。.
新しい！!: Object Constraint LanguageとObject Management Group · 続きを見る »
QVT
QVT（Queries/Views/Transformations）とは、Object Management Groupが定義したモデル駆動型アーキテクチャにおけるモデル変換の標準である。Meta-Object Facility(MOF)に関連する標準であることから、MOF QVT とも呼ばれる。.
新しい！!: Object Constraint LanguageとQVT · 続きを見る »
XML Metadata Interchange
XML Metadata Interchange（XMI）とは、Extensible Markup Language (XML)を使ってメタデータ情報を交換する標準規格であり、OMGが策定した。Meta-Object Facility (MOF)で表現できるメタモデルに従うメタデータを扱うことができる。XMIの典型的な利用法として、UMLモデルの交換形式としての利用があるが、他の言語のモデル（メタモデル）のシリアライズにも使うことができる。.
新しい！!: Object Constraint LanguageとXML Metadata Interchange · 続きを見る »
XML Path Language
XML文書に XPath の式を適用したイメージ XML Path Language （XPath（エックスパス）） は、マークアップ言語 XML に準拠した文書の特定の部分を指定する言語構文である。XPath自体は簡潔な構文 （式言語） であり、（XML関係にありがちな）XMLベースのマークアップ言語ではない。標準化団体 W3C (World Wide Web Consortium) で開発され、1999年11月16日に XML Path Language (XPath) 1.0 が XSL Transformations (XSLT) 1.0 と同時に勧告として公表された - W3C (World Wide Web Consortium)。XPathは、XSLT と XSL-FO とともに XSL の構成要素である。2007年1月23日、W3C で XPath 1.0 の次期バージョンが制定され、XPath 2.0 が XSLT 2.0 と同時に勧告された。2014年4月8日に XPath 3.0 が勧告された。他に、XPathを拡張したようなものとして XQuery がある。 XPathは、XML文書中から必要な要素群（サブセット）を取り出す、などといった用途に使うものとして、急速に受け入れられていった。なお、もともとはXPathは、XSL (XSLT) と XPointer に共通する構文と振る舞いのモデルを目標としていた。 XSLTでは、XML文書内の処理対象などの指定に、XPathを使用する。一般に、XSLT処理系を実装するには、XPath処理系のライブラリなどを利用してXPathを取り扱う必要がある。 日本では日本工業規格（JIS）に、JIS X 4160 として XPath 1.0 の翻訳版がある。.
新しい！!: Object Constraint LanguageとXML Path Language · 続きを見る »
XML変換言語
XMLからXMLへの変換 XML変換言語とは、XML文書を入力とし、何らかの目的に適合したXML文書（に必ずしも限らない）を出力するような変換を行う変換言語である。.
新しい！!: Object Constraint LanguageとXML変換言語 · 続きを見る »
