No abstract available.
Cited By
- Mcneile A and Simons N Protocol Modelling Revised Selected Papers of the International Workshops on Behavior Modeling -- Foundations and Applications - Volume 6368, (167-196)
- Wieringa R (2014). Empirical research methods for technology validation, Journal of Systems and Software, 95, (19-31), Online publication date: 1-Sep-2014.
- Roubtsova E, Joosten S and Wedemeijer L Behavioural model for a business rules based approach to model services Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, (1-8)
- Bejaoui L, Pinet F, Schneider M and Bédard Y (2010). OCL for formal modelling of topological constraints involving regions with broad boundaries, Geoinformatica, 14:3, (353-378), Online publication date: 1-Jul-2010.
- McNeile A and Roubtsova E Aspect-oriented development using protocol modeling Transactions on aspect-oriented software development VII, (115-150)
- McNeile A and Roubtsova E Aspect-oriented development using protocol modeling Transactions on aspect-oriented software development VII, (115-150)
- Ramsin R and Paige R (2008). Process-centered review of object oriented software development methodologies, ACM Computing Surveys (CSUR), 40:1, (1-89), Online publication date: 1-Feb-2008.
- McNeile A and Roubtsova E CSP parallel composition of aspect models Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling, (13-18)
- Song I and Lee K Developing state diagrams using a state specialization technique Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications, (86-95)
- Pinet F, Duboisset M and Soulignac V (2007). Short communication, Environmental Modelling & Software, 22:8, (1217-1220), Online publication date: 1-Aug-2007.
- Shankar M, Sorokine A, Bhaduri B, Resseguie D, Shekhar S and Yoo J Spatio-temporal conceptual schema development for wide-area sensor networks Proceedings of the 2nd international conference on GeoSpatial semantics, (160-176)
- Jifeng H, Li X and Liu Z (2006). rCOS, Theoretical Computer Science, 365:1, (109-142), Online publication date: 10-Nov-2006.
- Costal D and Gómez C On the use of association redefinition in UML class diagrams Proceedings of the 25th international conference on Conceptual Modeling, (513-527)
- Olivé A and Raventós R (2006). Modeling events as entities in object-oriented conceptual modeling languages, Data & Knowledge Engineering, 58:3, (243-262), Online publication date: 1-Sep-2006.
- Evermann J The association construct in conceptual modelling – an analysis using the bunge ontological model Proceedings of the 17th international conference on Advanced Information Systems Engineering, (33-47)
- Simons A Testing with guarantees and the failure of regression testing in extreme programming Proceedings of the 6th international conference on Extreme Programming and Agile Processes in Software Engineering, (118-126)
- Kuhn W Geospatial semantics Journal on Data Semantics III, (1-24)
- Liu Z, He J, Liu J and Li X (2004). Unifying Views of UML, Electronic Notes in Theoretical Computer Science (ENTCS), 101:C, (95-127), Online publication date: 1-Nov-2004.
- Ol'khovich L and Koznov D (2019). OCL-Based Automated Validation Method for UML Specifications, Programming and Computing Software, 29:6, (323-327), Online publication date: 1-Nov-2003.
- Barbier F, Henderson-Sellers B, Le Parc-Lacayrelle A and Bruel J (2003). Formalization of the Whole-Part Relationship in the Unified Modeling Language, IEEE Transactions on Software Engineering, 29:5, (459-470), Online publication date: 1-May-2003.
- Jackson D Object models as heap invariants Programming methodology, (247-268)
- Rees D, Stephenson K and Tucker J (2018). The algebraic structure of interfaces, Science of Computer Programming, 49:1-3, (47-88), Online publication date: 1-Dec-2003.
- Olivé A Derivation rules in object-oriented conceptual modeling languages Proceedings of the 15th international conference on Advanced information systems engineering, (404-420)
- Snoeck M and Michiels C (2019). Domain Modelling and the Co-Design of Business Rules in the Telecommunication Business Area, Information Systems Frontiers, 4:3, (331-342), Online publication date: 1-Sep-2002.
- Harel D and Kupferman O (2002). On Object Systems and Behavioral Inheritance, IEEE Transactions on Software Engineering, 28:9, (889-903), Online publication date: 1-Sep-2002.
- Pelechano V, Pastor O and Insfrán E (2019). Automated code generation of dynamic specializations, Data & Knowledge Engineering, 40:3, (315-353), Online publication date: 1-Mar-2002.
- Alencar P, Cowan D and Lucena C (2002). A Logical Theory of Interfaces and Objects, IEEE Transactions on Software Engineering, 28:6, (548-575), Online publication date: 1-Jun-2002.
- Wirsing M and Knapp A (2002). A formal approach to object-oriented software engineering, Theoretical Computer Science, 285:2, (519-560), Online publication date: 28-Aug-2002.
- Jackson D and Waingold A (2001). Lightweight Extraction of Object Models from Bytecode, IEEE Transactions on Software Engineering, 27:2, (156-169), Online publication date: 1-Feb-2001.
- Clarke S and Walker R Composition patterns Proceedings of the 23rd International Conference on Software Engineering, (5-14)
- Knapman J Business-oriented constraint language Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (47-61)
- Knapman J Statistical constraints for EAI Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (78-92)
- Cook S The UML family Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (255-264)
- Kleppe A and Warmer J Extending OCL to include actions Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (440-450)
- Pazzi L Part-whole statecharts for the explicit representation of compound behaviours Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (541-555)
- Harel D and Kupferman O On the Behavioral Inheritance of State-Based Objects Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
- Lano K and Malik N (1999). Mapping Procedural Patterns to Object-Oriented Design Patterns, Automated Software Engineering, 6:3, (265-289), Online publication date: 1-Jul-1999.
- Woodman M, Griffiths R, Macgregor M, Holland S and Robinson H Exploiting Smalltalk modules in a customizable programming environment Proceedings of the 21st international conference on Software engineering, (65-74)
- Jackson D and Waingold A Lightweight extraction of object models from bytecode Proceedings of the 21st international conference on Software engineering, (194-202)
- Clarke S, Harrison W, Ossher H and Tarr P Subject-oriented design Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (325-339)
- Clarke S, Harrison W, Ossher H and Tarr P (2019). Subject-oriented design, ACM SIGPLAN Notices, 34:10, (325-339), Online publication date: 1-Oct-1999.
- Sendall S and Strohmeier A UML-based fusion analysis Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (278-291)
- Harel D On the behavior of complex object-oriented systems Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (324-329)
- Clark T Typechecking UML static models Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (503-517)
- O'Callaghan A (2018). Focus issue on legacy infomation systems and business process engineering, Communications of the AIS, 2:1es, (3-es), Online publication date: 1-Jul-1999.
- Hamie A Enhancing the Object Constraint Language for More Expressive Specifications Proceedings of the Sixth Asia Pacific Software Engineering Conference
- Mak K, Lau H and Wong S (1999). Object-oriented technologies for automated manufacturing systems development, International Journal of Computer Applications in Technology, 12:2-5, (268-280), Online publication date: 1-Jul-1999.
- Macgregor M, Thomas P and Woodman M Recording User Actions in a Smalltalk Programming Environment Proceedings of the Technology of Object-Oriented Languages and Systems
- Griffiths R, Woodman M, Holland S, Macgregor M and Robinson H Separable UI Architectures in Teaching Object Technology Proceedings of the Technology of Object-Oriented Languages and Systems
- Mitchell R Analysis by Contract or UML with Attitude Proceedings of the Technology of Object-Oriented Languages and Systems
- Gil J and Kent S Three dimensional software modelling Proceedings of the 20th international conference on Software engineering, (105-114)
- Arnold M and Pedross P Software size measurement and productivity rating in a large-scale software development department Proceedings of the 20th international conference on Software engineering, (490-493)
- Wieringa R Traceability and Modularity in Software Design Proceedings of the 9th international workshop on Software specification and design
- Jahnke J and Zuendorf A Specification and Implementation of a Distributed Planning and Information System for Courses Based on Story Driven Modeling Proceedings of the 9th international workshop on Software specification and design
- Harel D and Gery E (2019). Executable Object Modeling with Statecharts, Computer, 30:7, (31-42), Online publication date: 1-Jul-1997.
- Kent S Constraint diagrams Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (327-341)
- Kent S (2019). Constraint diagrams, ACM SIGPLAN Notices, 32:10, (327-341), Online publication date: 9-Oct-1997.
- Bicarregui J, Lano K and Maibaum T Formalizing Object-Oriented Models in the Object Calculus Proceedings of the Workshops on Object-Oriented Technology, (155-160)
- Warmer J, Hogg J, Cook S and Selic B Experience with Formal Specification of CMM and UML Proceedings of the Workshops on Object-Oriented Technology, (216-220)
- Harel D and Gery E Executable object modeling with statecharts Proceedings of the 18th international conference on Software engineering, (246-257)
Index Terms
- Designing object systems: object-oriented modelling with Syntropy
Recommendations
Designing reconfigurable manufacturing systems using reconfigurable object Petri nets
In reconfigurable manufacturing systems RMSs, the structure of the system can be changed during its execution. This reconfiguration can be triggered by several motivations: a new requirement in the production process, avoiding some problems caused by ...
Conservative Elementary Object Systems
Concurrency Specification and Programming CS&PThis contribution presents decidability results for the formalism of Elementary Object Systems EOS. Object nets are Petri nets which have Petri nets as tokens --an approach known as the nets-within-nets paradigm. In this paper we study the relationship ...
Concurrency in mobile object net systems
Concurrency specification and programmingIn this work we present the model of "mobile object net systems" -- an algebraic formalisation of the "nets within nets"-paradigm. The formalism of "mobile object nets" is well suited to express the dynamics of open, mobile systems, since it allows ...