The semantics of programming languages: an elementary introduction using structural operational semantics
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
CO-OPN/2: a concurrent object-oriented formalism
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
ACSD '01 Proceedings of the Second International Conference on Application of Concurrency to System Design
From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Two Application languages in software production
VHLLS'94 Proceedings of the USENIX 1994 Very High Level Languages Symposium Proceedings on USENIX 1994 Very High Level Languages Symposium Proceedings
Prototyping object oriented specifications
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
| Hi-index | 0.00 |
Domain-specific modeling lets you express solutions at the problem domain's level of abstraction and in its idiom. However, this doesn't mean that you can easily or rapidly generate prototypes. In reality, domain-specific languages (DSLs) are difficult to design, implement, and maintain and are usually less efficient than hand-coded software. Mapping DSLs into the Concurrent Object-Oriented Petri Nets (CO-OPN) formal specification language provides the semantics necessary for developing prototypes of these DSLs.