Abstrakt. Produktlinjeteknik för programvara kombinerar den individuella utvecklingen av system med utvecklingen av en familj av system som består av gemensamma och rörliga tillgångar. I detta papper introducerar vi processen algebra PL-CCS som en produktlinje förlängning av CCS och visa hur man modellerar det övergripande beteendet hos en hel familj inom PL-CCS. PL-CCS modeller innehåller beteendevariabilitet och tillåter härledning av enskilda system på ett systematiskt sätt på grund av en semantik ges i termer av multi-värderade modal Kripke strukturer. Dessutom introducerar vi multi-värderad modal μ-calculus som en egenskap specifikation språk för systemfamiljer som anges i PL-CCS och visa hur modellkontroll tekniker fungerar på sådana strukturer. I vår inställning är resultatet av modellkontroll inte längre ett enkelt ja eller inget svar utan en uppsättning system i produktlinjen som uppfyller de angivna egenskaperna.
Groler m.fl. REF utvidgade processen algebra CCS och föreslog PL-CCS för att stödja ensamrätten eller förhållandet mellan två processer i programvaruproduktlinjen.
Modeling and Model Checking Software Product Lines
{'venue': 'FMOODS', 'journal': None, 'mag_field_of_study': ['Computer Science']}