Sciweavers

969 search results - page 117 / 194
» Recursive Petri nets
Sort
View
SAC
2008
ACM
13 years 9 months ago
Towards a model-driven engineering approach for developing embedded hard real-time software
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro
JCSS
2011
154views more  JCSS 2011»
13 years 5 months ago
Model interoperability via Model Driven Development
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
AWPN
2008
274views Algorithms» more  AWPN 2008»
13 years 11 months ago
A Janus-Faced Net Component for the Prototyping of Open Systems
We introduce a Janus-faced reference net component that presents the basis for the recursive composition of complex systems from open system units. We particularly focus on the ope...
Matthias Wester-Ebbinghaus, Daniel Moldt
JSW
2007
126views more  JSW 2007»
13 years 10 months ago
Supporting UML Sequence Diagrams with a Processor Net Approach
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
Tony Spiteri Staines
DSS
2007
94views more  DSS 2007»
13 years 10 months ago
A formal modeling approach for supply chain event management
: As supply chains become more dynamic it is important to be able to model them formally as business processes. In particular, there is a need for a sense and respond capability to...
Rong Liu, Akhil Kumar, Wil M. P. van der Aalst