Abstrakt. Ett informationssystem upprätthåller en representation av domänens tillstånd i sin informationsbas (IB). Tillståndet för IB förändringar på grund av genomförandet av de operationer som definieras i beteendeschemat. Det finns två olika tillvägagångssätt för att specificera effekten av en operation: de tvingande och de förklarande tillvägagångssätten. Vid konceptuell modellering är det deklarativa tillvägagångssättet att föredra eftersom det ger en mer abstrakt och koncis definition av operationseffekten och döljer alla genomförandefrågor. För att kunna genomföra det begreppsmässiga schemat måste deklarativa specifikationer omvandlas till likvärdiga tvingande specifikationer. Tyvärr kan deklarativa specifikationer vara icke-deterministiska. Detta innebär att det kan finnas flera likvärdiga tvingande versioner för samma deklarativa specifikation, vilket hämmar omvandlingsprocessen. Huvudsyftet med detta dokument är att tillhandahålla en mönsterbaserad översättningsmetod mellan båda specifikationerna. För att underlätta översättningen föreslår vi några heuristiker som förbättrar precisionen i deklarativa specifikationer och hjälper till att undvika icke-determinism i översättningsprocessen.
Pappersreferensdokumentet tillhandahåller en mönsterbaserad metod för att översätta deklarativa specifikationer till tvingande.
From Declarative to Imperative UML/OCL Operation Specifications
{'venue': 'ER', 'journal': None, 'mag_field_of_study': ['Computer Science']}