DescriptionSoftware product lines (

Description

Software product lines (SPL) have a long tradition and will gain momentum in the future. Today's research tries to move software development to a new quality of industrial production. Several solutions concerning different phases of the software development process have been proposed in order to cope with different problems of program family development. A major problem of program family engineering is still the missing tool support. The vision is an IDE that brings all phases of the development process together, consistently and in a user-friendly manner.

FeatureIDE is an Eclipse-based IDE that supports all phases of feature-oriented software development for the development of SPLs: domain analysis, domain implementation, requirements analysis, and software generation. Different SPL implementation techniques are integrated such as feature-oriented programming (FOP), aspect-oriented programming (AOP), delta-oriented programming (DOP), and preprocessors.


FeatureIDE is under constant development. The following features are implemented:

Full Eclipse Integration
Feature Model Editor, graphical and text based.
Highlighting of dead and false-optional features and their corresponding constraints based on Sat4j.
Constraint Editor with content assist, syntax, and semantic checking, e.g., dead feature detection.
Abstraction from the SPL source code for several outline and navigation tools, among others and overview how mixins are composed and which methods are present in previous features.
Configuration Editor to create and edit configurations and with support for deriving valid configuration.
Support for edits on feature models, i.e., categorizing edits into refactorings, generalizations, specializations or none of these.
A view displaying statistics about the software product line.
Feature-oriented programming:
Integration of AHEAD
Integration of FeatureC++
Integration of FeatureHouse with support for C, C#, Java 1.5, JML, Haskell, XML, JavaCC, ...
Family-based type checks with Fuji
Aspect-oriented programming:
Integration of AspectJ
Delta-oriented programming:
Integration of DeltaJ
Integration of DeltaEcore
Annotation-based:
Integration of the C preprocessor with Colligens
Family-based type checks with TypeChef
Integration of the preprocessor Munge
Integration of the preprocessor Antenna
Generation of all program variants
T-Wise variant generation with SPLCATool (including CASA)
Support for feature model grammars of following tools:
The guidsl Tool, S.P.L.O.T., Velvet, fmp: Feature Modeling Plug-in, SPL Conqueror
Export of cnf in dimacs format.
Synthesis of programs with Launchpad

ผลลัพธ์ (ไทย) 1:

คำอธิบายสายผลิตภัณฑ์ซอฟต์แวร์ (SPL) มีมายาวนาน และจะได้รับโมเมนตัมในอนาคต ของการวิจัยที่พยายามเพื่อไปพัฒนาซอฟต์แวร์ที่มีคุณภาพใหม่ของอุตสาหกรรมการผลิต โซลูชั่นต่าง ๆ เกี่ยวกับขั้นตอนต่าง ๆ ของกระบวนการพัฒนาซอฟต์แวร์ได้รับการเสนอเพื่อรับมือกับปัญหาต่าง ๆ ของโปรแกรมการพัฒนาครอบครัว ปัญหาสำคัญของโปรแกรมวิศวกรรมครอบครัวยังคงเป็นการสนับสนุนเครื่องมือหายไป วิสัยทัศน์คือ IDE ที่ทำให้ทุกขั้นตอนของกระบวนการพัฒนาร่วมกัน อย่างสม่ำเสมอ และ ในลักษณะใช้งานง่ายFeatureIDE เป็น IDE ที่เป็นคราสที่สนับสนุนทุกขั้นตอนของการพัฒนาซอฟต์แวร์เชิงคุณลักษณะการพัฒนา SPLs: วิเคราะห์โดเมน โดเมนใช้งาน การวิเคราะห์ และสร้างซอฟต์แวร์ รวมเทคนิคการใช้งาน SPL แตกต่างกันเช่นมุ่งเน้นคุณลักษณะเขียนโปรแกรม (FOP), เชิงลักษณะการเขียนโปรแกรม (AOP), เดลต้าเน้นเขียนโปรแกรม (DOP), และ preprocessorsFeatureIDE อยู่ภายใต้การพัฒนาอย่างต่อเนื่อง มีใช้คุณลักษณะต่อไปนี้:รวมเต็มคราสคุณลักษณะแก้ไขรุ่น กราฟิกและข้อความเน้นคุณสมบัติตาย และไม่จำ เป็นเท็จและข้อจำกัดของพวกเขาที่สอดคล้องกันที่อิง Sat4jช่วยเหลือแก้ไขข้อจำกัด มีเนื้อหา ไวยากรณ์ และความหมายตรวจสอบ เช่น การตรวจสอบคุณลักษณะตายAbstraction จากแหล่ง SPL รหัสเค้าร่างและนำหลายเครื่องมือ อื่น ๆ และ ภาพรวมของวิธีการประกอบด้วย mixins และซึ่ง วิธีที่มีอยู่ในคุณสมบัติก่อนหน้าConfiguration Editor to create and edit configurations and with support for deriving valid configuration.Support for edits on feature models, i.e., categorizing edits into refactorings, generalizations, specializations or none of these.A view displaying statistics about the software product line.Feature-oriented programming:Integration of AHEADIntegration of FeatureC++Integration of FeatureHouse with support for C, C#, Java 1.5, JML, Haskell, XML, JavaCC, ...Family-based type checks with FujiAspect-oriented programming:Integration of AspectJDelta-oriented programming:Integration of DeltaJIntegration of DeltaEcoreAnnotation-based:Integration of the C preprocessor with ColligensFamily-based type checks with TypeChefIntegration of the preprocessor MungeIntegration of the preprocessor AntennaGeneration of all program variantsT-Wise variant generation with SPLCATool (including CASA)Support for feature model grammars of following tools:The guidsl Tool, S.P.L.O.T., Velvet, fmp: Feature Modeling Plug-in, SPL ConquerorExport of cnf in dimacs format.Synthesis of programs with Launchpad

ผลลัพธ์ (ไทย) 2:

รายละเอียดสายผลิตภัณฑ์ซอฟต์แวร์ (SPL) มีประเพณีที่ยาวนานและจะได้รับโมเมนตัมในอนาคต งานวิจัยวันนี้พยายามที่จะย้ายพัฒนาซอฟต์แวร์ที่มีคุณภาพใหม่ของอุตสาหกรรมการผลิต การแก้ปัญหาหลายประการเกี่ยวกับขั้นตอนต่างๆของกระบวนการพัฒนาซอฟต์แวร์ได้รับการเสนอเพื่อรับมือกับปัญหาที่แตกต่างกันของการพัฒนาโปรแกรมครอบครัว ปัญหาสำคัญของวิศวกรรมโปรแกรมครอบครัวยังคงเป็นเครื่องมือสนับสนุนที่ขาดหายไป . วิสัยทัศน์เป็น IDE ที่จะนำทุกขั้นตอนของกระบวนการในการพัฒนาร่วมกันอย่างต่อเนื่องและในลักษณะที่ใช้งานง่ายFeatureIDE เป็น IDE คราสตามที่สนับสนุนทุกขั้นตอนของคุณลักษณะที่มุ่งเน้นการพัฒนาซอฟต์แวร์สำหรับการพัฒนาของ SPLs: การวิเคราะห์โดเมน การดำเนินงานโดเมนการวิเคราะห์ความต้องการและการสร้างซอฟแวร์ เทคนิคการใช้งานที่แตกต่างกัน SPL มีการบูรณาการเช่นคุณลักษณะการเขียนโปรแกรมเชิง (FOP) ด้านการเขียนโปรแกรมเชิง (AOP), การเขียนโปรแกรม Delta-oriented (DOP) และ preprocessors. FeatureIDE อยู่ภายใต้การพัฒนาอย่างต่อเนื่อง คุณสมบัติดังต่อไปจะดำเนินการ: Eclipse บูรณาการเต็มรูปแบบ. คุณลักษณะรุ่นแก้ไข, กราฟิกและข้อความตาม. เน้นของคุณสมบัติที่ตายแล้วและเท็จไม่จำเป็นและข้อ จำกัด ที่สอดคล้องกันของพวกเขาขึ้นอยู่กับ Sat4j จำกัด บรรณาธิการที่มีเนื้อหาที่ช่วยไวยากรณ์และการตรวจสอบความหมายเช่นคุณลักษณะที่ตายแล้ว การตรวจสอบ. Abstraction จากซอร์สโค้ด SPL หลายร่างและการนำเครื่องมืออื่น ๆ ในกลุ่มและภาพรวมของวิธี mixins มีองค์ประกอบและวิธีการที่มีอยู่ในคุณสมบัติก่อนหน้า. กำหนดค่า Editor เพื่อสร้างและแก้ไขการกำหนดค่าและด้วยการสนับสนุนอันเกิดการกำหนดค่าที่ถูกต้อง. การสนับสนุนสำหรับการแก้ไข . ในรูปแบบคุณลักษณะเช่นการจัดหมวดหมู่การแก้ไขลงใน refactorings, ภาพรวม, ความเชี่ยวชาญหรือไม่มีของเหล่านี้. มุมมองการแสดงสถิติเกี่ยวกับสายผลิตภัณฑ์ซอฟต์แวร์เขียนโปรแกรมที่มีคุณลักษณะเชิงบูรณาการของ AHEAD บูรณาการของ FeatureC ++ บูรณาการของ FeatureHouse ด้วยการสนับสนุนสำหรับ C, C #, Java 1.5 JML, Haskell, XML, JavaCC ... ครอบครัวตามการตรวจสอบชนิดของฟูจิการเขียนโปรแกรมเชิงลักษณะ: บูรณาการของ AspectJ การเขียนโปรแกรม Delta-เชิงบูรณาการของ DeltaJ บูรณาการของ DeltaEcore หมายเหตุตาม: บูรณาการของ preprocessor C ด้วย Colligens ครอบครัวตามการตรวจสอบชนิดกับ TypeChef บูรณาการของ preprocessor Munge บูรณาการของ preprocessor เสาอากาศรุ่นของโปรแกรมทุกสายพันธุ์รุ่นที่แตกต่างของ T-Wise กับ SPLCATool (รวม CASA) การสนับสนุนสำหรับไวยากรณ์คุณลักษณะรูปแบบของเครื่องมือต่อไปนี้: เครื่องมือ guidsl, SPLOT กำมะหยี่ , FMP: คุณลักษณะการสร้างแบบจำลอง Plug-in, SPL พิชิต. การส่งออกในรูปแบบ CNF dimacs สังเคราะห์โปรแกรมที่มี Launchpad

ผลลัพธ์ (ไทย) 3:

รายละเอียดสายผลิตภัณฑ์ซอฟต์แวร์ ( SPL ) มีประเพณีที่ยาวนานและจะได้รับโมเมนตัมใน อนาคต งานวิจัยนี้พยายามที่จะย้ายการพัฒนาซอฟต์แวร์คุณภาพใหม่ของการผลิตภาคอุตสาหกรรม วิธีแก้ไขปัญหาต่าง ๆเกี่ยวกับขั้นตอนต่างๆของกระบวนการพัฒนาซอฟต์แวร์ที่ได้รับการเสนอเพื่อรับมือกับปัญหาต่าง ๆ ของการพัฒนาโปรแกรม ปัญหาหลักของวิศวกรรมครอบครัวโปรแกรมยังคงหายไปเครื่องมือสนับสนุน วิสัยทัศน์เป็น IDE ที่นำขั้นตอนของกระบวนการพัฒนาร่วมกันอย่างต่อเนื่อง และในลักษณะที่ง่ายfeatureide เป็น Eclipse IDE ที่สนับสนุนตามขั้นตอนทั้งหมดของคุณลักษณะที่มุ่งเน้นการพัฒนาซอฟต์แวร์เพื่อการพัฒนา spls โดเมนการวิเคราะห์การใช้งานโดเมนการวิเคราะห์ความต้องการและสร้างซอฟต์แวร์ เทคนิคการใช้งานที่แตกต่างกัน เช่น คุณลักษณะแบบ SPL Oriented Programming ( กลุ่ม ) , ด้าน Oriented Programming ( AOP ) , เดลต้า Oriented Programming ( DOP ) และ preprocessors .featureide อยู่ภายใต้การพัฒนาอย่างต่อเนื่อง คุณลักษณะต่อไปนี้จะดำเนินการ :บูรณาการเต็มรูปแบบ คราสแก้ไขรูปแบบคุณลักษณะกราฟิกและข้อความที่ใช้ไฮไลต์ของคนตายและคุณลักษณะตัวเลือกที่เป็นเท็จและข้อจำกัดที่สอดคล้องกันของพวกเขาขึ้นอยู่กับ sat4j .ทำการแก้ไขเนื้อหาช่วยไวยากรณ์และอรรถศาสตร์การตรวจสอบ เช่น การตรวจสอบคุณสมบัติแล้วนามธรรมจาก SPL รหัสที่มาสำหรับร่างและหลายเครื่องมือนำทาง , หมู่คนอื่น ๆและภาพรวมแล้ว mixins ประกอบขึ้น และเป็นวิธีที่นำเสนอในลักษณะเดิมการปรับแต่งแก้ไขเพื่อสร้างและแก้ไขรูปแบบและการสนับสนุนที่ได้รับการปรับแต่งให้ถูกต้องการสนับสนุนสำหรับการแก้ไขในรูปแบบ ลักษณะ คือ การแก้ไขใน refactorings มาจากการจัดหมวดหมู่ , ชาญ หรือ ไม่มีของเหล่านี้มุมมองที่แสดงสถิติเกี่ยวกับผลิตภัณฑ์ซอฟต์แวร์บรรทัดคุณลักษณะที่มุ่งเน้นโปรแกรม :การรวมกลุ่มของล่วงหน้า+ + รวมของ featurecรวม featurehouse ด้วยการสนับสนุนสำหรับ C , C # , Java 1.5 jml Erlang , XML , javacc , . . .ครอบครัวตามประเภทการตรวจสอบกับฟูจิด้าน Oriented Programming :รวม aspectjเดลต้า Oriented Programming :รวม deltajรวม deltaecoreหมายเหตุ : ตามการบูรณาการกับ colligens พรีโพรเซสเซอร์ซีตามครอบครัว typechef ตรวจสอบประเภทกับการบูรณาการของตัวประมวลผลก่อน mungeการบูรณาการของตัวประมวลผลก่อน เสาอากาศรุ่นของโปรแกรมทั้งหมด ได้แก่t-wise ตัวแปรรุ่น splcatool ( รวมทั้ง Casa )การสนับสนุนสำหรับคุณลักษณะรูปแบบไวยากรณ์ของเครื่องมือดังต่อไปนี้ :การ guidsl เครื่องมือ s.p.l.o.t. หยี่ , FMP : ลักษณะแบบเสียบ SPL พิชิตส่งออกในรูปแบบ dimacs CNF .การสังเคราะห์โปรแกรมกับ Launchpad