iStar2.0 provides a recommendation for the core constructs defined in the i* language, which are articulated around a metamodel. When applying iStar2.0 to a particular domain, it can be necessary to extend this metamodel in order to represent more specialized concepts. One of these domains is that of data structures, as implementation of abstract data types. In this paper, we build upon previous work on using i* to describe data structures from an intentional point of view, by introducing new constructs in iStar2.0 and adding them to the iStar2.0 metamodel. We illustrate the approach using some well-known abstract data types (sequences, functions, …) and the data structures implementing them (linked lists, heaps, hash tables, …).Peer Review...
info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FCEC%2F04516%2F2019/PTModelling languages are ...
This paper describes structural polymorphism, a new form of type polymorphism appropriate to functio...
This paper describes a new data abstraction mechanism in an object-oriented model of computing. The ...
This paper explores the use of the i* language as a notation to describe data structures to be used ...
Most computer science curricula include a compulsory course on data structures. Students are prone t...
The i* modeling language was introduced to fill the gap in the spectrum of conceptual modeling langu...
iStar2.0 has been proposed as a standard language for building goal- and agent-oriented models. It i...
The clear definition of a metamodel can be considered helpful for any conceptual modeling approach, ...
iStar2.0 was delivered in 2016 with the intention of becoming a standard de facto for the i* communi...
Developing and maintaining software commonly requires (1) adding new data type constructors to exist...
AbstractImplementations of abstract data types are defined via enrichments of a target type. We prop...
Traditionally, programming languages support data abstraction through some kind of module construct...
AbstractWe consider the problem of data type extensions. Guttag, Horowitz, and Musser have pointed o...
This dissertation defends the idea of a closed dependent type theory whose inductive types are encod...
One of the crucial operations on the path from specification to implementation is the modification ...
info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FCEC%2F04516%2F2019/PTModelling languages are ...
This paper describes structural polymorphism, a new form of type polymorphism appropriate to functio...
This paper describes a new data abstraction mechanism in an object-oriented model of computing. The ...
This paper explores the use of the i* language as a notation to describe data structures to be used ...
Most computer science curricula include a compulsory course on data structures. Students are prone t...
The i* modeling language was introduced to fill the gap in the spectrum of conceptual modeling langu...
iStar2.0 has been proposed as a standard language for building goal- and agent-oriented models. It i...
The clear definition of a metamodel can be considered helpful for any conceptual modeling approach, ...
iStar2.0 was delivered in 2016 with the intention of becoming a standard de facto for the i* communi...
Developing and maintaining software commonly requires (1) adding new data type constructors to exist...
AbstractImplementations of abstract data types are defined via enrichments of a target type. We prop...
Traditionally, programming languages support data abstraction through some kind of module construct...
AbstractWe consider the problem of data type extensions. Guttag, Horowitz, and Musser have pointed o...
This dissertation defends the idea of a closed dependent type theory whose inductive types are encod...
One of the crucial operations on the path from specification to implementation is the modification ...
info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FCEC%2F04516%2F2019/PTModelling languages are ...
This paper describes structural polymorphism, a new form of type polymorphism appropriate to functio...
This paper describes a new data abstraction mechanism in an object-oriented model of computing. The ...