Communications of the ACM
OBJSA nets: a class of high-level nets having objects as domains
Advances in Petri Nets 1988
Petri nets and algebraic specifications
Theoretical Computer Science
Object-oriented modeling and design
Object-oriented modeling and design
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Formal Methods Reality Check: Industrial Usage
IEEE Transactions on Software Engineering
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
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
The Rational Unified Process: An Introduction, Second Edition
The Rational Unified Process: An Introduction, Second Edition
Formal Object-Oriented Development
Formal Object-Oriented Development
Visual Modeling with Rational Rose 2002 and UML
Visual Modeling with Rational Rose 2002 and UML
A component-based Petri net model for specifying and validating cooperative information systems
Data & Knowledge Engineering
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Coordination Technologies for Managing Information System Evolution
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Dynamic Configuration of Resource-Aware Services
Proceedings of the 26th International Conference on Software Engineering
Relating evolving business rules to software design
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Adaptable system/Software architectures
Towards an Architectural Approach to Location-Aware Business Processes
WETICE '04 Proceedings of the 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Specification and (property) inheritance in CSP-OZ
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
UML-B: Formal modeling and design aided by UML
ACM Transactions on Software Engineering and Methodology (TOSEM)
CSMR '07 Proceedings of the 11th European Conference on Software Maintenance and Reengineering
Distribution concerns in service-oriented modelling
International Journal of Internet Protocol Technology
Automatic business process analysis and simulation based on DEMO
Enterprise Information Systems
A conceptual framework for product lifecycle modelling
Enterprise Information Systems
Complex event processing in enterprise information systems based on RFID
Enterprise Information Systems
Validating UML models and OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Hi-index | 0.00 |
The Unified Modelling Language (UML) is nowadays the de-facto standard method for developing Object-Oriented (OO) information systems (IS). UML is endowed with semi-formal graphical diagrams, allowing a multi-view based modelling. Further decisive UML strengths include advanced supporting tools as well as the readiness to extensions through stereotypes and profiles. Nevertheless, for contemporary critical IS where high-degree of reliability, flexibility and distribution are requested, such early semi-formal and multi-viewed UML-based modelling requires to be leveraged towards more disciplined, verifiable and intrinsically distributed specification. That is, first, the rigorous coherence between structural and behavioural diagrams have to be addressed. Secondly, the formal validation/certification of the application crucial properties should be soundly handled. Thirdly, the targeted UML-driven unified framework has to cater for componentisation, true-concurrency and adaptability. With the aim to preserve all the above UML strengths, we propose to describe early IS requirements using tailored UML diagrams, with mainly class-diagrams, OCL constraints and state-charts. We then smoothly shift these intuitive UML-driven IS multi-views towards a more unified, rigorous and distributed conceptual modelling, where certification and validation are intrinsic. This phase is governed by a rigorous component-based operational and visual framework called CO-NETS. It is based on a formal integration of most OO concepts and mechanisms, enhanced with modularity principles, into a variant of high-level Petri Nets. For rapid-prototyping purposes, CO-NETS behaviour is governed by Meseguer's rewriting logic. This innovative UML-CO-NETS-driven proposal for IS model-driven development is a validated, through a non-trivial case-study, on production systems.