論文の概要: Using Integer Constraint Solving in Reuse Based Requirements Engineering
- arxiv url: http://arxiv.org/abs/2309.16279v1
- Date: Thu, 28 Sep 2023 09:20:07 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-23 06:08:02.857464
- Title: Using Integer Constraint Solving in Reuse Based Requirements Engineering
- Title（参考訳）: 再使用型要求工学における整数制約解法
- Authors: Camille Salinesi (CRI), Raul Mazo (CRI), Daniel Diaz (CRI), Olfa
Djebbi (CRI)
- Abstract要約: 製品ライン(PL)は、再利用ベースの構成に対する効果的なアプローチを証明した。
現在、製品は制約満足度問題と見なせることが広く認識されている。
制約プログラミングをPLの制約を指定するための第一選択候補として考えるのは当然である。
本稿では,PL制約の指定に整数制約プログラミングを用いることについて,さらに検討する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Product Lines (PL) have proved an effective approach to reuse-based systems
development. Several modeling languages were proposed so far to specify PL.
Although they can be very different, these languages show two common features:
they emphasize (a) variability, and (b) the specification of constraints to
define acceptable configurations. It is now widely acknowledged that
configuring a product can be considered as a constraint satisfaction problem.
It is thus natural to consider constraint programming as a first choice
candidate to specify constraints on PL. For instance, the different constraints
that can be specified using the FODA language can easily be expressed using
boolean constraints, which enables automated calculation and configuration
using a SAT solver. But constraint programming proposes other domains than the
boolean domain: for instance integers, real, or sets. The integer domain was,
for instance, proposed by Benavides to specify constraints on feature
attributes. This paper proposes to further explore the use of integer
constraint programming to specify PL constraints. The approach was implemented
in a prototype tool. Its use in a real case showed that constraint programming
encompasses different PL modeling languages (such as FORE, OVM, or else), and
allows specifying complex constraints that are difficult to specify with these
languages.
- Abstract（参考訳）: 製品ライン(pl)は、再利用ベースのシステム開発に効果的なアプローチであることが証明された。
PLを指定するためにいくつかのモデリング言語が提案されている。
これらは非常に異なる場合もあるが、これらの言語は2つの共通の特徴を示している。
(a)変動性、及び
b)許容可能な構成を定義するための制約の仕様。
現在、製品の構成は制約満足度問題と見なせることが広く認識されている。
したがって、制約プログラミングをPL上の制約を指定するための第一選択候補と考えるのは自然である。
例えば、FODA言語を使って指定できるさまざまな制約は、ブール制約を使って簡単に表現できるため、SATソルバを使用した自動計算と構成が可能になる。
しかし、制約プログラミングはブール領域以外の領域(例えば整数、実数、集合)を提案する。
例えば、整数ドメインは、特徴属性の制約を指定するためにBenavidesによって提案された。
本稿では,PL制約の指定に整数制約プログラミングを用いることについて検討する。
このアプローチはプロトタイプツールで実装されました。
実際のケースでの使用は、制約プログラミングが異なるplモデリング言語(fore、ovmなど)を含んでいることを示し、これらの言語で指定するのが難しい複雑な制約を指定することを可能にする。
関連論文リスト
- You-Only-Randomize-Once: Shaping Statistical Properties in Constraint-based PCG [3.581471126368696]
制約解法のための決定変数順序付け法であるYou-Only-Randomize-Once (YORO) プレロールを導入する。
本手法は,市販のSATソルバが生成するタイルグリッド出力の統計を効果的に制御することを示す。
論文 参考訳（メタデータ） (2024-09-01T20:43:55Z) - From Instructions to Constraints: Language Model Alignment with
Automatic Constraint Verification [70.08146540745877]
NLPタスクの共通制約を調査し、それらの引数の型に基づいて、それらを3つのクラスに分類する。
本稿では,ACT(ConsTraintsのアラインメント)という統合フレームワークを提案し,制約に適応したユーザアライメントのための監視信号を自動的に生成する。
論文 参考訳（メタデータ） (2024-03-10T22:14:54Z) - ConstraintChecker: A Plugin for Large Language Models to Reason on
Commonsense Knowledge Bases [53.29427395419317]
コモンセンス知識ベース(CSKB)に対する推論は,新しいコモンセンス知識を取得する方法として検討されてきた。
我々は**ConstraintChecker*を提案します。
論文 参考訳（メタデータ） (2024-01-25T08:03:38Z) - Toward Unified Controllable Text Generation via Regular Expression
Instruction [56.68753672187368]
本稿では,正規表現の利点をフル活用し,多様な制約を一様にモデル化する命令ベース機構を用いた正規表現指導(REI)を提案する。
提案手法では,中規模言語モデルの微調整や,大規模言語モデルでの少数ショット・インコンテクスト学習のみを要し,各種制約の組み合わせに適用した場合のさらなる調整は不要である。
論文 参考訳（メタデータ） (2023-09-19T09:05:14Z) - Controlled Text Generation with Natural Language Instructions [74.88938055638636]
InstructCTGは、異なる制約を含む制御されたテキスト生成フレームワークである。
まず、既製のNLPツールと単純な動詞の組み合わせにより、自然文の基本的制約を抽出する。
制約の自然言語記述といくつかの実演を予測することにより、様々な種類の制約を組み込むために、事前訓練された言語モデルを微調整する。
論文 参考訳（メタデータ） (2023-04-27T15:56:34Z) - ACE, a generic constraint solver [1.550120821358415]
制約プログラミング(CP)は制約された問題のモデリングと解決に有用な技術である。
本稿では,Javaで開発されたオープンソースの制約解決ツールACEについて述べる。
論文 参考訳（メタデータ） (2023-01-06T12:15:18Z) - Symmetric Tensor Networks for Generative Modeling and Constrained
Combinatorial Optimization [72.41480594026815]
ポートフォリオ最適化からロジスティクスに至るまで、制約付き最適化問題は業界に多い。
これらの問題の解決における主要な障害の1つは、有効な検索空間を制限する非自明なハード制約の存在である。
本研究では、Ax=bという形の任意の整数値等式制約をU(1)対称ネットワーク(TN)に直接エンコードし、それらの適用性を量子に着想を得た生成モデルとして活用する。
論文 参考訳（メタデータ） (2022-11-16T18:59:54Z) - SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One
Constraints [5.62245362437303]
Pseudo-Boolean(PB)制約の符号化について検討する。
PB(AMO)エンコーディングは、より多くのインスタンスをタイムリミット内で解決し、時には1桁以上の時間改善を行う。
論文 参考訳（メタデータ） (2021-10-15T12:53:01Z) - An Integer Linear Programming Framework for Mining Constraints from Data [81.60135973848125]
データから制約をマイニングするための一般的なフレームワークを提案する。
特に、構造化された出力予測の推論を整数線形プログラミング(ILP)問題とみなす。
提案手法は,9×9のスドクパズルの解法を学習し,基礎となるルールを提供することなく,例からツリー問題を最小限に分散させることが可能であることを示す。
論文 参考訳（メタデータ） (2020-06-18T20:09:53Z) - An ASP semantics for Constraints involving Conditional Aggregates [9.289905977910378]
ハイブリッド・アンサー・セット・プログラミング(ASP)の正式な基礎について詳しく述べる。
制約値や変数を集約する関数で、その基盤となる論理的フレームワークを拡張します。
線形制約を持つ論理プログラムに重きを置いて、いわゆる条件付き線形制約の特定のケースとして、ASP集約がいかに共通であるかを示す。
論文 参考訳（メタデータ） (2020-02-17T12:25:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。