Deriving Framework Usages Based on Behavioral Models
スポンサーリンク
概要
- 論文の詳細を見る
One of the critical issue in framework-based software development is a huge introduction cost caused by technical gap between developers and users of frameworks. This paper proposes a technique for deriving framework usages to implement a given requirements specification. By using the derived usages, the users can use the frameworks without understanding the framework in detail. Requirements specifications which describe definite behavioral requirements cannot be related to frameworks in as-is since the frameworks do not have definite control structure so that the users can customize them to suit given requirements specifications. To cope with this issue, a new technique based on satisfiability problems (SAT) is employed to derive the control structures of the framework model. In the proposed technique, requirements specifications and frameworks are modeled based on Labeled Transition Systems (LTSs) with branch conditions represented by predicates. Truth assignments of the branch conditions in the framework models are not given initially for representing the customizable control structure. The derivation of truth assignments of the branch conditions is regarded as the SAT by assuming relations between termination states of the requirements specification model and ones of the framework model. This derivation technique is incorporated into a technique we have proposed previously for relating actions of requirements specifications to ones of frameworks. Furthermore, this paper discuss a case study of typical use cases in e-commerce systems.
著者
-
ZENMYO Teruyoshi
Department of Computer Science, Tokyo Institute of Technology
-
KOBAYASHI Takashi
Department of Information Engineering, Graduate School of Information Science, Nagoya University
-
SAEKI Motoshi
Department of Computer Science, Tokyo Institute of Technology
関連論文
- Deriving Framework Usages Based on Behavioral Models
- Living related renal transplantation for end-stage renal disease after liver transplantation from a brain-dead donor
- Adult-onset idiopathic hypogonadotropic hypogonadism presented with erectile and ejaculatory disorder
- Effect of Amiodarone on the Serum Concentration/Dose Ratio of Metoprolol in Patients with Cardiac Arrhythmia
- Stereoselective Effect of Amiodarone on the Pharmacokinetics of Racemic Carvedilol
- PJ-271 Cilostazol, a Selective Inhibitor of PDE3, Blocked Oxidative Stress-induced Premature Senescence of Human Endothelial Cells(Thromboembolism/Antithrombotic therapy/Thrombolysis-5, The 71st Annual Scientific Meeting of the Japanese Circulation Societ
- PJ-631 Inhibition of Sirt1 Induces Senescence-like Phenotype and Endothelial Dysfunction in Human Endothelial cells(Atherosclerosis, basic-6 (H) PJ106,Poster Session (Japanese),The 70th Anniversary Annual Scientific Meeting of the Japanese Circulation Soc
- PJ-271 Cilostazol, a Selective Inhibitor of PDE3, Blocked Oxidative Stress-induced Premature Senescence of Human Endothelial Cells(Thromboembolism/Antithrombotic therapy/Thrombolysis-5, The 71st Annual Scientific Meeting of the Japanese Circulation Societ
- PJ-631 Inhibition of Sirt1 Induces Senescence-like Phenotype and Endothelial Dysfunction in Human Endothelial cells(Atherosclerosis, basic-6 (H) PJ106,Poster Session (Japanese),The 70th Anniversary Annual Scientific Meeting of the Japanese Circulation Soc
- Prostate gland volume is a strong predictor of biopsy results in men 70 years or older with prostate-specific antigen levels of 2.0-10.0ng/mL
- Value of prostate volume measurement using transabdominal ultrasonography for the improvement of prostate-specific antigen-based cancer detection
- Micropapillary bladder cancer
- Effects of sextant transrectal prostate biopsy plus additional far lateral cores in improving cancer detection rates in men with large prostate glands
- Successful recovery from a massive pulmonary artery tumor embolism occurring during surgery for renal cell carcinoma
- Clinically isolated cerebellar metastasis of renal pelvic urothelial cancer
- Structural Studies on the Phase Transition of La_3Ni_2O_ at about 550 K
- Urethral leiomyoma expressing estrogen receptors
- Drastic Improvement in Wettability of 6,13-Bis(triisopropylsilylethynyl)pentacene by Addition of Silica Nanoparticles for Solution-Processable Organic Field-Effect Transistors
- Systematic Study of Fine and Hyperfine Structures in Pr I by Doppler-Free Atomic-Beam Laser Spectroscopy
- Computer Search of Rare-Earth Atomic Levels for Atomic Parity Violation Experiments
- Chronic pulmonary complications associated with toxic epidermal necrolysis : Report of a severe case with anti-Ro-SS-A and a review of the published work
- Effect of Oral Vitamin E Administration on Acute Gastric Mucosal Lesion Progression in Rats Treated with Compound 48/80, a Mast Cell Degranulator(Pharmacology)
- Effect of Gefarnate on Acute Gastric Mucosal Lesion Progression in Rats Treated with Compound 48/80, a Mast Cell Degranulator, in Comparison with That of Teprenone(Pharmacology)
- Impact of improvement in specificity of primary screening test on total cost of prostate cancer mass screening
- Gastrojejunostomy as Induction Treatment for S-1-based Chemotherapy in Patients with Incurable Gastric Cancer
- Device for the Removal of Button Batteries
- Curative Resection Performed Twice for Circular-Staple-Line Recurrence After Colorectal Carcinoma Surgery : Report of a Case
- Search-Based Refactoring Detection from Source Code Revisions
- Successful Laparoscopic Cholecystectomy in a Child with Upper Transverse Scarring : Report of a Case
- Preparation, Crystal Structure, and Solid-state Fluorescence of a CH_2Cl_2-solvated Crystal of 6,13-Bis(t-butylphenyl)-2,3,9,10-tetrapropoxypentacene
- Study on Facile Synthesis, Crystal Structure, and Solid-State Fluorescence of Dicyclohexane-Annelated Anthracene
- Control of Effective Conjugation Length in Polyfluorene Thin Films
- Utilization of Knockout Mice to Examine the Potential Role of Gastric Histamine H_2-Receptors in Menetrier's Disease
- Predicting disease outcome of non-invasive transitional cell carcinoma of the urinary bladder using an artificial neural network model : Results of patient follow-up for 15 years or longer
- Fabrication and characterization of poly(3-hexylthiophene)-based field-effect transistors with silsesquioxane gate insulators
- Lavage manipulation technique for persistent closed lock of the temporomandibular joint
- The ter mutation responsible for germ cell deficiency but not testicular nor ovarian teratocarcinogenesis in ter/ter congenic mice
- Protective Effect of Teprenone Against Acute Gastric Mucosal Lesions Induced by Compound 48/80, a Mast Cell Degranulator, in Rats
- Protective Effect of Ebselen, a Seleno-Organic Compound, Against the Progression of Acute Gastric Mucosal Lesions Induced by Compound 48/80, a Mast Cell Degranulator, in Rats
- GASTRIC WALL STRUCTURE USING A 30MHz ENDOSCOPIC ULTRASOUND PROBE, FOCUSING UPON DELINEATION OF THE MUSCULARIS MUCOSAE
- Assessment of Underlying Blood Vessels in Gastric Ulcers with Bleeding Episode by Endoscopic Color Doppler Ultrasonography
- PE-444 Plaque Characterization in Chronic Kidney Patients Analyzed by Virtual Hestology Intravascular Ultrasound(Kidney/Renal circulation(04)(H),Poster Session(English),The 72nd Annual Scientific Meeting of the Japanese Circulation Society)
- OJ-234 Enhanced CD40 Ligand Levels are Associated with No Reflow Phenomenon and Left Ventricular Dysfunction in Patients with Acute Myocardial Infarction(Atherosclerosis, clinical(04)(IHD),Oral Presentation (Japanese),The 72nd Annual Scientific Meeting of
- Characteristic expression of connective tissue components and matrix metalloproteinases (MMPs) during the development of pressure ulcerations
- PJ-132 Evaluation of Coronary Intervension by Optical Coherence Tomography in Patients with Acute Coronary Syndrome(PJ022,Coronary Revascularization, PCI (New Devices/New Technology) 1 (IHD),Poster Session (Japanese),The 73rd Annual Scientific Meeting of
- PJ-113 Effect of Statin Therapy on Plaque Volume and Composition in Patients with Acute Myocardial Infarction : A Virtual Histology Study(PJ019,Atherosclerosis (Clinical/Treatment) 1 (IHD),Poster Session (Japanese),The 73rd Annual Scientific Meeting of Th
- PJ-197 Increases in Metalloproteinase-8 in patients with acute myocardial infarction(Acute myocardial infarction, clinical (diagnosis/treatment)(09)(IHD),Poster Session(Japanese),The 72nd Annual Scientific Meeting of the Japanese Circulation Society)
- Systemic lupus erythematosus with lichen planus-like eruptions associated with pericarditis
- Neurofibromatosis type 2 in an infant with multiple plexiform schwannomas as first symptom
- Malignant Melanoma and Acquired Dermal Melanocytosis on Congenital Nevus Spilus
- Successful treatment of primary aldosteronism due to computed tomography-negative microadenoma
- Deriving Framework Usages Based on Behavioral Models
- Saikokeishito extract prevents progression of acute gastric mucosal lesions induced by compound 48/80, a mast cell degranulator, in rats
- Estimation of Collector Current Spreading in InGaAs SHBT Having 75-nm-Thick Collector
- Design Pattern Detection by Using Meta Patterns
- Temperature Dependence of Photoluminescence Lifetime and Quantum Efficiency in Neat fac-Ir(ppy)_3 Thin Films
- An evaluation of computerized tools for method construction (ソフトウェアサイエンス)
- Effect of a Polysaccharide (TAP) from the Fruiting Bodies of Tremella aurantia on Glucose Metabolism in Mouse Liver
- Improved Stability of Metal-Insulator-Diamond Semiconductor Interface by Employing CaF_2/Thin BaF_2 Composite Insulator Film
- Solar Adaptive Optics System Based on Software Control
- Bilateral total knee arthroplasty after spontaneous osseous ankylosis in rheumatoid arthritis
- Association of the Acral Type of Pustular Psoriasis, Sjogren's Syndrome, Systemic Lupus Erythematosus, and Hashimoto's Thyroiditis
- Keratinocyte Apoptosis on Type I Collagen Fibrils is Prevented by Erk1/2 Activation under High Calcium Condition
- Collagen-derived dipeptide, proline-hydroxyproline, stimulates cell proliferation and hyaluronic acid synthesis in cultured human dermal fibroblasts
- Case of carcinosarcoma of urinary bladder obtained a pathologically complete response by neoadjuvant chemoradiotherapy
- Studies of the Selective O-Alkylation and Dealkylation of Flavonoids. XVIII.^ A Convenient Method for Synthesizing 3,5,6,7-Tetrahydroxyflavones
- Supporting Application Framework Selection Based on Labeled Transition Systems(Knowledge-Based Software Engineering)
- Estimation of collector current spreading in InGaAs SHBT having 75-nm-thick collector
- Estimation of collector current spreading in InGaAs SHBT having 75-nm-thick collector
- Synthesis and Solid-state Optical Properties of 2,3-Dialkyl- and 2,3,8,9-Tetraalkyltetracenes